src/tgbaalgos/minimize.cc · 256eb5bb1522b121fd40993f9bc4875e564bf484 · Spot / Spot

'([]a && XXXX!a)' was not properly minimized because its · 256eb5bb

Alexandre Duret-Lutz authored Jan 06, 2011

translation contain useless SCCs that where not ignored for
minimization.

* src/tgbaalgos/minimize.cc (minimize_wdba): Strip useless
SCCs before minimization.
* src/tgbatest/ltl2tgba.test: Add a check.

256eb5bb

Replace minimize.cc