From 247d3244ac22c32baa7dfbc1b5e39ad1827821bc Mon Sep 17 00:00:00 2001
From: Philip Tasche
Date: Thu, 18 Jul 2024 13:13:46 +0200
Subject: [PATCH] Hacked together a fix for the variable selector
---
src/rewrite/vct/rewrite/rasi/AbstractProcess.scala | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/src/rewrite/vct/rewrite/rasi/AbstractProcess.scala b/src/rewrite/vct/rewrite/rasi/AbstractProcess.scala
index 2a7408292..694470538 100644
--- a/src/rewrite/vct/rewrite/rasi/AbstractProcess.scala
+++ b/src/rewrite/vct/rewrite/rasi/AbstractProcess.scala
@@ -50,7 +50,10 @@ case class AbstractProcess[G](obj: Expr[G]) {
explored ++= successor.successors
}
- successor.removed_states(looping).factor_out(Set(starting_state))
+ // TODO: Special treatment for the scheduler? There must be a better algorithm for this...
+ if (obj.isInstanceOf[Null[G]])
+ successor.removed_states(looping + starting_state)
+ else successor
}
/** Tests if another small step can be executed without breaking the current