diff options
| author | Gaëtan Gilbert | 2020-05-21 14:49:20 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-05-21 14:49:20 +0200 |
| commit | d84cbacd103f14a221e47c05ce14c9784e9e9e4f (patch) | |
| tree | 5aa9fd53bd5d2a502a2c389958b6acc21e2cb1f4 /test-suite/coq-makefile/timing/precomputed-time-tests/002-single-file-sorting | |
| parent | fe15084f6f16f05fda3a1b6f7aa065c850c40264 (diff) | |
| parent | 0f8de9b967fe82ef8e9eef5e258d9ef96788929e (diff) | |
Merge PR #12368: Print a newline at the end of timing tables
Reviewed-by: SkySkimmer
Diffstat (limited to 'test-suite/coq-makefile/timing/precomputed-time-tests/002-single-file-sorting')
2 files changed, 2 insertions, 2 deletions
diff --git a/test-suite/coq-makefile/timing/precomputed-time-tests/002-single-file-sorting/time-of-build-pretty-real.log.expected b/test-suite/coq-makefile/timing/precomputed-time-tests/002-single-file-sorting/time-of-build-pretty-real.log.expected index 94122d8190..317497c68a 100644 --- a/test-suite/coq-makefile/timing/precomputed-time-tests/002-single-file-sorting/time-of-build-pretty-real.log.expected +++ b/test-suite/coq-makefile/timing/precomputed-time-tests/002-single-file-sorting/time-of-build-pretty-real.log.expected @@ -23,4 +23,4 @@ 0m07.18s | 574388 ko | Compilers/Z/Bounds/Pipeline/Definition 0m01.72s | 544172 ko | Compilers/Z/Bounds/Pipeline/ReflectiveTactics 0m01.67s | 646300 ko | Specific/Framework/SynthesisFramework - 0m01.19s | 539808 ko | Compilers/Z/Bounds/Pipeline
\ No newline at end of file + 0m01.19s | 539808 ko | Compilers/Z/Bounds/Pipeline diff --git a/test-suite/coq-makefile/timing/precomputed-time-tests/002-single-file-sorting/time-of-build-pretty-user.log.expected b/test-suite/coq-makefile/timing/precomputed-time-tests/002-single-file-sorting/time-of-build-pretty-user.log.expected index 94122d8190..317497c68a 100644 --- a/test-suite/coq-makefile/timing/precomputed-time-tests/002-single-file-sorting/time-of-build-pretty-user.log.expected +++ b/test-suite/coq-makefile/timing/precomputed-time-tests/002-single-file-sorting/time-of-build-pretty-user.log.expected @@ -23,4 +23,4 @@ 0m07.18s | 574388 ko | Compilers/Z/Bounds/Pipeline/Definition 0m01.72s | 544172 ko | Compilers/Z/Bounds/Pipeline/ReflectiveTactics 0m01.67s | 646300 ko | Specific/Framework/SynthesisFramework - 0m01.19s | 539808 ko | Compilers/Z/Bounds/Pipeline
\ No newline at end of file + 0m01.19s | 539808 ko | Compilers/Z/Bounds/Pipeline |