Unapplicable MPSat modes in Petri net plugin
Bug #1371683 reported by
Danil Sokolov
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Workcraft |
Confirmed
|
Low
|
Danil Sokolov |
Bug Description
To reproduce:
- Create a pettri net work and choose Tools->
Observed behaviour:
- STG-related modes are available for Petri nets
Expected behaviour:
- Only those modes applicable to Petri nets should be visible
Changed in workcraft: | |
milestone: | 3.0.1 → 3.0.2 |
Changed in workcraft: | |
milestone: | 3.0.2 → 3.0.3 |
Changed in workcraft: | |
milestone: | 3.0.3 → 3.0.4 |
Changed in workcraft: | |
milestone: | 3.0.4 → none |
Changed in workcraft: | |
milestone: | none → 3.0.7 |
Changed in workcraft: | |
milestone: | 3.0.7 → 3.0.8 |
Changed in workcraft: | |
milestone: | 3.0.8 → 3.0.9 |
To post a comment you must log in.