Module Microx_concretizer

type policy = [
  1. | `Random
  2. | `Fixed of int64
  3. | `Interval of int64 * int64
]
val sexp_of_policy : policy -> Ppx_sexp_conv_lib.Sexp.t
class 'a main : ?memory:(Bap.Std.addr -> Bap.Std.word option) -> ?lookup:(Bap.Std.var -> Bap.Std.word option) -> ?random_seed:int -> ?reg_policy:policy -> ?mem_policy: policy -> unit -> 'a Bap.Std.expi

expression interpreter that never halts due to an unknown value.