search

TAPAAL / tapaal-gui

TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.
https://www.tapaal.net
3 stars 11 forks source link

Ctl ltl token 1997234 #49

Closed LenaSaid closed 1 year ago

LenaSaid commented 1 year ago

Checks the bounds to decide the icon of the verification result dialog, as well as informs the user if there were not enough tokens explored

Solves https://bugs.launchpad.net/tapaal/+bug/1997234.

srba commented 1 year ago

Does not seem to work for CTL in the bug report - open the first query and decrease the number of extra tokens and verify. It will answer FALSE (in red) which is wrong, it should be inconclusive (in yellow).

LenaSaid commented 1 year ago

Does not seem to work for CTL in the bug report - open the first query and decrease the number of extra tokens and verify. It will answer FALSE (in red) which is wrong, it should be inconclusive (in yellow).

Should be showing in yellow now