From a057b35b8549420c4cd0184d90139e13b32360cf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Pecka?= <peckato1@fit.cvut.cz>
Date: Fri, 12 Sep 2014 11:35:31 +0200
Subject: [PATCH] restore tests (sorry for this)

---
 tests.aconversion.sh | 40 ++++++++++++++++++++--------------------
 1 file changed, 20 insertions(+), 20 deletions(-)

diff --git a/tests.aconversion.sh b/tests.aconversion.sh
index f215ef265f..ddc6407455 100755
--- a/tests.aconversion.sh
+++ b/tests.aconversion.sh
@@ -157,26 +157,26 @@ function runTest {
 	echo ""
 }
 
-## FA -> RG -> FA
-## covers: FA -> LRG, FA -> RRG, RRG <-> LRG, RRG -> FA, LRG -> 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 "./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 "./aconversions2 -t RE -a elimination | ./aconversions2 -t FA -a brzozowski"
-#runTest "./aconversions2 -t RE -a elimination | ./aconversions2 -t FA -a thompson"
-#runTest "./aconversions2 -t RE -a elimination | ./aconversions2 -t FA -a glushkov"
-#
-## FA -> RE -> RRG -> LRG -> FA
-## covers: FA -> RE (Brz. algebraic, elimination), RE -> RRG ( Brz. derivation, Glushkov), RRG -> LRG, LRG -> FA
-#runTest "./aconversions2 -t RE -a algebraic | ./aconversions2 -t RRG -a brzozowski | ./aconversions2 -t LRG | ./aconversions2 -t FA"
-#runTest "./aconversions2 -t RE -a algebraic | ./aconversions2 -t RRG -a glushkov | ./aconversions2 -t LRG | ./aconversions2 -t FA"
-#runTest "./aconversions2 -t RE -a elimination | ./aconversions2 -t RRG -a brzozowski | ./aconversions2 -t LRG | ./aconversions2 -t FA"
-#runTest "./aconversions2 -t RE -a elimination | ./aconversions2 -t RRG -a glushkov | ./aconversions2 -t LRG | ./aconversions2 -t FA"
+# FA -> RG -> FA
+# covers: FA -> LRG, FA -> RRG, RRG <-> LRG, RRG -> FA, LRG -> 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 "./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 "./aconversions2 -t RE -a elimination | ./aconversions2 -t FA -a brzozowski"
+runTest "./aconversions2 -t RE -a elimination | ./aconversions2 -t FA -a thompson"
+runTest "./aconversions2 -t RE -a elimination | ./aconversions2 -t FA -a glushkov"
+
+# FA -> RE -> RRG -> LRG -> FA
+# covers: FA -> RE (Brz. algebraic, elimination), RE -> RRG ( Brz. derivation, Glushkov), RRG -> LRG, LRG -> FA
+runTest "./aconversions2 -t RE -a algebraic | ./aconversions2 -t RRG -a brzozowski | ./aconversions2 -t LRG | ./aconversions2 -t FA"
+runTest "./aconversions2 -t RE -a algebraic | ./aconversions2 -t RRG -a glushkov | ./aconversions2 -t LRG | ./aconversions2 -t FA"
+runTest "./aconversions2 -t RE -a elimination | ./aconversions2 -t RRG -a brzozowski | ./aconversions2 -t LRG | ./aconversions2 -t FA"
+runTest "./aconversions2 -t RE -a elimination | ./aconversions2 -t RRG -a glushkov | ./aconversions2 -t LRG | ./aconversions2 -t FA"
 
 # FA -> RRG -> RE -> FA
 # covers: FA -> RRG, FA -> LRG, RRG -> RE, LRG -> RE, RE -> FA (Brz. derivation, Thompson, Glushkov)
-- 
GitLab