... | ... | @@ -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 |