Split float tests (#611)

ultimate-pa · Feb 28, 2024 · 79a4bed · 79a4bed
1 parent 19bace1
commit 79a4bed
Show file tree

Hide file tree

Showing 46 changed files with 0 additions and 0 deletions.
diff --git a/...loatingPoint/regression/c/ACSL-contract.c → ...ingPoint/regression/c/all/ACSL-contract.c b/...loatingPoint/regression/c/ACSL-contract.c → ...ingPoint/regression/c/all/ACSL-contract.c
diff --git a/...oint/regression/c/AcslWithFloatLiterals.c → .../regression/c/all/AcslWithFloatLiterals.c b/...oint/regression/c/AcslWithFloatLiterals.c → .../regression/c/all/AcslWithFloatLiterals.c
diff --git a/...each-32bit-MathSAT-IcSpLv-Float_Const.epf → ...each-32bit-MathSAT-IcSpLv-Float_Const.epf b/...each-32bit-MathSAT-IcSpLv-Float_Const.epf → ...each-32bit-MathSAT-IcSpLv-Float_Const.epf
diff --git a/...loatingPoint/regression/c/FloatEquality.c → ...ingPoint/regression/c/all/FloatEquality.c b/...loatingPoint/regression/c/FloatEquality.c → ...ingPoint/regression/c/all/FloatEquality.c
diff --git a/...oint/regression/c/FloatPostfixIncrement.c → .../regression/c/all/FloatPostfixIncrement.c b/...oint/regression/c/FloatPostfixIncrement.c → .../regression/c/all/FloatPostfixIncrement.c
diff --git a/...regression/c/NumberClassificationMacros.c → ...ession/c/all/NumberClassificationMacros.c b/...regression/c/NumberClassificationMacros.c → ...ession/c/all/NumberClassificationMacros.c
diff --git a/...t/regression/c/bug-_ to_fp-8-24_unknown.c → ...gression/c/all/bug-_ to_fp-8-24_unknown.c b/...t/regression/c/bug-_ to_fp-8-24_unknown.c → ...gression/c/all/bug-_ to_fp-8-24_unknown.c
diff --git a/...gression/c/cbmc_float-flags-simp1_PART2.i → ...sion/c/all/cbmc_float-flags-simp1_PART2.i b/...gression/c/cbmc_float-flags-simp1_PART2.i → ...sion/c/all/cbmc_float-flags-simp1_PART2.i
diff --git a/...cbmc_float-no-simp2_COMMENTED_DIFFICULT.i → ...cbmc_float-no-simp2_COMMENTED_DIFFICULT.i b/...cbmc_float-no-simp2_COMMENTED_DIFFICULT.i → ...cbmc_float-no-simp2_COMMENTED_DIFFICULT.i
diff --git a/...gPoint/regression/c/cbmc_float-no-simp3.i → ...nt/regression/c/all/cbmc_float-no-simp3.i b/...gPoint/regression/c/cbmc_float-no-simp3.i → ...nt/regression/c/all/cbmc_float-no-simp3.i
diff --git a/...gPoint/regression/c/cbmc_float-no-simp4.i → ...nt/regression/c/all/cbmc_float-no-simp4.i b/...gPoint/regression/c/cbmc_float-no-simp4.i → ...nt/regression/c/all/cbmc_float-no-simp4.i
diff --git a/...gPoint/regression/c/cbmc_float-no-simp6.i → ...nt/regression/c/all/cbmc_float-no-simp6.i b/...gPoint/regression/c/cbmc_float-no-simp6.i → ...nt/regression/c/all/cbmc_float-no-simp6.i
diff --git a/...gPoint/regression/c/cbmc_float-no-simp7.i → ...nt/regression/c/all/cbmc_float-no-simp7.i b/...gPoint/regression/c/cbmc_float-no-simp7.i → ...nt/regression/c/all/cbmc_float-no-simp7.i
diff --git a/.../FloatingPoint/regression/c/cbmc_float1.i → ...atingPoint/regression/c/all/cbmc_float1.i b/.../FloatingPoint/regression/c/cbmc_float1.i → ...atingPoint/regression/c/all/cbmc_float1.i
diff --git a/...FloatingPoint/regression/c/cbmc_float11.i → ...tingPoint/regression/c/all/cbmc_float11.i b/...FloatingPoint/regression/c/cbmc_float11.i → ...tingPoint/regression/c/all/cbmc_float11.i
diff --git a/...FloatingPoint/regression/c/cbmc_float14.i → ...tingPoint/regression/c/all/cbmc_float14.i b/...FloatingPoint/regression/c/cbmc_float14.i → ...tingPoint/regression/c/all/cbmc_float14.i
diff --git a/.../FloatingPoint/regression/c/cbmc_float2.i → ...atingPoint/regression/c/all/cbmc_float2.i b/.../FloatingPoint/regression/c/cbmc_float2.i → ...atingPoint/regression/c/all/cbmc_float2.i
diff --git a/...ingPoint/regression/c/cbmc_float4_PART2.i → ...oint/regression/c/all/cbmc_float4_PART2.i b/...ingPoint/regression/c/cbmc_float4_PART2.i → ...oint/regression/c/all/cbmc_float4_PART2.i
diff --git a/.../FloatingPoint/regression/c/cbmc_float8.i → ...atingPoint/regression/c/all/cbmc_float8.i b/.../FloatingPoint/regression/c/cbmc_float8.i → ...atingPoint/regression/c/all/cbmc_float8.i
diff --git a/...ingPoint/regression/c/ctrans-float-ceil.c → ...oint/regression/c/all/ctrans-float-ceil.c b/...ingPoint/regression/c/ctrans-float-ceil.c → ...oint/regression/c/all/ctrans-float-ceil.c
diff --git a/...ingPoint/regression/c/ctrans-float-fdim.c → ...oint/regression/c/all/ctrans-float-fdim.c b/...ingPoint/regression/c/ctrans-float-fdim.c → ...oint/regression/c/all/ctrans-float-fdim.c
diff --git a/...ngPoint/regression/c/ctrans-float-floor.c → ...int/regression/c/all/ctrans-float-floor.c b/...ngPoint/regression/c/ctrans-float-floor.c → ...int/regression/c/all/ctrans-float-floor.c
diff --git a/...oint/regression/c/ctrans-float-fminfmax.c → .../regression/c/all/ctrans-float-fminfmax.c b/...oint/regression/c/ctrans-float-fminfmax.c → .../regression/c/all/ctrans-float-fminfmax.c
diff --git a/...ngPoint/regression/c/ctrans-float-round.c → ...int/regression/c/all/ctrans-float-round.c b/...ngPoint/regression/c/ctrans-float-round.c → ...int/regression/c/all/ctrans-float-round.c
diff --git a/...ngPoint/regression/c/ctrans-float-trunc.c → ...int/regression/c/all/ctrans-float-trunc.c b/...ngPoint/regression/c/ctrans-float-trunc.c → ...int/regression/c/all/ctrans-float-trunc.c
diff --git a/...ngPoint/regression/c/ctrans-float-union.c → ...int/regression/c/all/ctrans-float-union.c b/...ngPoint/regression/c/ctrans-float-union.c → ...int/regression/c/all/ctrans-float-union.c
diff --git a/...rograms/FloatingPoint/regression/c/fabs.c → ...ams/FloatingPoint/regression/c/all/fabs.c b/...rograms/FloatingPoint/regression/c/fabs.c → ...ams/FloatingPoint/regression/c/all/fabs.c
diff --git a/...s/FloatingPoint/regression/c/fpclassify.c → ...oatingPoint/regression/c/all/fpclassify.c b/...s/FloatingPoint/regression/c/fpclassify.c → ...oatingPoint/regression/c/all/fpclassify.c
diff --git a/...rograms/FloatingPoint/regression/c/huge.c → ...ams/FloatingPoint/regression/c/all/huge.c b/...rograms/FloatingPoint/regression/c/huge.c → ...ams/FloatingPoint/regression/c/all/huge.c
diff --git a/...programs/FloatingPoint/regression/c/inf.c → ...rams/FloatingPoint/regression/c/all/inf.c b/...programs/FloatingPoint/regression/c/inf.c → ...rams/FloatingPoint/regression/c/all/inf.c
diff --git a/...ams/FloatingPoint/regression/c/isfinite.c → ...FloatingPoint/regression/c/all/isfinite.c b/...ams/FloatingPoint/regression/c/isfinite.c → ...FloatingPoint/regression/c/all/isfinite.c
diff --git a/...ograms/FloatingPoint/regression/c/isinf.c → ...ms/FloatingPoint/regression/c/all/isinf.c b/...ograms/FloatingPoint/regression/c/isinf.c → ...ms/FloatingPoint/regression/c/all/isinf.c
diff --git a/...rograms/FloatingPoint/regression/c/sqrt.c → ...ams/FloatingPoint/regression/c/all/sqrt.c b/...rograms/FloatingPoint/regression/c/sqrt.c → ...ams/FloatingPoint/regression/c/all/sqrt.c
diff --git a/...nt/regression/c/BvaddWithThreeArguments.c → ...ion/c/noMathSAT/BvaddWithThreeArguments.c b/...nt/regression/c/BvaddWithThreeArguments.c → ...ion/c/noMathSAT/BvaddWithThreeArguments.c
diff --git a/...t/regression/c/QuantifiedFloatInvariant.c → ...on/c/noMathSAT/QuantifiedFloatInvariant.c b/...t/regression/c/QuantifiedFloatInvariant.c → ...on/c/noMathSAT/QuantifiedFloatInvariant.c
diff --git a/.../FloatingPoint/regression/c/SAS09-Float.c → ...oint/regression/c/noMathSAT/SAS09-Float.c b/.../FloatingPoint/regression/c/SAS09-Float.c → ...oint/regression/c/noMathSAT/SAS09-Float.c
diff --git a/...gPoint/regression/c/cbmc_float-no-simp1.i → ...ression/c/noMathSAT/cbmc_float-no-simp1.i b/...gPoint/regression/c/cbmc_float-no-simp1.i → ...ression/c/noMathSAT/cbmc_float-no-simp1.i
diff --git a/...oint/regression/c/cbmc_float-to-double2.i → ...ssion/c/noMathSAT/cbmc_float-to-double2.i b/...oint/regression/c/cbmc_float-to-double2.i → ...ssion/c/noMathSAT/cbmc_float-to-double2.i
diff --git a/...FloatingPoint/regression/c/cbmc_float12.i → ...int/regression/c/noMathSAT/cbmc_float12.i b/...FloatingPoint/regression/c/cbmc_float12.i → ...int/regression/c/noMathSAT/cbmc_float12.i
diff --git a/...FloatingPoint/regression/c/cbmc_float13.i → ...int/regression/c/noMathSAT/cbmc_float13.i b/...FloatingPoint/regression/c/cbmc_float13.i → ...int/regression/c/noMathSAT/cbmc_float13.i
diff --git a/...FloatingPoint/regression/c/cbmc_float19.i → ...int/regression/c/noMathSAT/cbmc_float19.i b/...FloatingPoint/regression/c/cbmc_float19.i → ...int/regression/c/noMathSAT/cbmc_float19.i
diff --git a/...ngPoint/regression/c/cbmc_float20_Part1.i → ...gression/c/noMathSAT/cbmc_float20_Part1.i b/...ngPoint/regression/c/cbmc_float20_Part1.i → ...gression/c/noMathSAT/cbmc_float20_Part1.i
diff --git a/...ngPoint/regression/c/cbmc_float20_Part3.i → ...gression/c/noMathSAT/cbmc_float20_Part3.i b/...ngPoint/regression/c/cbmc_float20_Part3.i → ...gression/c/noMathSAT/cbmc_float20_Part3.i
diff --git a/...ingPoint/regression/c/cbmc_float4_PART1.i → ...egression/c/noMathSAT/cbmc_float4_PART1.i b/...ingPoint/regression/c/cbmc_float4_PART1.i → ...egression/c/noMathSAT/cbmc_float4_PART1.i
diff --git a/.../FloatingPoint/regression/c/cbmc_float6.i → ...oint/regression/c/noMathSAT/cbmc_float6.i b/.../FloatingPoint/regression/c/cbmc_float6.i → ...oint/regression/c/noMathSAT/cbmc_float6.i
diff --git a/...oint/regression/c/ctrans-float-rounding.c → ...ssion/c/noMathSAT/ctrans-float-rounding.c b/...oint/regression/c/ctrans-float-rounding.c → ...ssion/c/noMathSAT/ctrans-float-rounding.c