diff --git a/tests.aconversion.sh b/tests.aconversion.sh index 22ac81755513b91c1d0b16663ab22d940f23ea74..a433ccd0252d7294db474888a53856684a8092cc 100755 --- a/tests.aconversion.sh +++ b/tests.aconversion.sh @@ -159,12 +159,12 @@ function runTest { # FA -> RG -> FA # covers: FA -> LRG, FA -> RRG, RRG <-> LRG, RRG -> FA, LRG -> FA -# runTest "./aconversions2 -t RRG | ./aconversions2 -t LRG | ./aconversion2 -t FA" -# runTest "./aconversions2 -t LRG | ./aconversions2 -t RRG | ./aconversion2 -t FA" +runTest "./aconversions2 -t RRG | ./aconversions2 -t LRG | ./aconversions2 -t FA" +runTest "./aconversions2 -t LRG | ./aconversions2 -t RRG | ./aconversions2 -t FA" # FA -> RE -> FA # covers: FA -> RE (Brzozowski algebraic, elimination), RE -> FA (Brzozowski derivation, Thompson, Glushkov) -# runTest "./aconversion -t RE -a algebraic | ./aconversion -t FA -a brzozowski" +runTest "./aconversions2 -t RE -a algebraic | ./aconversions2 -t FA -a brzozowski" runTest "./aconversions2 -t RE -a algebraic | ./aconversions2 -t FA -a thompson" runTest "./aconversions2 -t RE -a algebraic | ./aconversions2 -t FA -a glushkov " #runTest "./aconversion -t RE -a elimination | ./aconversion -t FA -a brzozowski"