moved all the tests to the testing folder

20 files changed, 0 insertions, 0 deletions

diff --git a/float_test.bpl b/Test/floats/test1.bpl
index e893e098..e893e098 100644
--- a/float_test.bpl
+++ b/Test/floats/test1.bpl
diff --git a/float_test10.bpl b/Test/floats/test10.bpl
index 566f7a56..566f7a56 100644
--- a/float_test10.bpl
+++ b/Test/floats/test10.bpl
diff --git a/float_test11.bpl b/Test/floats/test11.bpl
index cee3e36e..cee3e36e 100644
--- a/float_test11.bpl
+++ b/Test/floats/test11.bpl
diff --git a/float_test12.bpl b/Test/floats/test12.bpl
index c733b9f4..c733b9f4 100644
--- a/float_test12.bpl
+++ b/Test/floats/test12.bpl
diff --git a/float_test13.bpl b/Test/floats/test13.bpl
index e5402539..e5402539 100644
--- a/float_test13.bpl
+++ b/Test/floats/test13.bpl
diff --git a/float_test14.bpl b/Test/floats/test14.bpl
index 1505c361..1505c361 100644
--- a/float_test14.bpl
+++ b/Test/floats/test14.bpl
diff --git a/float_test15.bpl b/Test/floats/test15.bpl
index 1dc549ac..1dc549ac 100644
--- a/float_test15.bpl
+++ b/Test/floats/test15.bpl
diff --git a/float_test16.bpl b/Test/floats/test16.bpl
index 69ae243d..69ae243d 100644
--- a/float_test16.bpl
+++ b/Test/floats/test16.bpl
diff --git a/float_test17.bpl b/Test/floats/test17.bpl
index caa1fa74..caa1fa74 100644
--- a/float_test17.bpl
+++ b/Test/floats/test17.bpl
diff --git a/float_test18.bpl b/Test/floats/test18.bpl
index 71eb5286..71eb5286 100644
--- a/float_test18.bpl
+++ b/Test/floats/test18.bpl
diff --git a/float_test19.bpl b/Test/floats/test19.bpl
index f00d8a2b..f00d8a2b 100644
--- a/float_test19.bpl
+++ b/Test/floats/test19.bpl
diff --git a/float_test2.bpl b/Test/floats/test2.bpl
index d78c339d..d78c339d 100644
--- a/float_test2.bpl
+++ b/Test/floats/test2.bpl
diff --git a/float_test20.bpl b/Test/floats/test20.bpl
index 57c605fd..57c605fd 100644
--- a/float_test20.bpl
+++ b/Test/floats/test20.bpl
diff --git a/float_test3.bpl b/Test/floats/test3.bpl
index 67c6ba48..67c6ba48 100644
--- a/float_test3.bpl
+++ b/Test/floats/test3.bpl
diff --git a/float_test4.bpl b/Test/floats/test4.bpl
index a31aa215..a31aa215 100644
--- a/float_test4.bpl
+++ b/Test/floats/test4.bpl
diff --git a/float_test5.bpl b/Test/floats/test5.bpl
index 7536f8fd..7536f8fd 100644
--- a/float_test5.bpl
+++ b/Test/floats/test5.bpl
diff --git a/float_test6.bpl b/Test/floats/test6.bpl
index 6bef1137..6bef1137 100644
--- a/float_test6.bpl
+++ b/Test/floats/test6.bpl
diff --git a/float_test7.bpl b/Test/floats/test7.bpl
index 8e07878d..8e07878d 100644
--- a/float_test7.bpl
+++ b/Test/floats/test7.bpl
diff --git a/float_test8.bpl b/Test/floats/test8.bpl
index 7e78e206..7e78e206 100644
--- a/float_test8.bpl
+++ b/Test/floats/test8.bpl
diff --git a/float_test9.bpl b/Test/floats/test9.bpl
index c3a42e6b..c3a42e6b 100644
--- a/float_test9.bpl
+++ b/Test/floats/test9.bpl