diff --git a/tests.aconversion.sh b/tests.aconversion.sh index 0f933a26307ed235420222ee4e65a6024ac9df2c..e32ddafe2f4a14803f6f0591c3ecc0d2c41c5fef 100755 --- a/tests.aconversion.sh +++ b/tests.aconversion.sh @@ -1,9 +1,13 @@ #!/usr/bin/env bash -TESTCASE_ITERATIONS=150 -TESTCASE_TIMEOUT=7 +TESTCASE_ITERATIONS=200 +TESTCASE_TIMEOUT=5 LOGFILE="log_tests.txt" +RAND_STATES=18 +RAND_DENSITY="2.5" +RAND_ALPHABET=4 + EXECUTABLES="arand aepsilon atrim adeterminize aminimize anormalize adiff.automaton aconversion" # ---------------------------- @@ -36,16 +40,11 @@ function compare { return $RET } -# generates random NFA with $1 density, $2 states and $3 elements of alphabet -function generate { - # ./arand -d $1 -n $2 -a $3 - ./arand -d $1 -n $(( $RANDOM % $2 + 1 )) -a $(( $RANDOM % $3 + 1 )) -} - # $1 = command for conversion. Output of such command must be (eps-)NFA !! function runTest2 { TMPNFA="nfa.xml" - echo "$(generate 3 15 3)" > $TMPNFA + + ./arand -d $RAND_DENSITY -n $(( $RANDOM % $RAND_STATES + 1 )) -a $(( $RANDOM % $RAND_ALPHABET + 1 )) > $TMPNFA TMP=$(timeout $TESTCASE_TIMEOUT bash -c "cat $TMPNFA | $1") RETTMP=$?