| 156 | } |
| 157 | |
| 158 | void SMTCheckerTest::setupCompiler(CompilerStack& _compiler) |
| 159 | { |
| 160 | SyntaxTest::setupCompiler(_compiler); |
| 161 | |
| 162 | _compiler.setModelCheckerSettings(m_modelCheckerSettings); |
| 163 | } |
| 164 | |
| 165 | void SMTCheckerTest::filterObtainedErrors() |
| 166 | { |
nothing calls this directly
no test coverage detected