-
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
There is bug in reduction with scc. * src/tgbatest/reduccmp.test: More test. * src/tgbatest/reductgba.test: Wrong test are removed.