diff --git a/tests.aconversion.sh b/tests.aconversion.sh index ba8fb2ea6294ebf63995d35931f82619893ee3c9..41b215f8019c1d8fc056fceb588ba0d660efb6c8 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 {