WCOREDUMP
if (WCOREDUMP(w))
if (WCOREDUMP(p->status))
if (WCOREDUMP(ps->status)) {
#ifndef WCOREDUMP
if (WCOREDUMP(cstat))
WCOREDUMP(status) ? " (core dumped)" : "");
ATF_REQUIRE_EQ(!!WCOREDUMP(status), expect_core);
ATF_REQUIRE_EQ(!!WCOREDUMP(status), 0);
ATF_REQUIRE_EQ_MSG(!!WCOREDUMP(status), expected_core,
FORKEE_ASSERT_EQ(!!WCOREDUMP(status), expected_core);
&& WCOREDUMP(st));
if (WCOREDUMP(wait_status))