-
Alexandre Duret-Lutz authored
Fixes #62. * src/tgbaalgos/dtbasat.cc, src/tgbaalgos/dtgbasat.cc: Add call to prop_state_based_acc() when building an automaton with state-based acceptance. * src/tgbatest/satmin2.test: New test. * doc/org/satmin.org: Update.
72eed9b2