ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
loop_numbers.h
Go to the documentation of this file.
1#ifndef CPROVER_CBMC_LOOP_IDS_H
2#define CPROVER_CBMC_LOOP_IDS_H
3
4#include <goto-programs/goto_functions.h>
5#include <string>
6
7void show_loop_numbers(const goto_functionst &goto_functions);
8
9void show_loop_numbers(
10 const goto_programt &goto_program,
11 const std::string &function_name);
12
13#endif
goto_functionst
Definition goto_functions.h:56
goto_programt
A generic container class for a control flow graph for one function, in the form of a goto-program.
Definition goto_program.h:63
goto_functions.h
show_loop_numbers
void show_loop_numbers(const goto_functionst &goto_functions)
Definition loop_numbers.cpp:33