diff options
| author | Alasdair Armstrong | 2018-07-30 19:16:34 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-08-01 16:42:33 +0100 |
| commit | 1479ae359fd3afebf9c3dfb6e58a77254e8140ea (patch) | |
| tree | ffcfd96409467a5c41009f68afe1f65a2c7a3d49 /src/test/lib/tests/test_mod_signed.sail | |
| parent | 0b70a9d7464d6c30534d2f511cb8c9879c76b1e5 (diff) | |
Remove old test directory in src/test
Diffstat (limited to 'src/test/lib/tests/test_mod_signed.sail')
| -rw-r--r-- | src/test/lib/tests/test_mod_signed.sail | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/src/test/lib/tests/test_mod_signed.sail b/src/test/lib/tests/test_mod_signed.sail deleted file mode 100644 index 61acec17..00000000 --- a/src/test/lib/tests/test_mod_signed.sail +++ /dev/null @@ -1,26 +0,0 @@ -function unit test () = { - (); - (* XXX mod_signed does exist on ocaml shallow embedding... - test_assert ("mod_signed_pospos_exact", (21 mod_s 7) == 0); - test_assert ("mod_signed_posneg_exact", (21 mod_s -7) == 0); - test_assert ("mod_signed_negpos_exact", (-21 mod_s 7) == 0); - test_assert ("mod_signed_negneg_exact", (-21 mod_s -7) == 0); - - test_assert ("mod_signed_pospos_approx", (21 mod_s 8) == 5); - test_assert ("mod_signed_posneg_approx", (21 mod_s -8) == 5); - test_assert ("mod_signed_negpos_approx", (-21 mod_s 8) == -5); - test_assert ("mod_signed_negneg_approx", (-21 mod_s -8) == -5); - - (* XXX how to test this? Type checker should catch? - test_assert ("mod_signed_zero", (21 mod_s 0) == undefined); *) - - test_assert("mod_vec_range_signed_pos", (0x7 mod_s 5) == 2); - test_assert("mod_vec_range_signed_neg", (0xf mod_s 5) == -1); - - test_assert("mod_vec_signed_pos", (0x7 mod_s 0x5) == 0x2); - test_assert("mod_vec_signed_neg", (0xf mod_s 0x5) == 0xf); - test_assert("mod_vec_signed_pos_neg", (0x7 mod_s 0x8) == 0x7); - test_assert("mod_vec_signed_neg_neg", (0xf mod_s 0x8) == 0x7); - *) -} - |