Frama-C API - TacFilter
Built-in Filtering Tactic (auto-registered)
val vanti : bool Tactical.field
val tactical : Tactical.t
val strategy : ?priority:float -> ?anti:bool -> unit -> Strategy.t
TacFilter
Built-in Filtering Tactic (auto-registered)
val vanti : bool Tactical.field
val tactical : Tactical.t
val strategy : ?priority:float -> ?anti:bool -> unit -> Strategy.t