Age of tokens on MouseOver still wrong!
Bug #347509 reported by
Jiri Srba
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Invalid
|
High
|
Unassigned |
Bug Description
Open the attached net, enter the simulation mode and do the following:
delay 0.02
fire T0
delay 0.01
Now tokens in place P0 and P2 show age 0.03 but on MouseOver it shows {0.02}.
Also, after playing couple of times with delays 0.01 and 0.02 and using the select mode
I was offered an age of token like 0.499999999
It looks like that the age of tokens is stored in two separate fields and both times with
different type of reals used.
To post a comment you must log in.
Clean built fixed the problem.