-
Alexandre Duret-Lutz authored
Fixes #315. * spot/twaalgos/cleanacc.cc (simplify_acceptance_here): Do not compare the first edge against previous_a. * tests/core/accsimpl.test: New file. * tests/Makefile.am: Add it. * NEWS: Mention the bug.
2feba6ad
To find the state of this project's repository at the time of any of these versions, check out the tags.