Skip to content
Snippets Groups Projects
Commit aa8b762d authored by Tomáš Pecka's avatar Tomáš Pecka
Browse files

aconversions: test script fiddling

parent 74a93874
No related branches found
No related tags found
No related merge requests found
#!/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=$?
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment