Flip ana.int.def_exc_widen_by_join default to true

#502 (comment)
goblint · Jan 13, 2022 · d4c1adf · jerhard · Jan 13, 2022 · sim642
1 parent d2e3f52
commit d4c1adf
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/util/options.schema.json b/src/util/options.schema.json
@@ -394,9 +394,9 @@
             "def_exc_widen_by_join": {
               "title": "ana.int.def_exc_widen_by_join",
               "description":
-                "Perform def_exc widening by joins. Gives threshold-widening like behavior, with thresholds given by the ranges of different integer types.",
+                "Perform def_exc widening by joins. Gives threshold-widening like behavior, with thresholds given by the ranges of different integer types. TODO: Has termination problems.",
               "type": "boolean",
-              "default": false
+              "default": true
             },
             "interval_threshold_widening": {
               "title": "ana.int.interval_threshold_widening",