Next: Trace counts, Previous: Debugger commands, Up: Debugging [Contents][Index]
The debugger incorporates a declarative debugger which can be accessed from its command line. Starting from an event that exhibits a bug, e.g. an event giving a wrong answer, the declarative debugger can find a bug which explains that behaviour using knowledge of the intended interpretation of the program only.
Note that this is a work in progress, so there are some limitations in the implementation.
| • Declarative debugging overview: | ||
| • Declarative debugging concepts: | ||
| • Oracle questions: | ||
| • Declarative debugging commands: | ||
| • Diagnoses: | ||
| • Search modes: | ||
| • Improving the search: |