Lines Matching refs:validate
212 #define validate(v) _validate(__LINE__, v, #v) macro
274 validate(get_cs_cookie(0) == 0); in main()
281 validate(get_cs_cookie(0) != 0); in main()
287 validate(get_cs_cookie(0) == get_cs_cookie(pid)); in main()
288 validate(get_cs_cookie(0) == get_cs_cookie(procs[pidx].thr_tids[0])); in main()
295 validate(get_cs_cookie(0) != get_cs_cookie(pid)); in main()
296 validate(get_cs_cookie(pid) != 0); in main()
297 validate(get_cs_cookie(pid) == get_cs_cookie(procs[pidx].thr_tids[0])); in main()
305 validate(get_cs_cookie(0) == get_cs_cookie(pid)); in main()
306 validate(get_cs_cookie(pid) != 0); in main()
307 validate(get_cs_cookie(pid) != get_cs_cookie(procs[pidx].thr_tids[0])); in main()
316 validate(get_cs_cookie(0) == get_cs_cookie(procs[pidx].thr_tids[0])); in main()
317 validate(get_cs_cookie(pid) != get_cs_cookie(procs[pidx].thr_tids[0])); in main()
324 validate(get_cs_cookie(0) == get_cs_cookie(pid)); in main()
325 validate(get_cs_cookie(pid) != 0); in main()
326 validate(get_cs_cookie(pid) == get_cs_cookie(procs[pidx].thr_tids[0])); in main()