X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=tests%2Ftest_complexity.sh;h=f3cc8f0fe6ad1613e811ffa4ddfd6903efa5e2cf;hp=815681cfead2161a15e812be6e4fdbdb60210865;hb=aa76742d416b16aa273f71327aebdf2bc3539549;hpb=f9b9f1ce524acda75c7f3583cd3751901ecd17a5 diff --git a/tests/test_complexity.sh b/tests/test_complexity.sh index 815681c..f3cc8f0 100755 --- a/tests/test_complexity.sh +++ b/tests/test_complexity.sh @@ -1,6 +1,6 @@ #!/bin/sh -S="//Z/ancestor::A" +S="//M/ancestor::A" Q="$S" for i in `seq 1 30` @@ -8,7 +8,7 @@ do src/tatoo.native -s -d tests/alphabet.xml -o /dev/null -c "$Q" 2> /tmp/log ST=`grep 'Number of states' /tmp/log | cut -f 2 -d :` TM=`grep 'evaluating query in' /tmp/log | cut -f 3 -d : | cut -f 1 -d m` - RU=`grep 'number of runs' /tmp/log | cut -f 3 -d :` + RU=`grep 'traversals' /tmp/log | cut -f 2 -d :` echo "$i", "$ST", "$TM", "$RU" Q="$Q""$S" done