-
Alexandre Duret-Lutz authored
does not leak on errors. * src/tgbatest/ltl2tgba.cc: Free the automata if it could not be fully parsed.
7afd1042
To find the state of this project's repository at the time of any of these versions, check out the tags.