X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=tests%2Ftest_complexity.sh;fp=tests%2Ftest_complexity.sh;h=0000000000000000000000000000000000000000;hp=f3cc8f0fe6ad1613e811ffa4ddfd6903efa5e2cf;hb=3fadb034bfc0075d420bdd1383214014500501b8;hpb=c5fc33c2eda7c2bb45c3bafbe74827f17e215fb8 diff --git a/tests/test_complexity.sh b/tests/test_complexity.sh deleted file mode 100755 index f3cc8f0..0000000 --- a/tests/test_complexity.sh +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/sh - -S="//M/ancestor::A" -Q="$S" - -for i in `seq 1 30` -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 'traversals' /tmp/log | cut -f 2 -d :` - echo "$i", "$ST", "$TM", "$RU" - Q="$Q""$S" -done -rm -f /tmp/log