Hacked together a fix for the variable selector

utwente-fmt · Jul 18, 2024 · 247d324 · 247d324
1 parent 78126d4
commit 247d324
Showing 1 changed file with 4 additions and 1 deletion.
diff --git 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