User Tools

Site Tools


profiling

Differences

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
 +<​code>​
 +instruments -t "Time Profiler"​ -D bla.profile cbmc ...
 +</​code>​
 +and then open the folder bla.profile.trace (using Instruments.app).
profiling.txt ยท Last modified: 2015/07/14 01:51 by mictau