From dda47dcfb565f5f2351cbf0fa918231f7a70ad78 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Pecka?= <peckato1@fit.cvut.cz>
Date: Mon, 31 Mar 2014 14:35:38 +0200
Subject: [PATCH] aconversion tests: Add missing LRG -> RE test
---
tests.aconversion.sh | 11 +++++++++--
1 file changed, 9 insertions(+), 2 deletions(-)
diff --git a/tests.aconversion.sh b/tests.aconversion.sh
index cab71cbcdc..bb4d4735e0 100644
--- a/tests.aconversion.sh
+++ b/tests.aconversion.sh
@@ -115,10 +115,12 @@ function runTest {
}
# FA -> RG -> FA
-runTest "./aconversion -t RRG | ./aconversion -t FA"
-runTest "./aconversion -t LRG | ./aconversion -t 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"
# 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 "
@@ -127,12 +129,17 @@ 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"
# 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 brzozowski"
+runTest "./aconversion -t LRG | ./aconversion -t RE | ./aconversion -t FA brzozowski"
runTest "./aconversion -t RRG | ./aconversion -t RE | ./aconversion -t FA thompson"
+runTest "./aconversion -t LRG | ./aconversion -t RE | ./aconversion -t FA thompson"
runTest "./aconversion -t RRG | ./aconversion -t RE | ./aconversion -t FA glushkov"
+runTest "./aconversion -t LRG | ./aconversion -t RE | ./aconversion -t FA glushkov"
--
GitLab