Home
last modified time | relevance | path

Searched refs:verify_failed (Results 1 – 1 of 1) sorted by relevance

/netbsd/src/external/bsd/kyua-cli/dist/utils/
Dsanity_test.cpp87 verify_failed(const process::status& status, const char* type, in verify_failed() function
135 verify_failed(status, "Invariant check failed", "Expression", true); in ATF_TEST_CASE_BODY()
143 verify_failed(status, "Invariant check failed", "Custom", true); in ATF_TEST_CASE_BODY()
173 verify_failed(status, "Precondition check failed", "Expression", true); in ATF_TEST_CASE_BODY()
181 verify_failed(status, "Precondition check failed", "Custom", true); in ATF_TEST_CASE_BODY()
211 verify_failed(status, "Postcondition check failed", "Expression", true); in ATF_TEST_CASE_BODY()
219 verify_failed(status, "Postcondition check failed", "Custom", true); in ATF_TEST_CASE_BODY()
241 verify_failed(status, "Unreachable point reached", NULL, false); in ATF_TEST_CASE_BODY()
249 verify_failed(status, "Unreachable point reached", "Custom", false); in ATF_TEST_CASE_BODY()