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 " \ 39 #endif // CPROVER_GOTO_INSTRUMENT_COUNT_ELOC_H void print_global_state_size(const goto_modelt &)
void list_eloc(const goto_modelt &)
void count_eloc(const goto_modelt &)
void print_path_lengths(const goto_modelt &)