C++ (Cpp) random_tests4 Beispiele

Beispiel #1

/*
 * Tests
 */
static void all_udiv_tests(void) {
  printf("\n"
	 "******************\n"
	 "*  BVUDIV TESTS  *\n"
	 "******************\n\n");

  init();
  truth_table_test4(test_udiv_const);
  base_test4(test_udiv);
  random_tests4(100, test_udiv);
  cleanup();
}

Beispiel #2

static void all_smod_tests(void) {
  printf("\n"
	 "******************\n"
	 "*  BVSMOD TESTS  *\n"
	 "******************\n\n");

  init();
  truth_table_test4(test_smod_const);
  base_test4(test_smod);
  random_tests4(100, test_smod);
  cleanup();
}

Beispiel #3

/*
 * Tests
 */
static void all_bvneg_tests(void) {
  printf("\n"
	 "*****************\n"
	 "*  BVNEG TESTS  *\n"
	 "*****************\n\n");

  init();
  truth_table_test4(test_bvneg_const);
  base_test4(test_bvneg);
  random_tests4(100, test_bvneg);
  cleanup();
}