User Tools

Site Tools



This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
profiling [2013/07/02 17:51]
mictau [Profiling CBMC with gprof]
profiling [2015/07/14 01:51] (current)
mictau Added note on profiling on OS X
Line 49: Line 49:
 </​code>​ </​code>​
 +==== Profiling on OS X (using instrumenter) ====
 +No extra build flags are required, even though disabling optimisations may be helpful. Run your benchmark as
 +instruments -t "Time Profiler"​ -D bla.profile cbmc ...
 +and then open the folder bla.profile.trace (using
profiling.txt ยท Last modified: 2015/07/14 01:51 by mictau