cvc3.drv 255 Bytes
Newer Older
1
import "cvc3.gen"
2 3

theory BuiltIn
4 5 6 7
  meta "select_inst" "nothing"
  meta "select_kept" "nothing"
  meta "select_lskept" "nothing"
  meta "completion_mode" "nothing"
8 9
end

10
(*
11
Local Variables:
12
mode: why
13 14
compile-command: "unset LANG; make -C .. bench"
End:
15
*)