Transformations.Ternary
Since Frama-c's parser already removes ternary expressions, this isn't used. Removes Ast.Expr.E_IfThenElse
constructs by making the control flow jumps explicit.
Its command line id is T
.
type relation_in = Ast.Program.relation
type relation_out = Ast.Program.relation
module Domain
(S : Sig.Classical_Domain with type relation = relation_out) :
Sig.Classical_Domain
with module State = S.State
and module StateSet = S.StateSet
and type relation = relation_in
The actual transformation functor