Merge pull request #10 from tautschnig/profiling

Enable and document profiling support

Author: tautschnig

README.md

@@ -52,3 +52,10 @@ bin/table-generator results/*xml.bz2
 
 Replace 2ls by cbmc to use the above with CBMC.
 
+#### Collecting profiling data
+```
+bin/benchexec cbmc.xml --tasks <those categories that you want to run> -T 120s
+gprof --sum ./cbmc-binary *.gmon.out.*
+gprof ./cbmc-profiling gmon.sum > sum.profile
+rm gmon.out *.gmon.out.*
+```

tool-wrapper.inc

@@ -113,6 +113,8 @@ export BIT_WIDTH
 export BM
 export PROP
 
+export GMON_OUT_PREFIX=`basename $BM`.gmon.out
+
 export LOG=`mktemp -t ${TOOL_NAME}-log.XXXXXX`
 trap "rm -f $LOG $LOG.latest $LOG.ok $LOG.witness" EXIT