Searched defs:KleeError (Results 1 – 2 of 2) sorted by relevance
| /dports/science/axom/axom-0.6.1/src/axom/klee/ | ||
| H A D | KleeError.cpp | 14 KleeError::KleeError(const inlet::VerificationError &error) : m_errors {{error}} in KleeError() function in axom::klee::KleeError |
| H A D | KleeError.hpp | 21 class KleeError : public std::exception class |