timeouts in length abstraction

uuverifiers · Jun 10, 2024 · f7f0aa8 · f7f0aa8
1 parent c1419ca
commit f7f0aa8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/main/scala/ostrich/automata/Automaton.scala b/src/main/scala/ostrich/automata/Automaton.scala
@@ -369,6 +369,8 @@ trait AtomicStateAutomaton extends Automaton {
         changed = false
 
         for (i <- 0 until transPreStates.size) {
+          ap.util.Timeout.check
+
           val set = transPreStates(i)
 
           val oldSize = set.size