From d7b8c522a97e5dd3aecfed9ba925220973c7a1bd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Frank=20Sch=C3=BCssele?= Date: Mon, 16 Jan 2023 11:36:22 +0100 Subject: [PATCH] Move FloatingPoint tests with unsupported features to todo (#611) --- .../{regression/c => todo}/cbmc_float-flags-simp1__PART1.i | 0 .../{regression/c => todo}/cbmc_float-flags-simp1__PART3.i | 0 .../FloatingPoint/{regression/c => todo}/cbmc_float-no-simp8_.i | 0 .../{regression/c => todo}/ctrans-float-copysign-2.c | 0 .../{regression/c => todo}/ctrans-float-copysign-NAN-2.c | 0 .../{regression/c => todo}/ctrans-float-copysign-NAN.c | 0 .../FloatingPoint/{regression/c => todo}/ctrans-float-copysign.c | 0 .../FloatingPoint/{regression/c => todo}/ctrans-float-fmod.c | 0 .../FloatingPoint/{regression/c => todo}/ctrans-float-remainder.c | 0 .../programs/FloatingPoint/{regression/c => todo}/signbit.c | 0 10 files changed, 0 insertions(+), 0 deletions(-) rename trunk/examples/programs/FloatingPoint/{regression/c => todo}/cbmc_float-flags-simp1__PART1.i (100%) rename trunk/examples/programs/FloatingPoint/{regression/c => todo}/cbmc_float-flags-simp1__PART3.i (100%) rename trunk/examples/programs/FloatingPoint/{regression/c => todo}/cbmc_float-no-simp8_.i (100%) rename trunk/examples/programs/FloatingPoint/{regression/c => todo}/ctrans-float-copysign-2.c (100%) rename trunk/examples/programs/FloatingPoint/{regression/c => todo}/ctrans-float-copysign-NAN-2.c (100%) rename trunk/examples/programs/FloatingPoint/{regression/c => todo}/ctrans-float-copysign-NAN.c (100%) rename trunk/examples/programs/FloatingPoint/{regression/c => todo}/ctrans-float-copysign.c (100%) rename trunk/examples/programs/FloatingPoint/{regression/c => todo}/ctrans-float-fmod.c (100%) rename trunk/examples/programs/FloatingPoint/{regression/c => todo}/ctrans-float-remainder.c (100%) rename trunk/examples/programs/FloatingPoint/{regression/c => todo}/signbit.c (100%) diff --git a/trunk/examples/programs/FloatingPoint/regression/c/cbmc_float-flags-simp1__PART1.i b/trunk/examples/programs/FloatingPoint/todo/cbmc_float-flags-simp1__PART1.i similarity index 100% rename from trunk/examples/programs/FloatingPoint/regression/c/cbmc_float-flags-simp1__PART1.i rename to trunk/examples/programs/FloatingPoint/todo/cbmc_float-flags-simp1__PART1.i diff --git a/trunk/examples/programs/FloatingPoint/regression/c/cbmc_float-flags-simp1__PART3.i b/trunk/examples/programs/FloatingPoint/todo/cbmc_float-flags-simp1__PART3.i similarity index 100% rename from trunk/examples/programs/FloatingPoint/regression/c/cbmc_float-flags-simp1__PART3.i rename to trunk/examples/programs/FloatingPoint/todo/cbmc_float-flags-simp1__PART3.i diff --git a/trunk/examples/programs/FloatingPoint/regression/c/cbmc_float-no-simp8_.i b/trunk/examples/programs/FloatingPoint/todo/cbmc_float-no-simp8_.i similarity index 100% rename from trunk/examples/programs/FloatingPoint/regression/c/cbmc_float-no-simp8_.i rename to trunk/examples/programs/FloatingPoint/todo/cbmc_float-no-simp8_.i diff --git a/trunk/examples/programs/FloatingPoint/regression/c/ctrans-float-copysign-2.c b/trunk/examples/programs/FloatingPoint/todo/ctrans-float-copysign-2.c similarity index 100% rename from trunk/examples/programs/FloatingPoint/regression/c/ctrans-float-copysign-2.c rename to trunk/examples/programs/FloatingPoint/todo/ctrans-float-copysign-2.c diff --git a/trunk/examples/programs/FloatingPoint/regression/c/ctrans-float-copysign-NAN-2.c b/trunk/examples/programs/FloatingPoint/todo/ctrans-float-copysign-NAN-2.c similarity index 100% rename from trunk/examples/programs/FloatingPoint/regression/c/ctrans-float-copysign-NAN-2.c rename to trunk/examples/programs/FloatingPoint/todo/ctrans-float-copysign-NAN-2.c diff --git a/trunk/examples/programs/FloatingPoint/regression/c/ctrans-float-copysign-NAN.c b/trunk/examples/programs/FloatingPoint/todo/ctrans-float-copysign-NAN.c similarity index 100% rename from trunk/examples/programs/FloatingPoint/regression/c/ctrans-float-copysign-NAN.c rename to trunk/examples/programs/FloatingPoint/todo/ctrans-float-copysign-NAN.c diff --git a/trunk/examples/programs/FloatingPoint/regression/c/ctrans-float-copysign.c b/trunk/examples/programs/FloatingPoint/todo/ctrans-float-copysign.c similarity index 100% rename from trunk/examples/programs/FloatingPoint/regression/c/ctrans-float-copysign.c rename to trunk/examples/programs/FloatingPoint/todo/ctrans-float-copysign.c diff --git a/trunk/examples/programs/FloatingPoint/regression/c/ctrans-float-fmod.c b/trunk/examples/programs/FloatingPoint/todo/ctrans-float-fmod.c similarity index 100% rename from trunk/examples/programs/FloatingPoint/regression/c/ctrans-float-fmod.c rename to trunk/examples/programs/FloatingPoint/todo/ctrans-float-fmod.c diff --git a/trunk/examples/programs/FloatingPoint/regression/c/ctrans-float-remainder.c b/trunk/examples/programs/FloatingPoint/todo/ctrans-float-remainder.c similarity index 100% rename from trunk/examples/programs/FloatingPoint/regression/c/ctrans-float-remainder.c rename to trunk/examples/programs/FloatingPoint/todo/ctrans-float-remainder.c diff --git a/trunk/examples/programs/FloatingPoint/regression/c/signbit.c b/trunk/examples/programs/FloatingPoint/todo/signbit.c similarity index 100% rename from trunk/examples/programs/FloatingPoint/regression/c/signbit.c rename to trunk/examples/programs/FloatingPoint/todo/signbit.c