aboutsummaryrefslogtreecommitdiff
path: root/test-suite/coq-makefile/timing/precomputed-time-tests
ModeNameSize
-rw-r--r--.gitattributes48logplain
d---------001-correct-diff-sorting-order693logplain
d---------002-single-file-sorting214logplain
d---------003-non-utf8143logplain
d---------004-per-file-fuzz330logplain
d---------005-correct-diff-sorting-order-mem693logplain
d---------006-zero-before202logplain
d---------007-no-output-sync194logplain
-rwxr-xr-xrun.sh340logplain