Module Libsse.ProbeSource

Sourcetype t =
  1. | Enumerate of {
    1. enum : Libsse.Types.Expr.t;
    2. id : int;
    3. format : Types.Output.format;
    4. n : int;
    5. mutable k : int;
    6. mutable values : Binsec.Bitvector.t list;
    }
  2. | Reach of {
    1. id : int;
    2. mutable n : int;
    3. guard : Libsse.Types.Expr.t;
    4. actions : Types.Output.t list;
    }