Frama-C:
Plug-ins:
Libraries:

Frama-C API - TacRewrite

Built-in Range Tactical (auto-registered)

type dir = [
  1. | `Left
  2. | `Right
]
val tactical : dir -> Tactical.tactical
val strategy : ?priority:float -> dir -> Tactical.selection -> Strategy.strategy