drivers/cvc5_counterexample.drv

   1
   2 prelude ";; produced by cvc5_counterexample.drv ;;"
   3
   4 import "cvc5.drv"
   5
   6 (* Counterexamples: set model parser *)
   7 model_parser "smtv2"
   8
   9 theory BuiltIn
  10
  11   meta "get_counterexmp" ""
  12   meta "meta_incremental" ""
  13
  14 end