time-of-build.err.log.expected « 007-no-output-sync « precomputed-time-tests « timing « coq-makefile « test-suite - coq - The formal proof system

about summary refs log tree commit diff

path: root/test-suite/coq-makefile/timing/precomputed-time-tests/007-no-output-sync/time-of-build.err.log.expected

blob: f2184407e78117b6babac9bac413c11f4d757e19 (plain)

1	`WARNING: Invalid time string: not the right number of dots (.); expected one: '0.240.05'`