| 105 | } |
| 106 | |
| 107 | smtutil::Expression functionBlock( |
| 108 | Predicate const& _pred, |
| 109 | FunctionDefinition const& _function, |
| 110 | ContractDefinition const* _contract, |
| 111 | EncodingContext& _context |
| 112 | ) |
| 113 | { |
| 114 | return _pred(currentBlockVariables(_function, _contract, _context)); |
| 115 | } |
| 116 | |
| 117 | /// Helpers |
| 118 |
no test coverage detected