count_eloc.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Count effective lines of code
 
Author: Michael Tautschnig
 
Date: December 2012
 
\*******************************************************************/
 
 
#ifndef CPROVER_GOTO_INSTRUMENT_COUNT_ELOC_H
#define CPROVER_GOTO_INSTRUMENT_COUNT_ELOC_H
 
class goto_modelt;
 
void count_eloc(const goto_modelt &);
void list_eloc(const goto_modelt &);
void print_path_lengths(const goto_modelt &);
void print_global_state_size(const goto_modelt &);
 
#define OPT_GOTO_PROGRAM_STATS                                                 \
  "(count-eloc)"                                                               \
  "(list-eloc)"                                                                \
  "(print-global-state-size)"                                                  \
  "(print-path-lengths)"
 
#define HELP_GOTO_PROGRAM_STATS                                                \
  " {y--count-eloc} \t count effective lines of code\n"                        \
  " {y--list-eloc} \t list full path names of lines containing code\n"         \
  " {y--print-global-state-size} \t "                                          \
  "count the total number of bits of global objects\n"                         \
  " {y--print-path-lengths} \t "                                               \
  "print statistics about control-flow graph paths\n"
 
#endif // CPROVER_GOTO_INSTRUMENT_COUNT_ELOC_H