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

Mode	Name	Size
-rw-r--r--	.gitattributes	48	log plain
d---------	001-correct-diff-sorting-order	693	log plain
d---------	002-single-file-sorting	214	log plain
d---------	003-non-utf8	143	log plain
d---------	004-per-file-fuzz	330	log plain
d---------	005-correct-diff-sorting-order-mem	693	log plain
d---------	006-zero-before	202	log plain
d---------	007-no-output-sync	194	log plain
-rwxr-xr-x	run.sh	340	log plain