tests/core/alternating.test · 15c6fd9562499a574daaddd6be7a88000ddf373d · Spot / Spot

Feb 12, 2017

Alexandre Duret-Lutz authored Feb 12, 2017

Fixes #218.

* spot/twaalgos/alternation.cc: Adjust check.
* tests/core/alternating.test: Add test case from #218.
* NEWS: Mention the bug.

15c6fd95

Alexandre Duret-Lutz authored Feb 12, 2017

Fixes #218.

* spot/twaalgos/alternation.cc: Adjust check.
* tests/core/alternating.test: Add test case from #218.
* NEWS: Mention the bug.