CBMC
|
Specialisation of dfcc_contract_handlert for contracts. More...
Go to the source code of this file.
Classes | |
class | dfcc_contract_handlert |
A contract is represented by a function declaration or definition with contract clauses attached to its signature: More... | |
Specialisation of dfcc_contract_handlert for contracts.
Definition in file dfcc_contract_handler.h.