Frama-C API - Auto_loop_unroll
Heuristic for automatic loop unrolling.
module Make (Abstract : Engine_abstractions_sig.S) : sig ... end
Frama-C Frama-C Auto_loop_unrollHeuristic for automatic loop unrolling.
module Make (Abstract : Engine_abstractions_sig.S) : sig ... end