Frama-C API - TacChoice
Built-in Choice, Absurd & Contrapose Tactical (auto-registered)
module Choice : sig ... end
module Absurd : sig ... end
module Contrapose : sig ... end
TacChoice
Built-in Choice, Absurd & Contrapose Tactical (auto-registered)
module Choice : sig ... end
module Absurd : sig ... end
module Contrapose : sig ... end