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 |