| 2435 | } |
| 2436 | |
| 2437 | void SMTEncoder::resetStateVariables() |
| 2438 | { |
| 2439 | m_context.resetVariables([&](VariableDeclaration const& _variable) { return _variable.isStateVariable(); }); |
| 2440 | } |
| 2441 | |
| 2442 | void SMTEncoder::resetMemoryVariables() |
| 2443 | { |
nothing calls this directly
no test coverage detected