Module Frama_c_kernel.Unroll_loops

Syntactic loop unrolling. Uses code transformation hook mechanism (after-cleanup phase) of File and exports nothing.

Name of the transformation is "loop unrolling"

val unroll_transform : File.code_transformation_category