Frama-C API - TacCut
Built-in Cut Tactical (auto-registered)
val fmode : mode Tactical.field
val tactical : Tactical.tactical
val strategy : ?priority:float -> ?modus:bool -> Tactical.selection -> Strategy.strategy
TacCut
Built-in Cut Tactical (auto-registered)
val fmode : mode Tactical.field
val tactical : Tactical.tactical
val strategy : ?priority:float -> ?modus:bool -> Tactical.selection -> Strategy.strategy