Remove verification option "Search by closes to target first" as this is an experimental feature in UPPAAL
Bug #769875 reported by
Kenneth Yrke Jørgensen
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Released
|
High
|
Unassigned | ||
| 1.4 |
Fix Released
|
High
|
Unassigned | ||
Bug Description
We need to remove the analysis open "Search by closes to target first", according to the UPPAAL development team this is an experimental feature that has not yet been tested. We found a model where this option gives a wrong result. A bug report has been sendt to the UPPAAL development team.
Until this feature is no longer experimental we need to remove it from TAPAAL.
| Changed in tapaal: | |
| importance: | Undecided → High |
| status: | New → Triaged |
| milestone: | none → 1.5 |
| Changed in tapaal: | |
| assignee: | nobody → lassejac (lassejacobsen) |
| status: | Triaged → In Progress |
| Changed in tapaal: | |
| status: | In Progress → Fix Committed |
| Changed in tapaal: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
