TAPAAL

Bug #1997234
Comment #2

Comment 2 for bug 1997234

Revision history for this message

Lena Ernstsen (lsaid) wrote on 2023-06-13:

#2

LTL-insufficient-token-error.tapn Edit (49.7 KiB, text/xml)

Fixed net where tarjan is not true for the LTL query