cprover
count_eloc.h File Reference

Count effective lines of code. More...

Include dependency graph for count_eloc.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

void count_eloc (const goto_functionst &goto_functions)
 
void list_eloc (const goto_functionst &goto_functions)
 
void print_path_lengths (const goto_functionst &goto_functions)
 

Detailed Description

Count effective lines of code.

Definition in file count_eloc.h.

Function Documentation

◆ count_eloc()

void count_eloc ( const goto_functionst goto_functions)

Definition at line 46 of file count_eloc.cpp.

References collect_eloc().

Referenced by goto_instrument_parse_optionst::doit().

◆ list_eloc()

void list_eloc ( const goto_functionst goto_functions)

Definition at line 60 of file count_eloc.cpp.

References collect_eloc(), concat_dir_file(), and id2string().

Referenced by goto_instrument_parse_optionst::doit().

◆ print_path_lengths()