When running VeriPB, it's not clear how long it will take. Some progress bar or other measure showing the number of lines processed vs the total amount of lines in the proof file would give a reasonable indication of how much time is needed to verify the rest of the proof.
When running
VeriPB
, it's not clear how long it will take. Some progress bar or other measure showing the number of lines processed vs the total amount of lines in the proof file would give a reasonable indication of how much time is needed to verify the rest of the proof.