-
Alexandre Duret-Lutz authored
* tests/python/genem.py: Use SPOT_ON_ACC explicitely. * spot/twaalgos/genem.cc: Do not keep track of states. Don't check that the clauses of the disjuncts are Fin-less: they aren't (this was discovered while discussing with Jan and Fanda).
af67c04a