Added support in LTS

ftsrg · Nov 29, 2024 · ccbbcb4 · ccbbcb4
1 parent e89774e
commit ccbbcb4
Showing 1 changed file with 5 additions and 0 deletions.
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
@@ -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> {