boltzgen 0.9.5 (latest) · OCaml Package

val mname_of_string : string -> string

val print_typedef : Format.formatter -> Runtime.Type.def_type list -> unit

Prints a type definition

val print_sig : 
  Format.formatter ->
  (Runtime.Type.def_type list * Runtime.Type.func) ->
  unit

Prints a module signature matching type and function signature

Internal test generation functions

val gen_header : 
  float ->
  Format.formatter ->
  out_err:bool ->
  int ->
  Runtime.Type.func ->
  (Format.formatter -> unit -> unit) ->
  string ->
  (Format.formatter -> unit -> unit) ->
  unit

val generic_loop : 
  (Format.formatter ->
    out_err:bool ->
    int ->
    Runtime.Type.func ->
    (Format.formatter -> unit -> unit) ->
    string ->
    (Format.formatter -> unit -> unit) ->
    unit) ->
  (Format.formatter ->
    out_err:bool ->
    ?throw:bool ->
    ?canonize:string ->
    string ->
    unit) ->
  (Format.formatter -> 'b -> unit) ->
  ?out_err:bool ->
  ?tsrange:(int * int) ->
  ?throw:bool ->
  ?canonize:string ->
  ?boltz_evaluated:(Runtime.Type.def_type list * Runtime.Type.func * float) ->
  Format.formatter ->
  float ->
  int ->
  string ->
  'b ->
  unit

val gen_test : 
  ?out_err:bool ->
  ?ftotest:string ->
  ?tsrange:(int * int) ->
  ?boltz_evaluated:(Runtime.Type.def_type list * Runtime.Type.func * float) ->
  Format.formatter ->
  float ->
  int ->
  string ->
  unit

val gen_to_string : 
  ?throw:bool ->
  ?canonize:string ->
  Runtime.Type.func ->
  string

val gen_value : 
  ?tsrange:(int * int) ->
  boltz_evaluated:
    (Runtime.Type.def_type list * Runtime.Type.compo_type * float) ->
  Format.formatter ->
  float ->
  int ->
  unit

val gen_test_direct : 
  ?out_err:bool ->
  ?throw:bool ->
  ?canonize:string ->
  ?boltz_evaluated:(Runtime.Type.def_type list * Runtime.Type.func * float) ->
  Format.formatter ->
  float ->
  int ->
  string ->
  unit

val gen_test_diff : 
  ?out_err:bool ->
  ?tsrange:(int * int) ->
  ?throw:bool ->
  ?canonize:string ->
  ?boltz_evaluated:(Runtime.Type.def_type list * Runtime.Type.func * float) ->
  string ->
  string ->
  Format.formatter ->
  float ->
  int ->
  string ->
  unit

val gen_test_t : ?out_err:bool -> float -> int -> string -> unit

Simple test generation function

val gen_test_d : 
  ?throw:bool ->
  ?canonize:string ->
  float ->
  int ->
  string ->
  unit

val gen : ?out_err:bool -> float -> int -> string -> unit

val gen_dir : float -> int -> string -> unit

package boltzgen