-
Alexandre Duret-Lutz authored
Record the acceptance conditions in the accepting run. * src/tgbaalgos/replayrun.cc (replay_tgba_run): Fix logic.
35a286ba
To find the state of this project's repository at the time of any of these versions, check out the tags.