Пример #1
0
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");
}
Пример #2
0
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);
}
Пример #4
0
int main(int argc, const char *argv[])
{
	if (argc > 1)
		test_fun(argc, argv);
	else
		printf("./mytest path_list \n");
	return 0;
}
Пример #5
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);
}
Пример #6
0
int main() {
    return test_fun(__VERIFIER_nondet_int(), __VERIFIER_nondet_int());
}
int main()
{
    test_fun();
    return 0;
}
Пример #8
0
void main(){
	test_fun();
}