26 #include "atf-c/detail/sanity.h"
41 #include <atf-c.h>
43 #include "atf-c/detail/dynstr.h"
44 #include "atf-c/detail/process.h"
45 #include "atf-c/detail/test_helpers.h"
47 /* ---------------------------------------------------------------------
49  * --------------------------------------------------------------------- */
51 enum type { inv, pre, post, unreachable };  enumerator
66     switch (td->m_type) {  in do_test_child()
68         INV(td->m_cond);  in do_test_child()
72         PRE(td->m_cond);  in do_test_child()
75     case post:  in do_test_child()
76         POST(td->m_cond);  in do_test_child()
80         if (!td->m_cond)  in do_test_child()
134         case post:  in do_test()
148         nlines--;  in do_test()
158     atf_tc_skip("Sanity checks not available; code built with -DNDEBUG");  in require_ndebug()
162 /* ---------------------------------------------------------------------
164  * --------------------------------------------------------------------- */
192 ATF_TC(post);
193 ATF_TC_HEAD(post, tc)  in ATF_TC_HEAD()  argument
195     atf_tc_set_md_var(tc, "descr", "Tests the POST macro");  in ATF_TC_HEAD()
197 ATF_TC_BODY(post, tc)  in ATF_TC_BODY()  argument
201     do_test(post, false);  in ATF_TC_BODY()
202     do_test(post, true);  in ATF_TC_BODY()
218 /* ---------------------------------------------------------------------
220  * --------------------------------------------------------------------- */
226     ATF_TP_ADD_TC(tp, post);  in ATF_TP_ADD_TCS()