From: Kim Nguyễn <kn@lri.fr>
Date: Fri, 8 Nov 2013 20:43:29 +0000 (+0100)
Subject: Add a script to output the number of states/running time/number of traversal for... 
X-Git-Tag: v0.1~39
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=70f2c64d258b045055bc885826e3804b5f2315cb;hp=4b5e86cc5fa3e62a1cb7d29acf79ffb314194efa

Add a script to output the number of states/running time/number of traversal for increasing query sizes.
---

diff --git a/tests/test_complexity.sh b/tests/test_complexity.sh
new file mode 100755
index 0000000..815681c
--- /dev/null
+++ b/tests/test_complexity.sh
@@ -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