Lines Matching refs:ATF_REQUIRE
115 ATF_REQUIRE(nlines == 0 || nlines == 3);
119 ATF_REQUIRE(atf_process_status_signaled(&status));
120 ATF_REQUIRE(atf_process_status_termsig(&status) == SIGABRT);
122 ATF_REQUIRE(atf_process_status_exited(&status));
123 ATF_REQUIRE(atf_process_status_exitstatus(&status) == EXIT_SUCCESS);
130 ATF_REQUIRE(atf_utils_grep_string("Invariant", lines[0]));
134 ATF_REQUIRE(atf_utils_grep_string("Precondition", lines[0]));
138 ATF_REQUIRE(atf_utils_grep_string("Postcondition", lines[0]));
142 ATF_REQUIRE(atf_utils_grep_string("Invariant", lines[0]));
146 ATF_REQUIRE(atf_utils_grep_string(__FILE__, lines[0]));
147 ATF_REQUIRE(atf_utils_grep_string(PACKAGE_BUGREPORT, lines[2]));