Instrument path following to track performance statistics. - #1162

Instrument path following to track performance statistics.#1162

tturocy merged 8 commits into

mastergambitproject/gambit:masterfrom

dev_trace_statsgambitproject/gambit:dev_trace_statsCopy head branch name to clipboard