Previous
Up
Next
Module
Prepare_ast
module
Prepare_ast:
sig
..
end
Prepare AST for E-ACSL generation. So for this mudule performs the only task:
Move declarations of variables declared in the bodies of switch statements to upper scopes.
val
prepare
:
unit -> Project.t