004-per-file-fuzz « precomputed-time-tests « timing « coq-makefile « test-suite - coq

Mode	Name	Size
-rw-r--r--	foo-real.v.timing.diff.expected	3132	log plain
-rw-r--r--	foo-user.v.timing.diff.expected	3134	log plain
-rw-r--r--	foo.v.after-timing.in	1010	log plain
-rw-r--r--	foo.v.before-timing.in	1031	log plain
-rw-r--r--	foo_after.v	290	log plain
-rw-r--r--	foo_before.v	310	log plain
-rwxr-xr-x	run.sh	507	log plain