cprover
Loading...
Searching...
No Matches
count_eloc.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Count effective lines of code
4
5Author: Michael Tautschnig
6
7Date: December 2012
8
9\*******************************************************************/
10
13
14#ifndef CPROVER_GOTO_INSTRUMENT_COUNT_ELOC_H
15#define CPROVER_GOTO_INSTRUMENT_COUNT_ELOC_H
16
17class goto_modelt;
18
19void count_eloc(const goto_modelt &);
20void list_eloc(const goto_modelt &);
23
24#define OPT_GOTO_PROGRAM_STATS \
25 "(count-eloc)" \
26 "(list-eloc)" \
27 "(print-global-state-size)" \
28 "(print-path-lengths)"
29
30#define HELP_GOTO_PROGRAM_STATS \
31 " --count-eloc count effective lines of code\n" \
32 " --list-eloc list full path names of lines " \
33 "containing code\n" \
34 " --print-global-state-size count the total number of bits of global " \
35 "objects\n" \
36 " --print-path-lengths print statistics about control-flow graph " \
37 "paths\n"
38
39#endif // CPROVER_GOTO_INSTRUMENT_COUNT_ELOC_H
void print_path_lengths(const goto_modelt &)
Definition: count_eloc.cpp:85
void count_eloc(const goto_modelt &)
Definition: count_eloc.cpp:54
void print_global_state_size(const goto_modelt &)
Definition: count_eloc.cpp:158
void list_eloc(const goto_modelt &)
Definition: count_eloc.cpp:68