package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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