drivers/cvc4_16_counterexample.drv

   1
   2 import "cvc4_16.drv"
   3
   4 (* Counterexamples: set model parser *)
   5 model_parser "smtv2"
   6
   7 theory BuiltIn
   8
   9   meta "get_counterexmp" ""
  10   meta "meta_incremental" ""
  11
  12 end