C++ (Cpp) vc_unittest примеры использования

Пример #1

Файл: unit_vc.c Проект: 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;
}

Пример #2

Файл: unit_vc.c Проект: ACSOP/android_external_valgrind

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