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.
