Merge branch 'ocamlbuild-port' of ssh://git.nguyen.vg/tatoo into ocamlbuild-port

[tatoo.git] / tests / test_complexity.sh

diff --git a/tests/test_complexity.sh b/tests/test_complexity.sh
deleted file mode 100755 (executable)
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