-
Thomas Martinez authored
There is bug in reduction with scc. * src/tgbatest/reduccmp.test: More test. * src/tgbatest/reductgba.test: Wrong test are removed.
6d5593ae
To find the state of this project's repository at the time of any of these versions, check out the tags.