Add a script to output the number of states/running time/number of traversal for...
authorKim Nguyễn <kn@lri.fr>
Fri, 8 Nov 2013 20:43:29 +0000 (21:43 +0100)
committerKim Nguyễn <kn@lri.fr>
Fri, 8 Nov 2013 20:43:29 +0000 (21:43 +0100)
tests/test_complexity.sh [new file with mode: 0755]

diff --git a/tests/test_complexity.sh b/tests/test_complexity.sh
new file mode 100755 (executable)
index 0000000..815681c
--- /dev/null
@@ -0,0 +1,15 @@
+#!/bin/sh
+
+S="//Z/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 'number of runs' /tmp/log  | cut -f 3 -d :`
+    echo "$i", "$ST", "$TM", "$RU"
+    Q="$Q""$S"
+done
+rm -f /tmp/log