Re-enable sem.unknown_function.spawn by default.

goblint · Nov 28, 2023 · 872799f · 872799f
1 parent e58e7f6
commit 872799f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/common/util/options.schema.json b/src/common/util/options.schema.json
@@ -757,7 +757,7 @@
                     "The domain that should be used for unions. Options: simple/map",
                   "type": "string",
                   "enum": ["simple", "map"],
-                  "default": "map"
+                  "default": "simple"
                 }
               },
               "additionalProperties": false
@@ -1362,7 +1362,7 @@
               "description":
                 "Unknown function call spawns reachable functions",
               "type": "boolean",
-              "default": false
+              "default": true
             },
             "call": {
               "title": "sem.unknown_function.call",