TAPAAL

Bug #2035819
Comment #2

Comment 2 for bug 2035819

Revision history for this message

Jiri Srba (srba) wrote on 2024-06-18:

#2

fastest-trace-error-verifydtapn-query2.tapn Edit (32.5 KiB, text/xml)

This net removed an invariant and gives a difference of two time units (14) from the optimal fastest trace with delays of 12 time units.