cprover
|
Count effective lines of code. More...
Go to the source code of this file.
Macros | |
#define | OPT_GOTO_PROGRAM_STATS |
#define | HELP_GOTO_PROGRAM_STATS |
Functions | |
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 &) |
Count effective lines of code.
Definition in file count_eloc.h.
#define HELP_GOTO_PROGRAM_STATS |
Definition at line 30 of file count_eloc.h.
Referenced by goto_instrument_parse_optionst::help().
#define OPT_GOTO_PROGRAM_STATS |
Definition at line 24 of file count_eloc.h.
void count_eloc | ( | const goto_modelt & | ) |
Definition at line 50 of file count_eloc.cpp.
References collect_eloc().
Referenced by goto_instrument_parse_optionst::doit().
void list_eloc | ( | const goto_modelt & | ) |
Definition at line 64 of file count_eloc.cpp.
References collect_eloc(), concat_dir_file(), and id2string().
Referenced by goto_instrument_parse_optionst::doit().
void print_global_state_size | ( | const goto_modelt & | ) |
Definition at line 149 of file count_eloc.cpp.
References object_descriptor_exprt::build(), CPROVER_PREFIX, goto_functionst::function_map, irept::get_bool(), symbol_exprt::get_identifier(), goto_modelt::goto_functions, has_prefix(), irept::id(), id2string(), INITIALIZE_FUNCTION, symbolt::is_macro, symbolt::is_type, code_assignt::lhs(), symbolt::name, pointer_offset_bits(), object_descriptor_exprt::root_object(), goto_modelt::symbol_table, symbol_table_baset::symbols, to_code_assign(), to_symbol_expr(), and symbolt::type.
Referenced by goto_instrument_parse_optionst::doit().
void print_path_lengths | ( | const goto_modelt & | ) |
Definition at line 81 of file count_eloc.cpp.
References goto_functionst::entry_point(), forall_goto_functions, forall_goto_program_instructions, goto_functionst::function_map, goto_modelt::goto_functions, and goto_programt::instructions.
Referenced by goto_instrument_parse_optionst::doit().