diff options
-rw-r--r-- | Test/floats/test1.bpl (renamed from float_test.bpl) | 0 | ||||
-rw-r--r-- | Test/floats/test10.bpl (renamed from float_test10.bpl) | 0 | ||||
-rw-r--r-- | Test/floats/test11.bpl (renamed from float_test11.bpl) | 0 | ||||
-rw-r--r-- | Test/floats/test12.bpl (renamed from float_test12.bpl) | 0 | ||||
-rw-r--r-- | Test/floats/test13.bpl (renamed from float_test13.bpl) | 0 | ||||
-rw-r--r-- | Test/floats/test14.bpl (renamed from float_test14.bpl) | 0 | ||||
-rw-r--r-- | Test/floats/test15.bpl (renamed from float_test15.bpl) | 0 | ||||
-rw-r--r-- | Test/floats/test16.bpl (renamed from float_test16.bpl) | 0 | ||||
-rw-r--r-- | Test/floats/test17.bpl (renamed from float_test17.bpl) | 0 | ||||
-rw-r--r-- | Test/floats/test18.bpl (renamed from float_test18.bpl) | 0 | ||||
-rw-r--r-- | Test/floats/test19.bpl (renamed from float_test19.bpl) | 0 | ||||
-rw-r--r-- | Test/floats/test2.bpl (renamed from float_test2.bpl) | 0 | ||||
-rw-r--r-- | Test/floats/test20.bpl (renamed from float_test20.bpl) | 0 | ||||
-rw-r--r-- | Test/floats/test3.bpl (renamed from float_test3.bpl) | 0 | ||||
-rw-r--r-- | Test/floats/test4.bpl (renamed from float_test4.bpl) | 0 | ||||
-rw-r--r-- | Test/floats/test5.bpl (renamed from float_test5.bpl) | 0 | ||||
-rw-r--r-- | Test/floats/test6.bpl (renamed from float_test6.bpl) | 0 | ||||
-rw-r--r-- | Test/floats/test7.bpl (renamed from float_test7.bpl) | 0 | ||||
-rw-r--r-- | Test/floats/test8.bpl (renamed from float_test8.bpl) | 0 | ||||
-rw-r--r-- | Test/floats/test9.bpl (renamed from float_test9.bpl) | 0 |
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 |