Changes

Page history
Konstantin.Schekotihin created page: onto debugger authored by Wolfgang Schmid's avatar Wolfgang Schmid
Hide whitespace changes
Inline Side-by-side
onto-debugger.md
View page @ d6763b4b
...@@ -40,4 +40,7 @@ Next let us see what option do we have for the diagnoses search. Select *Exquisi ...@@ -40,4 +40,7 @@ Next let us see what option do we have for the diagnoses search. Select *Exquisi
### The search for diagnoses ### The search for diagnoses
Once we are happy with our preferences we can start the *Search Diagnoses* button and hopefully we will get some diagnoses in reasonable time. Once we are happy with our preferences we can start the *Search Diagnoses* button and hopefully we will get some diagnoses in reasonable time.
In our example we will get these diagnoses: In our example we will get these diagnoses:
![diagnoses](/uploads/216e58d304370983784d2b4d480777e1/diagnoses.PNG) ![diagnoses](/uploads/216e58d304370983784d2b4d480777e1/diagnoses.PNG)
\ No newline at end of file
_Please note_: when you want to select another reasoner for diagnoses calculation you have to choose *Exquisite Debugger->Options* once to make the reasoner selection effective.
\ No newline at end of file