• Alexandre Duret-Lutz's avatar
    Fix bugs in minimize(), caught by spotlbtt.test. · 72139fd7
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/minimize.cc (minimize): Don't add acceptance
    conditions if the final set is empty.
    * src/tgbaalgos/powerset.cc (tgba_powerset): Add the initial state
    to acc_list if it is accepting.  Also do not compute an SCC build
    map if we don't have to build acc_list.
    72139fd7
To find the state of this project's repository at the time of any of these versions, check out the tags.