CBMC
Loading...
Searching...
No Matches
branch.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Branch Instrumentation
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_GOTO_INSTRUMENT_BRANCH_H
13#define CPROVER_GOTO_INSTRUMENT_BRANCH_H
14
15#include <util/irep.h>
16
17class goto_modelt;
18
19void branch(
20 goto_modelt &,
21 const irep_idt &id);
22
23#endif // CPROVER_GOTO_INSTRUMENT_BRANCH_H
branch
void branch(goto_modelt &, const irep_idt &id)
Definition branch.cpp:21
dstringt
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition dstring.h:38
goto_modelt
Definition goto_model.h:27