-
Alexandre Duret-Lutz authored
Report from František Blahoudek. * bin/ltlcross.cc: Do not display stats for automata that do not exist. * tests/core/ltlcross3.test: Test it. * NEWS: Mention the fix.
cc1191cd
Report from František Blahoudek. * bin/ltlcross.cc: Do not display stats for automata that do not exist. * tests/core/ltlcross3.test: Test it. * NEWS: Mention the fix.