Konstantin.Schekotihin created page: onto debugger authored by Wolfgang Schmid's avatar Wolfgang Schmid
......@@ -40,4 +40,7 @@ Next let us see what option do we have for the diagnoses search. Select *Exquisi
### 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.
In our example we will get these diagnoses:
![diagnoses](/uploads/216e58d304370983784d2b4d480777e1/diagnoses.PNG)
\ No newline at end of file
![diagnoses](/uploads/216e58d304370983784d2b4d480777e1/diagnoses.PNG)
_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