It is very annoying to parse out.txt every time to get the results.
It would be much better to have a format that is both human- and machine-readable, e.g. out.json.
We could also add more fields to it, e.g. command-line arguments, peak memory usage etc.
It is very annoying to parse
out.txtevery time to get the results.It would be much better to have a format that is both human- and machine-readable, e.g.
out.json.We could also add more fields to it, e.g. command-line arguments, peak memory usage etc.