cprover
code_contracts.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Verify and use annotated invariants and pre/post-conditions
4
5
Author: Michael Tautschnig
6
7
Date: February 2016
8
9
\*******************************************************************/
10
13
14
#ifndef CPROVER_GOTO_INSTRUMENT_CODE_CONTRACTS_H
15
#define CPROVER_GOTO_INSTRUMENT_CODE_CONTRACTS_H
16
17
class
goto_modelt
;
18
19
void
code_contracts
(
goto_modelt
&);
20
21
#endif // CPROVER_GOTO_INSTRUMENT_CODE_CONTRACTS_H
goto_modelt
Definition:
goto_model.h:24
code_contracts
void code_contracts(goto_modelt &)
Definition:
code_contracts.cpp:412
goto-instrument
code_contracts.h
Generated by
1.8.17