| 138 | } |
| 139 | |
| 140 | std::vector<smtutil::Expression> newStateVariables(ContractDefinition const& _contract, EncodingContext& _context) |
| 141 | { |
| 142 | return applyMap( |
| 143 | SMTEncoder::stateVariablesIncludingInheritedAndPrivate(_contract), |
| 144 | [&](auto _var) { return _context.variable(*_var)->increaseIndex(); } |
| 145 | ); |
| 146 | } |
| 147 | |
| 148 | std::vector<smtutil::Expression> currentFunctionVariablesForDefinition( |
| 149 | FunctionDefinition const& _function, |
no test coverage detected