| 2447 | } |
| 2448 | |
| 2449 | void SMTEncoder::resetStorageVariables() |
| 2450 | { |
| 2451 | m_context.resetVariables([&](VariableDeclaration const& _variable) { |
| 2452 | return _variable.referenceLocation() == VariableDeclaration::Location::Storage || _variable.isStateVariable(); |
| 2453 | }); |
| 2454 | } |
| 2455 | |
| 2456 | void SMTEncoder::resetBalances() |
| 2457 | { |
nothing calls this directly
no test coverage detected