Searched defs:hardFailure (Results 1 – 3 of 3) sorted by relevance
536 hardFailure _ = False function540 | hardFailure err = return $ HellNo err function
2173 void TheoryEngine::checkTheoryAssertionsWithModel(bool hardFailure) { in checkTheoryAssertionsWithModel()
4536 void SmtEngine::checkModel(bool hardFailure) { in checkModel()