Only one deadlock trace is reported for Petri nets
Bug #1356964 reported by
Danil Sokolov
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| Workcraft |
Invalid
|
Low
|
Danil Sokolov | ||
Bug Description
To reproduce:
- Create a Petri net work wit place a marked p0 and two transitions in its postset t0 and t1
- Set the MPSat check mode to First 10 solution (Edit->
- Check the model for deadlocks (Tools-
Observed behaviour:
- Only one deadlock trace is reported: t0
Expected behaviour:
- Two traced need to be reported: t0 and t1.
Revision history for this message
| Danil Sokolov (danilovesky) wrote | #1 |
| Changed in workcraft: | |
| status: | Triaged → Invalid |
To post a comment you must log in.
Looks like bug in MPSat, not related to Workcraft. This should be fixed in new version of MPSat.