| 199 | } |
| 200 | |
| 201 | void EncodingContext::pushSolver() |
| 202 | { |
| 203 | if (m_accumulateAssertions) |
| 204 | m_assertions.push_back(assertions()); |
| 205 | else |
| 206 | m_assertions.emplace_back(true); |
| 207 | } |
| 208 | |
| 209 | void EncodingContext::popSolver() |
| 210 | { |
no outgoing calls
no test coverage detected