disable unknown_function.call for c2po conf

goblint · Jul 31, 2024 · 82d3802 · 82d3802
1 parent 6de5039
commit 82d3802
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 3 deletions.
diff --git a/conf/svcomp-c2po-no-maypointto.json b/conf/svcomp-c2po-no-maypointto.json
@@ -102,7 +102,8 @@
     "solver": "td3",
     "sem": {
       "unknown_function": {
-        "spawn": false
+        "spawn": false,
+        "call": false
       },
       "int": {
         "signed_overflow": "assume_none"

diff --git a/conf/svcomp-c2po.json b/conf/svcomp-c2po.json
@@ -99,7 +99,8 @@
     "solver": "td3",
     "sem": {
       "unknown_function": {
-        "spawn": false
+        "spawn": false,
+        "call": false
       },
       "int": {
         "signed_overflow": "assume_none"

diff --git a/conf/svcomp-no-var-eq.json b/conf/svcomp-no-var-eq.json
@@ -96,7 +96,8 @@
     "solver": "td3",
     "sem": {
       "unknown_function": {
-        "spawn": false
+        "spawn": false,
+        "call": false
       },
       "int": {
         "signed_overflow": "assume_none"