Colored reductions are broken
Bug #2043335 reported by
Jiri Srba
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
New
|
Undecided
|
Unassigned | ||
Bug Description
Open the attached net and verify the first query with and without colored reductions. The calls
give different answers - with color reduction it is FALSE (wrong answer) and without
it it is TRUE (correct answer). This is verifypn engine problem.
Revision history for this message
| Jiri Srba (srba) wrote | #1 |
To post a comment you must log in.
