Closed LenaSaid closed 2 years ago
Checks if there is a trace before parsing it to avoid "premature end of file" exception being thrown.
Solves https://bugs.launchpad.net/tapaal/+bug/1967129
Checks if there is a trace before parsing it to avoid "premature end of file" exception being thrown.
Solves https://bugs.launchpad.net/tapaal/+bug/1967129