-
Alexandre Duret-Lutz authored
This cause double-circles for accepting states in dot output. * src/tgbatest/ltl2tgba.cc: Set assume_sba for automata read from neverclaims. Reset assume_sba after scc_filter and simulation. * src/tgbatest/neverclaimread.test: Expect a double circle.
cb068599