Raw options bound check fails
Bug #2067100 reported by
Jiri Srba
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Committed
|
Undecided
|
Unassigned | ||
Bug Description
Open intro example and verify, it returns true.
Now enable raw options and change the k bound to 1 and verify. It now returns false with red icon
but it should return the yellow one (like if you decrease the number of tokens in the query dialog directly
as it is inconclusive.
| Changed in tapaal: | |
| status: | New → Fix Committed |
To post a comment you must log in.
