boltzgen

Generate tests using boltzman sampling
Library boltzgen
val gen_test : ?ftotest:string -> ?tsrange:(int * int) -> ?boltz_evaluated:(Type.sum_type list * Type.func * float) -> Format.formatter -> float -> int -> string -> unit