only using OcChecker when datarace is used

ftsrg · Nov 11, 2024 · 2fb0d77 · 2fb0d77
1 parent b772fc9
commit 2fb0d77
Showing 1 changed file with 3 additions and 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
@@ -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)