equal
deleted
inserted
replaced
48 boogie_open (quiet) "VCC_Max.b2i" |
48 boogie_open (quiet) "VCC_Max.b2i" |
49 |
49 |
50 declare [[smt_certificates = "VCC_Max.certs"]] |
50 declare [[smt_certificates = "VCC_Max.certs"]] |
51 declare [[smt_read_only_certificates = true]] |
51 declare [[smt_read_only_certificates = true]] |
52 declare [[smt_oracle = false]] |
52 declare [[smt_oracle = false]] |
|
53 declare [[z3_with_extensions = true]] |
53 |
54 |
54 boogie_status |
55 boogie_status |
55 |
56 |
56 boogie_vc maximum |
57 boogie_vc maximum |
57 by boogie |
58 by boogie |