data race predicate fix

ftsrg · Nov 3, 2023 · 43395cc · 43395cc
1 parent b5f558c
commit 43395cc
Showing 1 changed file with 0 additions and 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
@@ -145,7 +145,6 @@ fun getXcfaErrorPredicate(
     ErrorDetection.DATA_RACE -> {
         Predicate<XcfaState<out ExprState>> { 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)