Frama-C API - TacRewrite
Built-in Range Tactical (auto-registered)
val tactical : dir -> Tactical.tactical
val strategy : ?priority:float -> dir -> Tactical.selection -> Strategy.strategy
TacRewrite
Built-in Range Tactical (auto-registered)
val tactical : dir -> Tactical.tactical
val strategy : ?priority:float -> dir -> Tactical.selection -> Strategy.strategy