Lines Matching refs:prog_validate
86 ATF_CHECK(!prog_validate(&dummy, 0)); in ATF_TC_BODY()
114 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
145 ATF_CHECK(!prog_validate(insns, insn_count)); in ATF_TC_BODY()
172 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
197 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
222 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
271 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
296 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
321 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
346 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
371 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
396 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
421 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
470 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
495 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
520 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
545 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
570 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
595 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
620 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
645 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
670 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
695 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
720 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
745 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
770 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
795 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
853 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
890 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
916 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
942 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
967 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
993 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
1019 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
1045 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
1071 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
1097 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
1123 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
1149 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
1174 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
1200 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
1226 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
1252 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
1278 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
1304 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
1330 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
1356 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
1382 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
1408 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
1434 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
1460 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
1486 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
1512 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
1538 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
1605 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
1641 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
1669 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
1695 ATF_CHECK(!prog_validate(insns, insn_count)); in ATF_TC_BODY()
1725 ATF_CHECK(!prog_validate(insns, insn_count)); in ATF_TC_BODY()
1769 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
1826 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
1883 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
1940 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
2007 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
2054 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
2118 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
2181 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
2244 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
2287 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
2324 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
2361 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
2431 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
2473 ATF_CHECK(prog_validate(insns[i], insn_count)); in ATF_TC_BODY()
2578 ATF_CHECK(prog_validate(insns[i], insn_count)); in ATF_TC_BODY()
2643 ATF_CHECK(prog_validate(insns[i], insn_count)); in ATF_TC_BODY()
2749 ATF_CHECK(prog_validate(insns[i], insn_count)); in ATF_TC_BODY()
2779 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
2822 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
2861 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
2896 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
2921 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
2948 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
2975 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
3016 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
3052 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
3078 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
3103 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
3132 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
3170 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
3205 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
3251 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
3312 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
3352 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
3391 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
3432 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
3493 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
3553 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
3616 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
3679 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
3743 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
3807 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
3872 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
3937 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
3985 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
4032 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
4064 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
4155 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
4263 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
4408 ATF_CHECK(prog_validate(insns, insn_count)); in ATF_TC_BODY()
4532 ATF_CHECK(!prog_validate(insns, insn_count)); in ATF_TC_BODY()
4559 ATF_CHECK(!prog_validate(insns, insn_count)); in ATF_TC_BODY()