C++ (Cpp) test_fun Examples

Example #1

File: benchmark.c Project: alnsn/bpfjit

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");
}

Example #2

File: sample.c Project: rosedu/rtt

int main(void)
{
	test_fun(TEST_NUM);
	test_max(MAX(5, 10));

	return 0;
}

Example #3

File: array01-alloca_true-termination.c Project: Heizmann/sv-benchmarks

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);
}

Example #4

File: glob.c Project: qianguozheng/datastructure

int main(int argc, const char *argv[])
{
	if (argc > 1)
		test_fun(argc, argv);
	else
		printf("./mytest path_list \n");
	return 0;
}

Example #5

File: benchmark.c Project: alnsn/bpfjit

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);
}

Example #6

File: b.10_true-termination.c Project: ultimate-pa/ultimate

int main() {
    return test_fun(__VERIFIER_nondet_int(), __VERIFIER_nondet_int());
}

Example #7

File: valgrind_uninitialised_bytes.c Project: poseidon1214/proxy

int main()
{
    test_fun();
    return 0;
}

Example #8

File: helloWorld.c Project: minhajuddin/playground

void main(){
	test_fun();
}