Found two bugs by rewriting the compilation in the thesis.
[tatoo.git] / tests / results /
drwxr-xr-x   ..
-rw-r--r-- 1482 my.result