TAPAAL

Bug #2020590
Comment #2

Comment 2 for bug 2020590

Revision history for this message

Jiri Srba (srba) wrote on 2023-06-07:

#2

minimization-issue-smaller.tapn Edit (7.6 KiB, text/xml)

Here is net with the same issue that is faster to verify.