File: time-of-build-both.log.desired

package info (click to toggle)
coq 9.1.0%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 35,968 kB
  • sloc: ml: 239,908; sh: 4,355; python: 2,985; ansic: 2,644; makefile: 874; lisp: 171; javascript: 63; xml: 24; sed: 2
file content (6 lines) | stat: -rw-r--r-- 756 bytes parent folder | download 
1
2
3
4
5
6
 
   After |  Peak Mem |   Before |  Peak Mem ||    Change || Change (mem) |  % Change | % Change (mem) | File Name            
-----------------------------------------------------------------------------------------------------------------------------
0m00.47s | 394716 ko | 0m00.45s | 394392 ko || +0m00.01s ||       324 ko |    +4.44% |         +0.08% | Total Time / Peak Mem
-----------------------------------------------------------------------------------------------------------------------------
0m00.42s | 394716 ko | 0m00.02s |  57164 ko || +0m00.40s ||    337552 ko | +1999.99% |       +590.49% | Fast.vo              
0m00.05s |  57124 ko | 0m00.43s | 394392 ko || -0m00.38s ||   -337268 ko |   -88.37% |        -85.51% | Slow.vo