Changes

Page history
Updated screenshots of preferences authored by Wolfgang Schmid's avatar 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 ...@@ -301,7 +301,7 @@ In the above debugging session the default settings and the *HermiT* reasoner we
### Preferences for Fault Localization ### Preferences for Fault Localization
![pref1](/uploads/e1611544ed2bac964c2e522626c8ca7e/image.png) ![pref1](/uploads/279e73eee74a129d86e4cda3171de40e/image.png)
##### Engine Types ##### Engine Types
...@@ -323,7 +323,7 @@ In addition by using module extraction the process can once again be sped up as ...@@ -323,7 +323,7 @@ In addition by using module extraction the process can once again be sped up as
### Preferences for Query computation ### Preferences for Query computation
![pref2](/uploads/45dd7e97538ae4dfe8384cd42f801054/image.png) ![pref2](/uploads/2e4ff4b012f42efbbc851369f8577da0/image.png)
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). 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).
... ...
......