Opened 16 years ago
Closed 16 years ago
#128 closed defect (fixed)
Assume implementation error
| Reported by: | zirkel | Owned by: | |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | semantics | Version: | |
| Keywords: | search, dfs, assume, path condition | Cc: |
Description
DFS does not backtrack when an assumption makes a condition false. See the simpleAssume example.
Note:
See TracTickets
for help on using tickets.
I changed the guard on the assume statement from true to the assume expression. Now the assume is disabled if the expression is invalid (under the path condition). Hence no need to back-track since you never go down the infeasible path in the first place.