package bap-veri

  1. Overview
  2. Docs
package bap-veri
Legend:
Library
Module
Module type
Parameter
Class
Class type
inherit Veri_traci.context
method split : 's
method merge : 's
method other : 's option
method save : 's -> 's
method switch : 's
method stat : Veri_stat.t
method code : Bap_traces.Std.Chunk.t option
method events : Bap.Std.Value.Set.t
method register_event : Bap_traces.Std.Trace.event -> 's
method notify_error : Veri_error.t -> 's
method set_bil : Bap.Std.bil -> 's
method set_code : Bap_traces.Std.Chunk.t -> 's
method set_insn : string -> 's
method drop_pc : 's