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.sail | |
| parent | 0b70a9d7464d6c30534d2f511cb8c9879c76b1e5 (diff) | |
Remove old test directory in src/test
Diffstat (limited to 'src/test/lib/tests/test_mod.sail')
| -rw-r--r-- | src/test/lib/tests/test_mod.sail | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/src/test/lib/tests/test_mod.sail b/src/test/lib/tests/test_mod.sail deleted file mode 100644 index 7f078bae..00000000 --- a/src/test/lib/tests/test_mod.sail +++ /dev/null @@ -1,23 +0,0 @@ -function unit test () = { - test_assert ("modpospos_exact", (21 mod 7) == 0); - test_assert ("modposneg_exact", (21 mod -7) == 0); - test_assert ("modnegpos_exact", (-21 mod 7) == 0); - test_assert ("modnegneg_exact", (-21 mod -7) == 0); - - test_assert ("modpospos_approx", (21 mod 8) == 5); - test_assert ("modposneg_approx", (21 mod -8) == 5); - test_assert ("modnegpos_approx", (-21 mod 8) == -5); - test_assert ("modnegneg_approx", (-21 mod -8) == -5); - - (* XXX how to test this? Type checker should catch? - test_assert ("mod_zero", (21 mod 0) == undefined); *) - - test_assert("mod_vec_range_pos", (0x7 mod 5) == 2); - test_assert("mod_vec_range_neg", (0xf mod 5) == 0); - - test_assert("mod_vec_pos", (0x7 mod 0x5) == 0x2); - test_assert("mod_vec_neg", (0xf mod 0x5) == 0x0); - test_assert("mod_vec_pos_neg", (0x7 mod 0x8) == 0x7); - test_assert("mod_vec_neg_neg", (0xf mod 0x8) == 0x7); -} - |