/test-suite/coq-makefile/timing/precomputed-time-tests/

• ../
• .gitattributes
• 001-correct-diff-sorting-order
• 002-single-file-sorting
• 003-non-utf8
• 004-per-file-fuzz
• 005-correct-diff-sorting-order-mem
• 006-zero-before
• 007-no-output-sync
• run.sh