rename option

goblint · Dec 8, 2023 · 40a9f80 · 40a9f80
1 parent 474010b
commit 40a9f80
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 6 deletions.
diff --git a/src/transform/evalAssert.ml b/src/transform/evalAssert.ml
@@ -27,7 +27,7 @@ module EvalAssert = struct
   let surroundByAtomic = true
 
   (* variable for generating __goblint_check(exp) instead of __VERIFIER_assert(exp) *)
-  let goblintCheck () = GobConfig.get_bool "trans.goblint-check"
+  let goblintCheck () = GobConfig.get_bool "trans.assert.goblint-check"
 
   (* Cannot use Cilfacade.name_fundecs as assert() is external and has no fundec *)
   let ass () = if goblintCheck () then makeVarinfo true "__goblint_check" (TVoid []) else makeVarinfo true "__VERIFIER_assert" (TVoid [])

diff --git a/src/util/options.schema.json b/src/util/options.schema.json
@@ -1493,11 +1493,19 @@
           "type":"string",
           "default": "transformed.c"
         },
-        "goblint-check" : {
-          "title": "trans.goblint-check",
-          "description": "Write __goblint_check(exp) in the file instead of __VERIFIER_assert(exp).",
-          "type": "boolean",
-          "default": false
+        "assert" : {
+          "title": "trans.assert",
+          "type": "object",
+          "properties": {
+            "goblint-check": {
+              "title": "trans.assert.goblint-check",
+              "description":
+                "Write __goblint_check(exp) in the file instead of __VERIFIER_assert(exp).",
+              "type": "boolean",
+              "default": false
+            }
+          },
+          "additionalProperties": false
         }
       },
       "additionalProperties": false