Esempio n. 1
0
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
0
int main(int argc, char** argv)
{
  vc_unittest();
  return 0;
}