14 #ifndef CPROVER_GOTO_INSTRUMENT_COUNT_ELOC_H
15 #define CPROVER_GOTO_INSTRUMENT_COUNT_ELOC_H
24 #define OPT_GOTO_PROGRAM_STATS \
27 "(print-global-state-size)" \
28 "(print-path-lengths)"
30 #define HELP_GOTO_PROGRAM_STATS \
31 " --count-eloc count effective lines of code\n" \
32 " --list-eloc list full path names of lines " \
34 " --print-global-state-size count the total number of bits of global " \
36 " --print-path-lengths print statistics about control-flow graph " \
void print_path_lengths(const goto_modelt &)
void count_eloc(const goto_modelt &)
void print_global_state_size(const goto_modelt &)
void list_eloc(const goto_modelt &)