From 82d380211fd95e90eec61f04086d7e27bfda8fbe Mon Sep 17 00:00:00 2001 From: Rebecca Ghidini Date: Wed, 31 Jul 2024 12:46:49 +0200 Subject: [PATCH] disable unknown_function.call for c2po conf --- conf/svcomp-c2po-no-maypointto.json | 3 ++- conf/svcomp-c2po.json | 3 ++- conf/svcomp-no-var-eq.json | 3 ++- 3 files changed, 6 insertions(+), 3 deletions(-) diff --git a/conf/svcomp-c2po-no-maypointto.json b/conf/svcomp-c2po-no-maypointto.json index 12bb959960..2d3b8feffa 100644 --- 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 index 7549412730..964a47d464 100644 --- 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 index a903d29e76..e2530ea2ac 100644 --- 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"