| ... | ... | @@ -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.
|
|
|
|
In our example we will get these diagnoses:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
_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 |
