/test-suite/coq-makefile/timing/

• ../
• after
• aggregate
• before
• error
• per-file-after
• per-file-before
• precomputed-time-tests
• run.sh