Ejemplos de random_tests4 en C++ (Cpp)

Ejemplo n.º 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();
}

Ejemplo n.º 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();
}

Ejemplo n.º 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();
}