Too big token numbers make TAPAAL freeze
Bug #928936 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Medium
|
Mathias Andersen |
Bug Description
If in editor you enter a huge number of tokens in a place (like 100000000000000
the whole editor freezes. A solution would be to limit the number of tokens to be added to places to say 99999.
Related branches
lp:~tapaal-contributor/tapaal/bug928936
- Kenneth Yrke Jørgensen: Approve
- Jiri Srba: Approve
-
Diff: 47 lines (+10/-2)2 files modifiedsrc/pipe/gui/CreateGui.java (+2/-0)
src/pipe/gui/widgets/PlaceEditorPanel.java (+8/-2)
Changed in tapaal: | |
status: | New → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.