| 1693 | } |
| 1694 | |
| 1695 | Predicate const* CHC::createConstructorBlock(ContractDefinition const& _contract, std::string const& _prefix) |
| 1696 | { |
| 1697 | return createSymbolicBlock( |
| 1698 | constructorSort(_contract, state()), |
| 1699 | _prefix + "_" + uniquePrefix() + "_" + contractSuffix(_contract), |
| 1700 | PredicateType::ConstructorSummary, |
| 1701 | &_contract, |
| 1702 | &_contract |
| 1703 | ); |
| 1704 | } |
| 1705 | |
| 1706 | void CHC::createErrorBlock() |
| 1707 | { |
nothing calls this directly
no test coverage detected