Do loop unrolling for loops with boundedness check.

goblint · Nov 17, 2023 · 41ee060 · 41ee060
1 parent a4adabd
commit 41ee060
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/util/loopUnrolling.ml b/src/util/loopUnrolling.ml
@@ -320,6 +320,7 @@ class loopUnrollingCallVisitor = object
         | Unlock _
         | ThreadCreate _
         | Assert _
+        | Bounded _
         | ThreadJoin _ ->
           raise Found;
         | _ ->