• Alexandre Duret-Lutz's avatar
    sat: add missing prop_state_based_acc() call · 72eed9b2
    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