From ccbbcb4b17cb368d21f30b6115cfb771bc6f7866 Mon Sep 17 00:00:00 2001
From: Levente Bajczi <bajczilevi@gmail.com>
Date: Fri, 29 Nov 2024 11:47:27 +0100
Subject: [PATCH] Added support in LTS

---
 .../main/java/hu/bme/mit/theta/xcfa/analysis/XcfaAnalysis.kt | 5 +++++
 1 file changed, 5 insertions(+)

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 1b41de5b1d..dbb74d0383 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
@@ -191,6 +191,11 @@ fun getCoreXcfaLts() =
       }
       .flatten()
       .toSet()
+      .filter { action ->
+        s.syncingOn?.let { key ->
+          action.label.getFlatLabels().first().let { it is SyncRecvLabel && it.key == key }
+        } ?: true
+      }
   }
 
 fun getXcfaLts(): LTS<XcfaState<out PtrState<out ExprState>>, XcfaAction> {