Searched refs:verify_failed (Results 1 – 1 of 1) sorted by relevance
| /src/contrib/kyua/utils/ |
| H A D | sanity_test.cpp | 90 verify_failed(const process::status& status, const char* type, in verify_failed() function
138 verify_failed(status, "Invariant check failed", "Expression", true); in ATF_TEST_CASE_BODY()
146 verify_failed(status, "Invariant check failed", "Custom", true); in ATF_TEST_CASE_BODY()
176 verify_failed(status, "Precondition check failed", "Expression", true); in ATF_TEST_CASE_BODY()
184 verify_failed(status, "Precondition check failed", "Custom", true); in ATF_TEST_CASE_BODY()
214 verify_failed(status, "Postcondition check failed", "Expression", true); in ATF_TEST_CASE_BODY()
222 verify_failed(status, "Postcondition check failed", "Custom", true); in ATF_TEST_CASE_BODY()
244 verify_failed(status, "Unreachable point reached", NULL, false); in ATF_TEST_CASE_BODY()
252 verify_failed(status, "Unreachable point reached", "Custom", false); in ATF_TEST_CASE_BODY()
|