Move another test with an unsupported float operation to todo (#611)

ultimate-pa · Jan 18, 2023 · 06774bf · 06774bf
1 parent 18a9805
commit 06774bf
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/...Point/regression/c/ctrans-float-signbit.c → ...FloatingPoint/todo/ctrans-float-signbit.c b/...Point/regression/c/ctrans-float-signbit.c → ...FloatingPoint/todo/ctrans-float-signbit.c