logic-and-learning-lab/Popper

Add percentage time to --stats

Closed this issue · 0 comments

andrewcropper commented

If would be good if --stats showed the percentage of overall time spent doing each step, in addition to the absolute value.