From 78126d4665e64992ee3822f51fd85b4a74c5fda6 Mon Sep 17 00:00:00 2001
From: Philip Tasche
Date: Wed, 17 Jul 2024 14:06:59 +0200
Subject: [PATCH] Fixed issue with Scala set intersection
---
src/rewrite/vct/rewrite/rasi/RASIConnection.scala | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/rewrite/vct/rewrite/rasi/RASIConnection.scala b/src/rewrite/vct/rewrite/rasi/RASIConnection.scala
index 45592b92a..0685109e8 100644
--- a/src/rewrite/vct/rewrite/rasi/RASIConnection.scala
+++ b/src/rewrite/vct/rewrite/rasi/RASIConnection.scala
@@ -142,7 +142,8 @@ case class DistinguishedSuccessor[G](
}
override def factor_out(states: Set[AbstractState[G]]): RASISuccessor[G] = {
- val hit: Set[AbstractState[G]] = states.intersect(successors)
+ val hit: Set[AbstractState[G]] = successors.intersect(states)
+ // different result for some reason: states.intersect(successors)
if (hit.nonEmpty)
AlternativeSuccessor(
hit.map[RASISuccessor[G]](s => SingleSuccessor(s)) + this.removed_states(hit)