Changes
Page history
Updated screenshots of preferences
authored
May 09, 2018
by
Wolfgang Schmid
Hide whitespace changes
Inline
Side-by-side
onto-debugger.md
View page @
19727981
...
...
@@ -301,7 +301,7 @@ In the above debugging session the default settings and the *HermiT* reasoner we
### Preferences for Fault Localization


##### Engine Types
...
...
@@ -323,7 +323,7 @@ In addition by using module extraction the process can once again be sped up as
### Preferences for Query computation


age 1 has as goal the minimization of the overall number of queries in the debugging session. There are several measures for this purpose (default: Entropy).
...
...
...
...