Module Binsec_cli_bbsse.PredicateSource

Sourcetype t = {
  1. addr : A.t;
  2. mnemonic : string;
  3. test : Binsec.Dba.Expr.t;
  4. mutable status : S.t;
  5. expect : S.t;
}