Frama_c_kernel.Unfold_loops
Syntactic loop unfolding. Uses code transformation hook mechanism (after-cleanup phase) of File and exports nothing.
File
Name of the transformation is "loop unfolding"
val transform : File.code_transformation_category