projects
/
tatoo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
4b5e86c
)
Add a script to output the number of states/running time/number of traversal for...
author
Kim Nguyễn
<kn@lri.fr>
Fri, 8 Nov 2013 20:43:29 +0000
(21:43 +0100)
committer
Kim 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]
patch
|
blob
diff --git a/tests/test_complexity.sh
b/tests/test_complexity.sh
new file mode 100755
(executable)
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