-
Alexandre Duret-Lutz authored
Reported by Salomon Sickert. * spot/twaalgos/complement.cc: Make sure the output of postproc is deterministic. * tests/core/ltlcross.test: Add test case. * NEWS: Mention the bug.
e2fad2d7
Reported by Salomon Sickert. * spot/twaalgos/complement.cc: Make sure the output of postproc is deterministic. * tests/core/ltlcross.test: Add test case. * NEWS: Mention the bug.