Module C_assert

module C_assert: sig .. end
Translate a Value state into a bunch of C assertions

val pretty_int_range : Format.formatter -> (unit -> 'a) -> string -> string -> Cvalue.V.t -> unit
val pretty_float_range : Format.formatter -> (unit -> 'a) -> string -> string -> Cvalue.V.t -> unit
val types : (int,
(Cvalue.V.t * string *
(Format.formatter ->
(unit -> unit) -> string -> string -> Cvalue.V.t -> unit))
list)
Hashtbl.t
val value_pretty : (unit -> unit) -> string -> int -> Format.formatter -> Cvalue.V.t -> unit
val value_uninit_pretty : (unit -> unit) ->
string -> int -> Format.formatter -> Cvalue.V_Or_Uninitialized.un_t -> unit
val offsetmap_pretty : string -> (unit -> unit) -> Format.formatter -> Cvalue.V_Offsetmap.t -> unit
val state_pretty : Format.formatter -> Cvalue.Model.tt -> unit
val pretty_state_as_c_assert : Format.formatter -> Cvalue.Model.tt -> unit