From 434d49d2ffa752d0af44957367880262148af4de Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Pecka?= <peckato1@fit.cvut.cz>
Date: Sun, 7 Sep 2014 22:44:52 +0200
Subject: [PATCH] tests: Enable more conversion tests
---
tests.aconversion.sh | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/tests.aconversion.sh b/tests.aconversion.sh
index 22ac817555..a433ccd025 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"
--
GitLab