Wrong behaviour in relationg to boundedness analysis
Bug #819458 reported by
Morten Jacobsen
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | ||
|---|---|---|---|---|---|---|
| VerifyTAPN | Status tracked in Trunk | |||||
| 1.0 |
New
|
Undecided
|
Unassigned | |||
| Trunk |
New
|
Undecided
|
Unassigned | |||
Bug Description
Run the attached net with the following command from the command line:
verifytapn -k 20 verifytapn-
It says that it used at most 22 tokens in any explored marking which is wrong, since it can only use 20 tokens at most.
Revision history for this message
| Morten Jacobsen (mortenja) wrote | #1 |
Revision history for this message
| Morten Jacobsen (mortenja) wrote | #2 |
Revision history for this message
| Morten Jacobsen (mortenja) wrote | #3 |
To post a comment you must log in.
