Lines Matching refs:PRE
57 PRE(err != NULL);
68 PRE(data != NULL || datalen == 0);
69 PRE(datalen != 0 || data == NULL);
99 PRE(!error_on_flight);
100 PRE(data != NULL || datalen == 0);
101 PRE(datalen != 0 || data == NULL);
126 PRE(error_on_flight);
127 PRE(err != NULL);
155 PRE(err != NULL);
163 PRE(err != NULL);
171 PRE(err != NULL);
195 PRE(atf_error_is(err, "libc"));
223 PRE(atf_error_is(err, "libc"));
235 PRE(atf_error_is(err, "libc"));
252 PRE(atf_error_is(err, "no_memory"));
260 PRE(!error_on_flight);