| 190 | } |
| 191 | |
| 192 | void CHCSmtLib2Interface::createHeader() |
| 193 | { |
| 194 | if (m_queryTimeout) |
| 195 | m_commands.setOption("timeout", std::to_string(*m_queryTimeout)); |
| 196 | m_commands.setLogic("HORN"); |
| 197 | } |
| 198 | |
| 199 | std::string CHCSmtLib2Interface::createQueryAssertion(std::string _name) { |
| 200 | return "(assert\n(forall ((UNUSED Bool))\n(=> " + std::move(_name) + " false)))"; |