summaryrefslogtreecommitdiff
path: root/Test/houdini/test7.bpl.expect
blob: 81c325b2cf7af480d7b88f5bca725eb605de489a (plain)
1
2
3
Assignment computed by Houdini:

Boogie program verifier finished with 2 verified, 0 errors