projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
1) Optimiser les fontions auxiliaires par eviter d'utiliser List.mem
[tatoo.git]
/
tests
/
single_test.sh
diff --git
a/tests/single_test.sh
b/tests/single_test.sh
index
d014d88
..
e46116f
100755
(executable)
--- a/
tests/single_test.sh
+++ b/
tests/single_test.sh
@@
-5,13
+5,14
@@
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/ta
ble_driver.native -c
-d "$INPUT" "$Q" > /tmp/huibo.xml
+ src/ta
too.native
-d "$INPUT" "$Q" > /tmp/huibo.xml
done
done
+ perl -MTime::HiRes -e 'print Time::HiRes::time(),"\n"';