cvc4_15_counterexample.drv 163 Bytes
Newer Older
1 2 3

import "cvc4_15.drv"

4 5 6
(* Counterexamples: set model parser *)
model_parser "smtv2"

7 8
theory BuiltIn

9
  meta "get_counterexmp" ""
10 11 12
  meta "meta_incremental" ""

end