Changes

Page history
Konstantin.Schekotihin created page: onto debugger authored by Wolfgang Schmid's avatar Wolfgang Schmid
Show whitespace changes
Inline Side-by-side
onto-debugger.md
View page @ 35fafbc0
...@@ -60,6 +60,7 @@ We should still see the diagnoses from our previous step. So we can ask the expe ...@@ -60,6 +60,7 @@ We should still see the diagnoses from our previous step. So we can ask the expe
##### Options for Querying ##### Options for Querying
Select *Exquisite Debugger->Options* Select *Exquisite Debugger->Options*
![options_queris](/uploads/38acca6a7fdda1f01cfa0e926b549825/options_queris.PNG) ![options_queris](/uploads/38acca6a7fdda1f01cfa0e926b549825/options_queris.PNG)
We can define the minmal and maximal number of queries to compute. If the maximal number is smaller than the minimal, maximal equals minimal. We can define the minmal and maximal number of queries to compute. If the maximal number is smaller than the minimal, maximal equals minimal.
... ...
......