From 3cadd45e020d498edaa7fea942ff249f722fc62a Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Fri, 5 Sep 2014 16:58:39 +0200
Subject: [PATCH] first (timeouting but working tests)

---
 tests.aconversion.sh | 46 ++++++++++++++++++++++----------------------
 1 file changed, 23 insertions(+), 23 deletions(-)

diff --git a/tests.aconversion.sh b/tests.aconversion.sh
index 60d3d62f4a..ba8fb2ea62 100755
--- a/tests.aconversion.sh
+++ b/tests.aconversion.sh
@@ -10,9 +10,9 @@ RAND_STATES=18
 RAND_DENSITY="2.5"
 RAND_ALPHABET=4
 
-EXECUTABLES="arand aepsilon atrim adeterminize aminimize anormalize adiff.automaton aconversion"
+EXECUTABLES="arand2 aepsilon2 atrim2 adeterminize2 aminimize2 anormalize2 adiff2 aconversions2"
 
-TESTS_DIR="../examples/automaton"
+TESTS_DIR="../examples2/automaton"
 
 # ----------------------------
 
@@ -29,7 +29,7 @@ rm -f $LOGFILE
 # ----------------------------
 
 function mDFA {
-	echo "$1" | ./aepsilon | ./atrim | ./adeterminize -t FSM | ./aminimize | ./anormalize
+	echo "$1" | ./aepsilon2 | ./atrim2 | ./adeterminize2 -t FSM | ./aminimize2 | ./anormalize2
 }
 
 function compare {
@@ -37,7 +37,7 @@ function compare {
 	echo "$2" > tmp2.xml
 
 	# relies on ret code by adiff.automaton
-	./adiff.automaton tmp1.xml tmp2.xml
+	./adiff2 tmp1.xml tmp2.xml
 	RET=$?
 	rm tmp1.xml tmp2.xml
 
@@ -45,7 +45,7 @@ function compare {
 }
 
 function generateNFA {
-	./arand -d $RAND_DENSITY -n $(( $RANDOM % $RAND_STATES + 1 )) -a $(( $RANDOM % $RAND_ALPHABET + 1 )) 2>/dev/null
+	./arand2 -d $RAND_DENSITY -n $(( $RANDOM % $RAND_STATES + 1 )) -a $(( $RANDOM % $RAND_ALPHABET + 1 )) 2>/dev/null
 }
 
 # $1 = command for conversion. Output of such command must be (eps-)NFA !!
@@ -159,30 +159,30 @@ function runTest {
 
 # FA -> RG -> FA
 # covers: FA -> LRG, FA -> RRG, RRG <-> LRG, RRG -> FA, LRG -> FA
-runTest "./aconversion -t RRG | ./aconversion -t LRG | ./aconversion -t FA"
-runTest "./aconversion -t LRG | ./aconversion -t RRG | ./aconversion -t FA"
+# runTest "./aconversions2 -t RRG | ./aconversions2 -t LRG | ./aconversion2 -t FA"
+# runTest "./aconversions2 -t LRG | ./aconversions2 -t RRG | ./aconversion2 -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 "./aconversion -t RE -a algebraic | ./aconversion -t FA -a thompson"
-runTest "./aconversion -t RE -a algebraic | ./aconversion -t FA -a glushkov "
-runTest "./aconversion -t RE -a elimination | ./aconversion -t FA -a brzozowski"
-runTest "./aconversion -t RE -a elimination | ./aconversion -t FA -a thompson"
-runTest "./aconversion -t RE -a elimination | ./aconversion -t FA -a glushkov"
+# runTest "./aconversion -t RE -a algebraic | ./aconversion -t FA -a brzozowski"
+# runTest "./aconversion -t RE -a algebraic | ./aconversion -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"
+#runTest "./aconversion -t RE -a elimination | ./aconversion -t FA -a thompson"
+#runTest "./aconversion -t RE -a elimination | ./aconversion -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 "./aconversion -t RE -a algebraic | ./aconversion -t RRG -a brzozowski | ./aconversion -t LRG | ./aconversion -t FA"
-runTest "./aconversion -t RE -a algebraic | ./aconversion -t RRG -a glushkov | ./aconversion -t LRG | ./aconversion -t FA"
-runTest "./aconversion -t RE -a elimination | ./aconversion -t RRG -a brzozowski | ./aconversion -t LRG | ./aconversion -t FA"
-runTest "./aconversion -t RE -a elimination | ./aconversion -t RRG -a glushkov | ./aconversion -t LRG | ./aconversion -t FA"
+# runTest "./aconversion -t RE -a algebraic | ./aconversion -t RRG -a brzozowski | ./aconversion -t LRG | ./aconversion -t FA"
+# runTest "./aconversion -t RE -a algebraic | ./aconversion -t RRG -a glushkov | ./aconversion -t LRG | ./aconversion -t FA"
+# runTest "./aconversion -t RE -a elimination | ./aconversion -t RRG -a brzozowski | ./aconversion -t LRG | ./aconversion -t FA"
+# runTest "./aconversion -t RE -a elimination | ./aconversion -t RRG -a glushkov | ./aconversion -t LRG | ./aconversion -t FA"
 
 # FA -> RRG -> RE -> FA
 # covers: FA -> RRG, FA -> LRG, RRG -> RE, LRG -> RE, RE -> FA (Brz. derivation, Thompson, Glushkov)
-runTest "./aconversion -t RRG | ./aconversion -t RE | ./aconversion -t FA -a brzozowski"
-runTest "./aconversion -t LRG | ./aconversion -t RE | ./aconversion -t FA -a brzozowski"
-runTest "./aconversion -t RRG | ./aconversion -t RE | ./aconversion -t FA -a thompson"
-runTest "./aconversion -t LRG | ./aconversion -t RE | ./aconversion -t FA -a thompson"
-runTest "./aconversion -t RRG | ./aconversion -t RE | ./aconversion -t FA -a glushkov"
-runTest "./aconversion -t LRG | ./aconversion -t RE | ./aconversion -t FA -a glushkov"
+# runTest "./aconversion -t RRG | ./aconversion -t RE | ./aconversion -t FA -a brzozowski"
+# runTest "./aconversion -t LRG | ./aconversion -t RE | ./aconversion -t FA -a brzozowski"
+# runTest "./aconversion -t RRG | ./aconversion -t RE | ./aconversion -t FA -a thompson"
+# runTest "./aconversion -t LRG | ./aconversion -t RE | ./aconversion -t FA -a thompson"
+# runTest "./aconversion -t RRG | ./aconversion -t RE | ./aconversion -t FA -a glushkov"
+# runTest "./aconversion -t LRG | ./aconversion -t RE | ./aconversion -t FA -a glushkov"
-- 
GitLab