Wpst (soteria-rust.Soteria_rust

module Stats = Soteria.Stats

module Compo_res = Soteria.Symex.Compo_res

module State = Soteria_rust_lib.State.Tree_state

module Interp : sig ... end

exception ExecutionError of string

An error happened at runtime during execution

val execution_err : string -> 'a

val print_outcomes : 
  string ->
  (unit ->
    ('a Typed.t list list * int * bool,
      ((Soteria_rust_lib__Error.t
        * Charon.Meta.span_data Soteria.Terminal.Call_trace.t)
       * 'b Typed.t list list)
        list
      * int)
      Stdlib.result) ->
  string * Outcome.t

val exec_crate : 
  Charon.UllbcAst.crate ->
  Frontend.entry_point list ->
  (string * Outcome.t) list

val print_outcomes_summary : (string * Outcome.t) list -> unit

val exec : (Charon.UllbcAst.crate * Frontend.entry_point list) -> Outcome.t