From 43395cc62f14d114e71580187be8e8af53a9a699 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Csan=C3=A1d=20Telbisz?= Date: Sat, 4 Nov 2023 00:19:23 +0100 Subject: [PATCH] data race predicate fix --- .../src/main/java/hu/bme/mit/theta/xcfa/analysis/XcfaAnalysis.kt | 1 - 1 file changed, 1 deletion(-) diff --git a/subprojects/xcfa/xcfa-analysis/src/main/java/hu/bme/mit/theta/xcfa/analysis/XcfaAnalysis.kt b/subprojects/xcfa/xcfa-analysis/src/main/java/hu/bme/mit/theta/xcfa/analysis/XcfaAnalysis.kt index 3abddfbfaf..2fffa458cb 100644 --- a/subprojects/xcfa/xcfa-analysis/src/main/java/hu/bme/mit/theta/xcfa/analysis/XcfaAnalysis.kt +++ b/subprojects/xcfa/xcfa-analysis/src/main/java/hu/bme/mit/theta/xcfa/analysis/XcfaAnalysis.kt @@ -145,7 +145,6 @@ fun getXcfaErrorPredicate( ErrorDetection.DATA_RACE -> { Predicate> { s -> val xcfa = s.xcfa!! - if (s.mutexes.containsKey("")) return@Predicate false for (process1 in s.processes) for (process2 in s.processes) if (process1.key != process2.key)