package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
val isActivated : string -> bool
type complexityFactors = {
  1. mutable functions : int;
  2. mutable functionCalls : int;
  3. mutable loops : int;
  4. mutable loopBreaks : int;
  5. mutable controlFlowStatements : int;
  6. mutable expressions : int;
  7. mutable instructions : int;
  8. mutable integralVars : int * int;
  9. mutable arrayVars : int * int;
  10. mutable pointerVars : int * int;
}
val printFactors : complexityFactors -> unit
val collectFactors : (collectComplexityFactorsVisitor -> 'a -> 'b) -> 'c -> complexityFactors
val is_large_array : GoblintCil.typ -> bool