diffblue
diff --git a/‎regression/cbmc-library/int-to-float1/main.c renamed to ‎regression/cbmc-library/fesetround-04/main.c b/‎regression/cbmc-library/int-to-float1/main.c renamed to ‎regression/cbmc-library/fesetround-04/main.c
diff --git a/‎regression/cbmc-library/Double-to-float-with-simp1/test.desc renamed to ‎regression/cbmc-library/fesetround-04/test.desc b/‎regression/cbmc-library/Double-to-float-with-simp1/test.desc renamed to ‎regression/cbmc-library/fesetround-04/test.desc
diff --git a/‎regression/cbmc-library/int-to-float2/main.c renamed to ‎regression/cbmc-library/fesetround-05/main.c b/‎regression/cbmc-library/int-to-float2/main.c renamed to ‎regression/cbmc-library/fesetround-05/main.c
diff --git a/‎regression/cbmc-library/int-to-float1/test.desc renamed to ‎regression/cbmc-library/fesetround-05/test.desc b/‎regression/cbmc-library/int-to-float1/test.desc renamed to ‎regression/cbmc-library/fesetround-05/test.desc
diff --git a/‎regression/cbmc-library/Double-to-float-no-simp1-fix1/main.c renamed to ‎regression/cbmc-library/fesetround-no-simp1-fix1/main.c b/‎regression/cbmc-library/Double-to-float-no-simp1-fix1/main.c renamed to ‎regression/cbmc-library/fesetround-no-simp1-fix1/main.c
diff --git a/‎regression/cbmc-library/Double-to-float-no-simp1-fix1/test.desc renamed to ‎regression/cbmc-library/fesetround-no-simp1-fix1/test.desc b/‎regression/cbmc-library/Double-to-float-no-simp1-fix1/test.desc renamed to ‎regression/cbmc-library/fesetround-no-simp1-fix1/test.desc
diff --git a/‎regression/cbmc-library/Double-to-float-no-simp1-fix2/main.c renamed to ‎regression/cbmc-library/fesetround-no-simp1-fix2/main.c b/‎regression/cbmc-library/Double-to-float-no-simp1-fix2/main.c renamed to ‎regression/cbmc-library/fesetround-no-simp1-fix2/main.c
diff --git a/‎regression/cbmc-library/Double-to-float-no-simp1-fix2/test.desc renamed to ‎regression/cbmc-library/fesetround-no-simp1-fix2/test.desc b/‎regression/cbmc-library/Double-to-float-no-simp1-fix2/test.desc renamed to ‎regression/cbmc-library/fesetround-no-simp1-fix2/test.desc
diff --git a/‎regression/cbmc-library/Double-to-float-no-simp1/main.c renamed to ‎regression/cbmc-library/fesetround-no-simp1/main.c b/‎regression/cbmc-library/Double-to-float-no-simp1/main.c renamed to ‎regression/cbmc-library/fesetround-no-simp1/main.c
diff --git a/‎regression/cbmc-library/Double-to-float-no-simp1/test.desc renamed to ‎regression/cbmc-library/fesetround-no-simp1/test.desc b/‎regression/cbmc-library/Double-to-float-no-simp1/test.desc renamed to ‎regression/cbmc-library/fesetround-no-simp1/test.desc