14 #ifndef CPROVER_GOTO_INSTRUMENT_COUNT_ELOC_H 15 #define CPROVER_GOTO_INSTRUMENT_COUNT_ELOC_H 25 #endif // CPROVER_GOTO_INSTRUMENT_COUNT_ELOC_H void count_eloc(const goto_functionst &goto_functions)
Goto Programs with Functions.
void print_path_lengths(const goto_functionst &goto_functions)
void list_eloc(const goto_functionst &goto_functions)