Structural reductions for colored nets
Bug #1987636 reported by
Jiri Srba
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Committed
|
Undecided
|
Lena Ernstsen | ||
Bug Description
For untimed, nongame, colored nets, there should be a special advanced option
called "Colored structural reductions" (and keep the structural reductions).
These reductions can be enabled/disabled independently, however, if the user
selects "some trace", the the colored structural reductions should be grayed out
(disabled), while the normal ones can be still setup by the user.
| Changed in tapaal: | |
| assignee: | nobody → Lena Ernstsen (lsaid) |
| status: | New → In Progress |
| Changed in tapaal: | |
| status: | In Progress → Fix Committed |
To post a comment you must log in.
