projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Une version marche bien avec bitvector
[tatoo.git]
/
tests
/
single_test.sh
diff --git
a/tests/single_test.sh
b/tests/single_test.sh
index
3c6d2b3
..
902fec5
100755
(executable)
--- a/
tests/single_test.sh
+++ b/
tests/single_test.sh
@@
-1,18
+1,12
@@
#!/bin/sh
#!/bin/sh
-INPUT=tests/xmark_0.0
0
.xml
+INPUT=tests/xmark_0.0
5
.xml
QUERIES="$INPUT".queries
QUERIES="$INPUT".queries
-
-
- perl -MTime::HiRes -e 'print Time::HiRes::time(),"\n"';
cat "$QUERIES" | while read N Q;
do
echo Query "$N : $Q"
cat "$QUERIES" | while read N Q;
do
echo Query "$N : $Q"
- src/tatoo.native
-d "$INPUT" "$Q" > /tmp/huibo"$N"
.xml
+ src/tatoo.native
-s -d "$INPUT" "$Q" -o /dev/null > /tmp/kim
.xml
done
done
-
- perl -MTime::HiRes -e 'print Time::HiRes::time(),"\n"';
-