Support for Bit Vectors

src/TestGen.ml

@@ -13,3 +13,4 @@ let for_type (t : Type.t) : Value.t Generator.t =
                   >>= fun len -> (String.gen_with_length len (Char.gen_print)
                                   >>= fun s -> singleton (Value.String s))
   | Type.LIST -> raise (Exceptions.Internal_Exn "Generators for List type not implemented!")
+  | Type.BITVEC _ -> raise (Exceptions.Internal_Exn "Generators for BitVec type not implemented!")

src/Type.ml

@@ -21,7 +21,7 @@ let of_string : string -> t = function
 let of_params : string * int -> t = function
   | "BitVec", n -> BITVEC n
 
-let to_string : t -> string = function
+let to_string : t -> string = function [@warning "-8"]
   | INT    -> "Int"
   | BOOL   -> "Bool"
   | CHAR   -> "Char"

src/Value.ml

@@ -8,7 +8,7 @@ module T = struct
          | Char of char
          | String of string
          | List of t list
-         | BitVec of int*int
+         | BitVec of int*string
          [@@deriving compare,sexp]
 end