package bap-primus-track-visited

  1. Overview
  2. Docs
On This Page
  1. Example
Legend:
Library
Module
Module type
Parameter
Class
Class type

The online interface to the set of visited basic blocks.

Example

module Visited = Bap_primus_track_visited.Set.Make(Machine)

let term_is_visited t = Visited.mem (Term.tid t)
module Make (Machine : Bap_primus.Std.Primus.Machine.S) : sig ... end
OCaml

Innovation. Community. Security.