CBMC
Loading...
Searching...
No Matches
instrument_given_invariants.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Instrument Given Invariants
4
5Author: Daniel Kroening, dkr@amazon.com
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_CPROVER_INSTRUMENT_GIVEN_INVARIANTS_H
13#define CPROVER_CPROVER_INSTRUMENT_GIVEN_INVARIANTS_H
14
15class goto_modelt;
16
18
19#endif // CPROVER_CPOVER_INSTRUMENT_GIVEN_INVARIANTS_H
void instrument_given_invariants(goto_modelt &)