Lines Matching full:status
44 #include "utils/process/status.hpp"
66 static process::status
71 const process::status status = process::child::fork_files( in run_test() local
75 return status; in run_test()
80 verify_success(const process::status& status) in verify_success() argument
82 ATF_REQUIRE(status.exited()); in verify_success()
83 ATF_REQUIRE_EQ(EXIT_SUCCESS, status.exitstatus()); in verify_success()
90 verify_failed(const process::status& status, const char* type, in verify_failed() argument
95 verify_success(status); in verify_failed()
97 ATF_REQUIRE(status.signaled()); in verify_failed()
98 ATF_REQUIRE_EQ(SIGABRT, status.termsig()); in verify_failed()
129 const process::status status = run_test(do_inv_test< true, false >); in ATF_TEST_CASE_BODY() local
130 verify_success(status); in ATF_TEST_CASE_BODY()
137 const process::status status = run_test(do_inv_test< false, false >); in ATF_TEST_CASE_BODY() local
138 verify_failed(status, "Invariant check failed", "Expression", true); in ATF_TEST_CASE_BODY()
145 const process::status status = run_test(do_inv_test< false, true >); in ATF_TEST_CASE_BODY() local
146 verify_failed(status, "Invariant check failed", "Custom", true); in ATF_TEST_CASE_BODY()
167 const process::status status = run_test(do_pre_test< true, false >); in ATF_TEST_CASE_BODY() local
168 verify_success(status); in ATF_TEST_CASE_BODY()
175 const process::status status = run_test(do_pre_test< false, false >); in ATF_TEST_CASE_BODY() local
176 verify_failed(status, "Precondition check failed", "Expression", true); in ATF_TEST_CASE_BODY()
183 const process::status status = run_test(do_pre_test< false, true >); in ATF_TEST_CASE_BODY() local
184 verify_failed(status, "Precondition check failed", "Custom", true); in ATF_TEST_CASE_BODY()
205 const process::status status = run_test(do_post_test< true, false >); in ATF_TEST_CASE_BODY() local
206 verify_success(status); in ATF_TEST_CASE_BODY()
213 const process::status status = run_test(do_post_test< false, false >); in ATF_TEST_CASE_BODY() local
214 verify_failed(status, "Postcondition check failed", "Expression", true); in ATF_TEST_CASE_BODY()
221 const process::status status = run_test(do_post_test< false, true >); in ATF_TEST_CASE_BODY() local
222 verify_failed(status, "Postcondition check failed", "Custom", true); in ATF_TEST_CASE_BODY()
243 const process::status status = run_test(do_unreachable_test< false >); in ATF_TEST_CASE_BODY() local
244 verify_failed(status, "Unreachable point reached", NULL, false); in ATF_TEST_CASE_BODY()
251 const process::status status = run_test(do_unreachable_test< true >); in ATF_TEST_CASE_BODY() local
252 verify_failed(status, "Unreachable point reached", "Custom", false); in ATF_TEST_CASE_BODY()
273 const process::status status = run_test(do_crash_handler_test< Signo >); in crash_handler_test() local
274 ATF_REQUIRE(status.signaled()); in crash_handler_test()
275 ATF_REQUIRE_EQ(Signo, status.termsig()); in crash_handler_test()