Refactor the statistics gathering code in run.ml
[tatoo.git] / tests /
drwxr-xr-x   ..
-rw-r--r-- 1286 alphabet.xml
-rw-r--r-- 1977 alphabet.xml.queries
drwxr-xr-x - alphabet.xml.results
-rw-r--r-- 34 comments00.xml
-rw-r--r-- 26 comments00.xml.queries
drwxr-xr-x - comments00.xml.results
-rwxr-xr-x 135 gen_xmark.sh
-rw-r--r-- 762 test1.sh
-rw-r--r-- 947 test2.sh
-rw-r--r-- 1072 test3.sh
-rwxr-xr-x 401 test_complexity.sh
-rw-r--r-- 98 tiny.xml
-rw-r--r-- 157 tiny.xml.queries
drwxr-xr-x - tiny.xml.results
drwxr-xr-x - xmark_0.00.xml.results
drwxr-xr-x - xmark_0.05.xml.results
drwxr-xr-x - xmark_0.50.xml.results
-rw-r--r-- 1543 xmark_queries.template