Module IECCheckerAnalysis.Cyclomatic_complexity

Routines to evaluate cyclomatic complexity for intraprocedural control flow graph.

val eval_mccabe : IECCheckerCore.Cfg.t -> int

eval_mccabe cfg Evaluate McCabe cyclomatic complexity for cfg.