Merge pull request #1592 from goblint/svcomp25-no-mallocWrapper

Remove fixed malloc wrappers from svcomp conf
goblint · Oct 5, 2024 · 4acdae5 · 4acdae5
2 parents bb6f9aa + 30a2ace
commit 4acdae5
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 42 deletions.
diff --git a/conf/svcomp-validate.json b/conf/svcomp-validate.json
@@ -46,27 +46,6 @@
     "context": {
       "widen": false
     },
-    "malloc": {
-      "wrappers": [
-        "kmalloc",
-        "__kmalloc",
-        "usb_alloc_urb",
-        "__builtin_alloca",
-        "kzalloc",
-
-        "ldv_malloc",
-
-        "kzalloc_node",
-        "ldv_zalloc",
-        "kmalloc_array",
-        "kcalloc",
-
-        "ldv_xmalloc",
-        "ldv_xzalloc",
-        "ldv_calloc",
-        "ldv_kzalloc"
-      ]
-    },
     "base": {
       "arrays": {
         "domain": "partitioned"

diff --git a/conf/svcomp.json b/conf/svcomp.json
@@ -45,27 +45,6 @@
     "context": {
       "widen": false
     },
-    "malloc": {
-      "wrappers": [
-        "kmalloc",
-        "__kmalloc",
-        "usb_alloc_urb",
-        "__builtin_alloca",
-        "kzalloc",
-
-        "ldv_malloc",
-
-        "kzalloc_node",
-        "ldv_zalloc",
-        "kmalloc_array",
-        "kcalloc",
-
-        "ldv_xmalloc",
-        "ldv_xzalloc",
-        "ldv_calloc",
-        "ldv_kzalloc"
-      ]
-    },
     "base": {
       "arrays": {
         "domain": "partitioned"