inst
Inst.Hook
builtin
dangling
dynamic
dynamic_al
dynamic_pl
dynamic_runner
dynamic_sl
error_runtime
instr
interp_al
interp_common
interp_pl
interp_sl
p4
p4spectec.backend_boot
p4spectec.backend_sim
p4spectec.backend_splice
p4spectec.backend_testgen_neg
p4spectec.cache
p4spectec.coverage
p4spectec.domain
p4spectec.frontend
p4spectec.interface
p4spectec.interp
p4spectec.lang
p4spectec.pass
p4spectec.runner
p4spectec.runtime
p4spectec.stf
p4spectec.util
prose
sim
spectec
static
testgen_neg
type
value
module Value = Runtime.Value
module Dep = Runtime.Testgen_neg.Dep
val handlers : (module Handler.HANDLER) list Stdlib.ref
val register : (module Handler.HANDLER) list -> unit
val is_active : unit -> bool
val init_spec : Handler.spec -> unit
val finish : unit -> unit
val backup : unit -> unit
val restore : unit -> unit
val on_program : Inst.Handler.Value.t -> unit
val on_value : Inst.Handler.Value.t -> unit
val on_value_dependency : Inst.Handler.Value.t -> Inst.Handler.Value.t -> Inst.Handler.Dep.Edges.label -> unit
val on_rel_enter : Domain.Lib.RId.t -> Inst.Handler.Value.t list -> unit
val on_rel_exit : Domain.Lib.RId.t -> unit
val on_func_enter : Domain.Lib.FId.t -> Inst.Handler.Value.t list -> unit
val on_func_exit : Domain.Lib.FId.t -> unit
val on_prem : Lang.Il.prem -> unit
val on_instr : Lang.Sl.instr -> unit
val on_instr_dangling : bool -> Domain.Lib.IId.t -> Inst.Handler.Value.t -> unit