Make (gillian.Bulk.Outcome.Make)

Parameters

module ValP : Gillian.General.Val.S

module ESubstP : Gillian.General.ESubst.S with type vt = ValP.t and type t = ValP.et

module StoreP : Gillian.General.Store.S with type vt = ValP.t

module StateP : sig ... end

module PC : 
  Gillian.Command_line.ParserAndCompiler.S
    with type init_data = StateP.init_data

module ExternalP : Engine.External.T(PC.Annot).S

Signature

module Val = ValP

module ESubst = ESubstP

module Store = StoreP

module State = StateP

module ParserAndCompiler = PC

module External = ExternalP

type exec_res =
  (State.t, Val.t, (Val.t, State.err_t) Gillian.General.Exec_err.t)
    Engine.Exec_res.t
    list

type t = exec_res Gillian.Utils.Gillian_result.t

val pp_what_test_did : Stdlib.Format.formatter -> t -> unit

val pp_what_branch_did : 
  Stdlib.Format.formatter ->
  (State.t, Val.t, (Val.t, State.err_t) Gillian.General.Exec_err.t)
    Engine.Exec_res.t ->
  unit