Adding too many tokens

Bug #2037357 reported by Jiri Srba
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
TAPAAL
Fix Committed
Undecided
Unassigned

Bug Description

Open any CPN and add 999 tokens - this is the maximum. They try to add more and no warning message appers and the number is returned to its original value. There should be a warning and we should allow more tokens in a place, say at least 999 999 tokens.

For noncolored nets more tokens can be added but when the bound is exceeded, there is NPE and all freezes.

Revision history for this message
Jiri Srba (srba) wrote :

Open ERK example, double click the RP place and add 9.999.999 tokens. It is not NPE but it takes a very long time before the window closes (it looks like that it freezes but eventually it will close). Why does it take such long time?

Revision history for this message
Jiri Srba (srba) wrote :

I think that this is because the tokens are converted to list of tokens (all with age 0). Which is not necessary (but will need a larger rewrite to make it work with the simulator).

Jiri Srba (srba)
Changed in tapaal:
status: New → Fix Committed
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.