Module Goblint_lib.AutoTune0Source

Sourceval isActivated : string -> bool
Sourcetype 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;
}
Sourceval printFactors : complexityFactors -> unit
Sourceval collectFactors : (collectComplexityFactorsVisitor -> 'a -> 'b) -> 'a -> complexityFactors
Sourceval is_large_array : GoblintCil.typ -> bool