Alexandre Duret-Lutz authored
There is no point in degeneralizing an automaton if it can be WDBA minimized. Doing so will only augment the number of states and slow down the powerset construction used by the WDBA minimization. * src/tgbatest/babiak.test: New file. It includes 5 formulae which Tomáš Babiak reported Spot 0.7.1 would take over one hour to translate if degeneralization and WDBA minimization were both requested. * src/tgbatest/Makefile.am (TESTS): Add it. * src/tgbatest/ltl2tgba.cc: Do WDBA minimization before degeneralization. The above formulae are now all translated in a few seconds.e531da8d
To find the state of this project's repository at the time of any of these versions, check out the tags.