static void
test_c(size_t counter, const uint8_t *pkt,
unsigned int pktsize, size_t dummy)
{
test_fun(&filter_pkt, pkt, pktsize, counter, dummy, "C code");
}
int main(void)
{
test_fun(TEST_NUM);
test_max(MAX(5, 10));
return 0;
}
int main() {
int array_size = __VERIFIER_nondet_int();
if (array_size < 1) {
array_size = 1;
}
int* numbers = (int*) alloca(array_size * sizeof(int));
test_fun(numbers, array_size);
}
int main(int argc, const char *argv[])
{
if (argc > 1)
test_fun(argc, argv);
else
printf("./mytest path_list \n");
return 0;
}
static void
test_bpfjit(size_t counter, const uint8_t *pkt,
unsigned int pktsize, size_t dummy)
{
bpfjit_func_t code;
code = bpfjit_generate_code(&ctx, insns,
sizeof(insns) / sizeof(insns[0]));
test_fun(code, pkt, pktsize, counter, dummy, "bpfjit code");
bpfjit_free_code(code);
}
int main() {
return test_fun(__VERIFIER_nondet_int(), __VERIFIER_nondet_int());
}
int main()
{
test_fun();
return 0;
}
void main(){
test_fun();
}