View Single Post
Old 2020-05-11, 18:56   #73
chalsall
If I May
 
chalsall's Avatar
 
"Chris Halsall"
Sep 2002
Barbados

2·4,643 Posts
Default

Quote:
Originally Posted by SethTro View Post
These are all done now.
OK... Sweet. I love data!

However, one comment (read: change request): Your mfaktc delta should print the proof lines after the datestamp line. As it is currently, parsing the data from a log file it is a pain to get the timestamp correct.

The actual proof lines are great to RegEx through -- easy to parse. Thanks for that.

It's going to be interesting running this on a few different platforms, and ensure we get full convergence on the proofs.

Anyone out there with flaky kit willing to give this a try? It would be good to get such test-runs in the dataset.

P.S. Is now the time to discuss optionally producing XML output?
chalsall is offline   Reply With Quote