Disable witness.invariant.accessed by default

Makes access analysis more expensive
goblint · Oct 30, 2023 · e01cacc · e01cacc
1 parent 7834425
commit e01cacc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/common/util/options.schema.json b/src/common/util/options.schema.json
@@ -2365,7 +2365,7 @@
               "title": "witness.invariant.accessed",
               "description": "Only emit invariants for locally accessed variables",
               "type": "boolean",
-              "default": true
+              "default": false
             },
             "full": {
               "title": "witness.invariant.full",