delete unnecessary test cases

calyxir · Feb 28, 2024 · ebd2069 · ebd2069
1 parent 553424b
commit ebd2069
Show file tree

Hide file tree

Showing 16 changed files with 0 additions and 293 deletions.
diff --git a/primitives/float/addRecFN.futil b/primitives/float/addRecFN.futil
diff --git a/primitives/float/fNToRecFN.futil b/primitives/float/fNToRecFN.futil
diff --git a/primitives/float/mulRecFN.futil b/primitives/float/mulRecFN.futil
diff --git a/primitives/float/recFNToFN.futil b/primitives/float/recFNToFN.futil
diff --git a/tests/correctness/float/addRecFN.expect b/tests/correctness/float/addRecFN.expect
diff --git a/tests/correctness/float/addRecFN.futil b/tests/correctness/float/addRecFN.futil
diff --git a/tests/correctness/float/addRecFN.futil.data b/tests/correctness/float/addRecFN.futil.data
diff --git a/tests/correctness/float/fNToRecFN.expect b/tests/correctness/float/fNToRecFN.expect
diff --git a/tests/correctness/float/fNToRecFN.futil b/tests/correctness/float/fNToRecFN.futil
diff --git a/tests/correctness/float/fNToRecFN.futil.data b/tests/correctness/float/fNToRecFN.futil.data
diff --git a/tests/correctness/float/mulRecFN.expect b/tests/correctness/float/mulRecFN.expect
diff --git a/tests/correctness/float/mulRecFN.futil b/tests/correctness/float/mulRecFN.futil
diff --git a/tests/correctness/float/mulRecFN.futil.data b/tests/correctness/float/mulRecFN.futil.data
diff --git a/tests/correctness/float/recFNToFN.expect b/tests/correctness/float/recFNToFN.expect
diff --git a/tests/correctness/float/recFNToFN.futil b/tests/correctness/float/recFNToFN.futil
diff --git a/tests/correctness/float/recFNToFN.futil.data b/tests/correctness/float/recFNToFN.futil.data