From 2fb0d77c30cfbd65f262f07a7ee2929036091f7a Mon Sep 17 00:00:00 2001 From: Levente Bajczi Date: Mon, 11 Nov 2024 23:40:22 +0100 Subject: [PATCH] only using OcChecker when datarace is used --- .../java/hu/bme/mit/theta/xcfa/cli/portfolio/complex25.kt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/portfolio/complex25.kt b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/portfolio/complex25.kt index 2040aef7e1..8cdd48127b 100644 --- a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/portfolio/complex25.kt +++ b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/portfolio/complex25.kt @@ -1113,7 +1113,9 @@ fun complexPortfolio25( var inProcessStm = getStm(mainTrait, true) var notInProcessStm = getStm(mainTrait, false) - if (parseContext.multiThreading) { + if ( + parseContext.multiThreading && baseConfig.inputConfig.property == ErrorDetection.ERROR_LOCATION + ) { val inProcOc = ConfigNode("OC", ocConfig(true), checker) val notInProcOc = ConfigNode("OC", ocConfig(false), checker) val inProcessCegar = HierarchicalNode("InProcessCegar", inProcessStm)