Closed kostrzewa closed 2 months ago
Rscript make_profile.R logfile output_base 1
will be produce a profile with all timings included.
could we set also the digits to 3 in the tables? there should be enough space and will be useful when looking at small things.
could we set also the digits to 3 in the tables? there should be enough space and will be useful when looking at small things.
Done.
Thank you!
Through a third command line argument, in the per-monomial tables and plots rather than grouping timings below 5% in the 'other' category, all timings can now be shown.