?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
never encode enums and records for Alt-Ergo
[why3.git] / drivers / z3_440_counterexample.drv
blob2b325cee1f0c17dcfc9dae4f8d074b4c850d0b08
1
2 import "z3_440.drv"
3
4 theory BuiltIn
5
6   meta "get_counterexmp" ""
7   meta "meta_incremental" ""
8
9 end
A platform for deductive program verification