| 2440 | } |
| 2441 | |
| 2442 | void SMTEncoder::resetMemoryVariables() |
| 2443 | { |
| 2444 | m_context.resetVariables([&](VariableDeclaration const& _variable) { |
| 2445 | return _variable.referenceLocation() == VariableDeclaration::Location::Memory; |
| 2446 | }); |
| 2447 | } |
| 2448 | |
| 2449 | void SMTEncoder::resetStorageVariables() |
| 2450 | { |
nothing calls this directly
no test coverage detected