houd1.bpl.expect « houdini « Test - debian-boogie - Debian packaging for Boogie

summary refs log tree commit diff

path: root/Test/houdini/houd1.bpl.expect

blob: 59f1e524b48bf8367ea2bfd4c57e36750760a296 (plain)

Assignment computed by Houdini:
b1 = False

Boogie program verifier finished with 1 verified, 0 errors