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:|
|• Search Modes:|
|• Improving the search:|