gillian » Gillian » Debugger » Utils » Match_map » Make_builder » Verification » SAInterpreter » Logging

Module SAInterpreter.Logging

module ConfigReport : sig ... end

module CmdResult : sig ... end

val pp_err :
  Stdlib.Format.formatter ->
  (vt, state_err_t) General.Exec_err.t ->
  unit

val pp_result : Stdlib.Format.formatter -> result_t list -> unit