aboutsummaryrefslogtreecommitdiff
path: root/test-suite/coq-makefile/timing/after/time-of-build-both.log.desired
blob: 85aeab2c694db7511af89e61c23bae95990ea165 (plain)
1
2
3
4
5
6
   After |  Peak Mem | File Name             |   Before |  Peak Mem ||    Change || Change (mem) |  % Change | % Change (mem)
-----------------------------------------------------------------------------------------------------------------------------
0m00.47s | 394716 ko | Total Time / Peak Mem | 0m00.45s | 394392 ko || +0m00.01s ||       324 ko |    +4.44% |         +0.08%
-----------------------------------------------------------------------------------------------------------------------------
0m00.42s | 394716 ko | Fast.vo               | 0m00.02s |  57164 ko || +0m00.40s ||    337552 ko | +1999.99% |       +590.49%
0m00.05s |  57124 ko | Slow.vo               | 0m00.43s | 394392 ko || -0m00.38s ||   -337268 ko |   -88.37% |        -85.51%