From 31192b7e6d1b4401cb562aca594ac9bc05c08838 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Csan=C3=A1d=20Telbisz?=
 <56129746+csanadtelbisz@users.noreply.github.com>
Date: Fri, 24 Nov 2023 01:33:55 +0100
Subject: [PATCH] portfolio data-race fix

---
 .../main/java/hu/bme/mit/theta/xcfa/cli/portfolio/complex24.kt  | 2 +-
 1 file changed, 1 insertion(+), 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
index 5eb22a47e3..42427771dd 100644
--- 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(