drivers/cvc4_17.drv

   1 (** Why3 driver for CVC4 1.7 *)
   2
   3 prelude ";; produced by cvc4_17.drv ;;"
   4
   5 prelude "(set-logic ALL_SUPPORTED)"
   6
   7 unknown "^(error \"Can't get-info :reason-unknown when the last result wasn't unknown!\")$" "(not unknown!)"
   8
   9 import "cvc4_16.gen"
  10
  11 theory BuiltIn
  12
  13   meta "supports_smt_get_info_unknown_reason" ""
  14
  15 end