| 54 | } |
| 55 | |
| 56 | SortPointer constructorSort(ContractDefinition const& _contract, SymbolicState& _state) |
| 57 | { |
| 58 | if (auto const* constructor = _contract.constructor()) |
| 59 | return functionSort(*constructor, &_contract, _state); |
| 60 | |
| 61 | auto varSorts = stateSorts(_contract); |
| 62 | std::vector<SortPointer> stateSort{_state.stateSort()}; |
| 63 | return std::make_shared<FunctionSort>( |
| 64 | std::vector<SortPointer>{_state.errorFlagSort(), _state.thisAddressSort()} + |
| 65 | getBuiltInFunctionsSorts(_state) + |
| 66 | std::vector<SortPointer>{_state.txSort(), _state.stateSort(), _state.stateSort()} + |
| 67 | varSorts + varSorts, |
| 68 | SortProvider::boolSort |
| 69 | ); |
| 70 | } |
| 71 | |
| 72 | SortPointer functionSort(FunctionDefinition const& _function, ContractDefinition const* _contract, SymbolicState& _state) |
| 73 | { |
no test coverage detected