Esempi in C++ (Cpp) per vc_unittest

Esempio n. 1

File: unit_vc.c Progetto: ahorn/benchmarks

int main(int argc, char** argv)
{
#ifdef _TEST_1_
  vc_unittest();
#endif

#ifdef _TEST_2_
  vc_reflexivity();
#endif

#ifdef _CBMC_VC_1_
  vc_reflexivity_cbmc();
#endif

#ifdef _CBMC_VC_2_
  vc_transitivity_cbmc();
#endif

#ifdef _CBMC_VC_3_
  vc_antisymmetry_cbmc();
#endif

// ~ 3 hours
#ifdef _CBMC_VC_4_
  vc_combine_upper_bound_cbmc();
#endif

// ~ 7 hours
#ifdef _CBMC_VC_5_
  vc_combine_least_upper_bound_cbmc();
#endif

  return 0;
}

Esempio n. 2

File: unit_vc.c Progetto: ACSOP/android_external_valgrind

int main(int argc, char** argv)
{
  vc_unittest();
  return 0;
}