Opened 17 years ago
Closed 17 years ago
#11 closed enhancement (fixed)
improve handling of counterexamples
| Reported by: | Stephen Siegel | Owned by: | Stephen Siegel |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | search | Version: | 1.0 |
| Keywords: | Cc: |
Description
A lot of violations are dealt with by throwing exceptions. It would better to deal with them normally, returning "true" and storing in the predicate a helpful message explaining the nature of the violation. This may involve augmenting the predicate interface.
Change History (2)
comment:1 by , 17 years ago
| Status: | new → accepted |
|---|
comment:2 by , 17 years ago
| Resolution: | → fixed |
|---|---|
| Status: | accepted → closed |
Note:
See TracTickets
for help on using tickets.
Traces good enough for now.