From e440b9537c1106e4178d1782bebefacd887dec87 Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Fri, 5 Sep 2014 19:11:59 +0200
Subject: [PATCH] another trim step
---
tests.aconversion.sh | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/tests.aconversion.sh b/tests.aconversion.sh
index ba8fb2ea62..41b215f801 100755
--- a/tests.aconversion.sh
+++ b/tests.aconversion.sh
@@ -3,7 +3,7 @@
set -o pipefail
TESTCASE_ITERATIONS=100
-TESTCASE_TIMEOUT=5
+TESTCASE_TIMEOUT=10
LOGFILE="log_tests.txt"
RAND_STATES=18
@@ -29,7 +29,7 @@ rm -f $LOGFILE
# ----------------------------
function mDFA {
- echo "$1" | ./aepsilon2 | ./atrim2 | ./adeterminize2 -t FSM | ./aminimize2 | ./anormalize2
+ echo "$1" | ./aepsilon2 | ./atrim2 | ./adeterminize2 -t FSM | ./atrim2 | ./aminimize2 | ./anormalize2
}
function compare {
--
GitLab