aboutsummaryrefslogtreecommitdiff
path: root/test-suite/coq-makefile/timing/precomputed-time-tests/002-single-file-sorting/run.sh
AgeCommit message (Expand)Author
2020-02-05Add --fuzz, --real, --user to timing scriptsJason Gross
2017-11-22Add test-suite tests for timing scriptsJason Gross
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 15:38:14 +0000