| 95 | } |
| 96 | |
| 97 | smtutil::Expression functionCall( |
| 98 | Predicate const& _pred, |
| 99 | ContractDefinition const* _contract, |
| 100 | EncodingContext& _context |
| 101 | ) |
| 102 | { |
| 103 | auto const& function = dynamic_cast<FunctionDefinition const&>(*_pred.programNode()); |
| 104 | return _pred(currentFunctionVariablesForCall(function, _contract, _context)); |
| 105 | } |
| 106 | |
| 107 | smtutil::Expression functionBlock( |
| 108 | Predicate const& _pred, |
no test coverage detected