/*******************************************************************\

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

#include <goto-programs/goto_functions.h>

void count_eloc(const goto_functionst &goto_functions);

void list_eloc(const goto_functionst &goto_functions);

#endif
