Home
last modified time | relevance | path

Searched defs:hardFailure (Results 1 – 3 of 3) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/
H A DInstanceArguments.hs536 hardFailure _ = False function
540 | hardFailure err = return $ HellNo err function
/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dtheory_engine.cpp2173 void TheoryEngine::checkTheoryAssertionsWithModel(bool hardFailure) { in checkTheoryAssertionsWithModel()
/dports/math/cvc4/CVC4-1.7/src/smt/
H A Dsmt_engine.cpp4536 void SmtEngine::checkModel(bool hardFailure) { in checkModel()