| Age | Commit message (Expand) | Author |
|---|---|---|
| 2014-09-29 | Added the -t CLI option | Grégoire Duchêne |
| 2014-09-29 | Do not indiscriminately delete test outputs | Grégoire Duchêne |
| 2014-09-28 | Added the first tests | Grégoire Duchêne |
 |
index : tamasheq | |
| OCaml instrumentation tool. |
| summaryrefslogtreecommitdiff |
path: root/run_tests.sh