issues
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
More descriptive unfold error - fix 2043616
#117
Closed
mtygesen
closed
10 months ago
mtygesen
commented
10 months ago
Fixes:
https://bugs.launchpad.net/tapaal/+bug/2043616
Added FormatException being thrown from isNetDrawable() when the size of the net exceeds maxNetSize.
Fixes: https://bugs.launchpad.net/tapaal/+bug/2043616