detLoopExtract.bpl.expect « extractloops « Test - debian-boogie - Debian packaging for Boogie

summary refs log tree commit diff

path: root/Test/extractloops/detLoopExtract.bpl.expect

blob: 0840bd8a70d508477442a8763cbc4a38f3c812cb (plain)

1
2
3

Stratified Inlining: Reached recursion bound of 4

Boogie program verifier finished with 1 verified, 0 errors