Skip to content

Add option to run callgrind

Andre Gunther requested to merge gunther_AddCallgrindOption into master

This MR should make it easier to enable callgrind profiling in Moore and resolve #107 (closed). This solution only requires the user to add options.callgrind_profile = True to the options file (and run Moore with the corresponding callgrind flags enabled as described here.

Edited by Andre Gunther

Merge request reports

Loading