Ejemplos de truth_table_test4 en C++ (Cpp)

Ejemplo n.º 1

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.º 2

/*
 * 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.º 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();
}

Ejemplo n.º 4

Archivo: test_bvshift.c Proyecto: polazarus/ocamlyices2

static void all_bvashr_tests(void) {
    printf("\n"
           "******************\n"
           "*  BVASHR TESTS  *\n"
           "******************\n\n");

    init();
    truth_table_test4(test_bvashr_const);
    all_shift_test4(test_bvashr_const_shift);
    all_shift_test6(test_bvashr_const_shift);
    base_test4(test_bvashr);
    random_test4(100, test_bvashr);
    random_test6(100, test_bvashr);
    cleanup();
}