fixed a case of a hanging pre-processor

uuverifiers · Mar 19, 2024 · 3740819 · 3740819
1 parent a08805f
commit 3740819
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/main/scala/lazabs/horn/acceleration/AbsGraph.scala b/src/main/scala/lazabs/horn/acceleration/AbsGraph.scala
@@ -1,6 +1,6 @@
 /**
  * Copyright (c) 2011-2014 Filip Konecny
- *                    2022 Philipp Ruemmer
+ *               2022-2024 Philipp Ruemmer
  * All rights reserved.
  * 
  * Redistribution and use in source and binary forms, with or without
@@ -31,6 +31,8 @@
 
 package lazabs.horn.acceleration
 
+import lazabs.GlobalParameters
+
 import scala.collection.mutable.{ArrayBuffer, Buffer}
 
 abstract class AbsGraph { thisGraph =>
@@ -190,6 +192,8 @@ abstract class AbsGraph { thisGraph =>
                       suff : List[Edge],
                       seen : Set[Node],
                       acc  : Buffer[Seq[Edge]]) : Unit = {
+    GlobalParameters.get.timeoutChecker()
+
     if (from == to)
       acc += suff