cprover
count_eloc.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Count effective lines of code
4 
5 Author: Michael Tautschnig
6 
7 Date: December 2012
8 
9 \*******************************************************************/
10 
13 
14 #ifndef CPROVER_GOTO_INSTRUMENT_COUNT_ELOC_H
15 #define CPROVER_GOTO_INSTRUMENT_COUNT_ELOC_H
16 
18 
19 void count_eloc(const goto_functionst &goto_functions);
20 
21 void list_eloc(const goto_functionst &goto_functions);
22 
23 void print_path_lengths(const goto_functionst &goto_functions);
24 
25 #endif // CPROVER_GOTO_INSTRUMENT_COUNT_ELOC_H
void count_eloc(const goto_functionst &goto_functions)
Definition: count_eloc.cpp:46
Goto Programs with Functions.
void print_path_lengths(const goto_functionst &goto_functions)
Definition: count_eloc.cpp:77
void list_eloc(const goto_functionst &goto_functions)
Definition: count_eloc.cpp:60