Currently the crash-recovery logs are very cumbersome to check. I propose we create a post-processing script that:

• Replaces transaction and participant IDs with uniq integers.
• Remove duplicate messages, keeping the last occurance
• Spilt log into clear before and after crash sections
• Add a title to log file, stating the name of the test
• Add a link to the original log file