portfolio data-race fix

ftsrg · Nov 24, 2023 · 31192b7 · 31192b7
1 parent 22257ee
commit 31192b7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/portfolio/complex24.kt b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/portfolio/complex24.kt
@@ -70,7 +70,7 @@ fun complexPortfolio24(
             coi = ConeOfInfluenceMode.COI)
 
         if (propertyTyped == ErrorDetection.DATA_RACE) {
-            baseConfig = baseConfig.copy(porLevel = POR.SPOR)
+            baseConfig = baseConfig.copy(porLevel = POR.SPOR, coi = ConeOfInfluenceMode.NO_COI)
         }
     }
     val timeoutTrigger = ExceptionTrigger(