equal
deleted
inserted
replaced
80 *} |
80 *} |
81 |
81 |
82 |
82 |
83 boogie_open "Boogie_Dijkstra.b2i" |
83 boogie_open "Boogie_Dijkstra.b2i" |
84 |
84 |
85 declare [[smt_certificates="Boogie_Dijkstra.certs"]] |
85 declare [[smt_certificates = "Boogie_Dijkstra.certs"]] |
86 declare [[smt_fixed=true]] |
86 declare [[smt_read_only_certificates = true]] |
87 declare [[smt_oracle=false]] |
87 declare [[smt_oracle = false]] |
88 |
88 |
89 boogie_vc Dijkstra |
89 boogie_vc Dijkstra |
90 by boogie |
90 by boogie |
91 |
91 |
92 boogie_end |
92 boogie_end |