Konstantin.Schekotihin created page: onto debugger authored by Wolfgang Schmid's avatar Wolfgang Schmid
...@@ -41,3 +41,6 @@ Next let us see what option do we have for the diagnoses search. Select *Exquisi ...@@ -41,3 +41,6 @@ Next let us see what option do we have for the diagnoses search. Select *Exquisi
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)
_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