tests: Enable more conversion tests

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"