Lines Matching refs:PRE
53 PRE(err != NULL);
64 PRE(data != NULL || datalen == 0);
65 PRE(datalen != 0 || data == NULL);
95 PRE(!error_on_flight);
96 PRE(data != NULL || datalen == 0);
97 PRE(datalen != 0 || data == NULL);
122 PRE(error_on_flight);
123 PRE(err != NULL);
151 PRE(err != NULL);
159 PRE(err != NULL);
167 PRE(err != NULL);
191 PRE(atf_error_is(err, "libc"));
219 PRE(atf_error_is(err, "libc"));
231 PRE(atf_error_is(err, "libc"));
248 PRE(atf_error_is(err, "no_memory"));
256 PRE(!error_on_flight);