Home | History | Annotate | Download | only in detail

Lines Matching defs:pre

54 enum type { inv, pre, post, unreachable };
74     case pre:
75         PRE(td->m_cond);
133         case pre:
182 ATF_TC(pre);
183 ATF_TC_HEAD(pre, tc)
185     atf_tc_set_md_var(tc, "descr", "Tests the PRE macro");
187 ATF_TC_BODY(pre, tc)
191     do_test(pre, false);
192     do_test(pre, true);
228     ATF_TP_ADD_TC(tp, pre);