ExternalSeqRecordParser model and ExternalRecordParser model run error，why？

[niuzhi]

Hello，I am using TLA+ to implement trace verification, and found that you have provided two interfaces ExternalSeqRecordParser and ExternalRecordParser, but I am running these two interfaces and report an error, what is the reason for this, and I look forward to your reply.

ExternalRecordParser
connect.log
a : 42, b : true
a : -1, b : false
a : 0, b : true

ExternalRecordParser
connect.log
a : 42
b : true

[Isaac-DeFrain]

Thank you for reporting the errors. I am currently traveling so it will be a few days before I can investigate. I look forward to resolving the issues!

[Isaac-DeFrain]

What version of the tools are you using? There is a jar file provided in the repo. Everything should work if you run it with that version.

[Isaac-DeFrain]

Aha! It must be related to this