package cbat-vsa

  1. Overview
  2. Docs
exception NotImplemented of string
val fail_on_not_implemented : bool Pervasives.ref
val not_implemented : ?top:'a -> string -> 'a
val unsound_assume_memory_alignment : bool Pervasives.ref
val unsound_stack : bool Pervasives.ref
val max_edge_explosion : int Pervasives.ref
val fin_set_size : int Pervasives.ref
val cdiv : int -> int -> int
val exn_on_err : ('a, Bap.Std.Type.error) Core_kernel.Std.Result.t -> 'a
val rotate_list : 'a list -> 'a list