summaryrefslogtreecommitdiff
path: root/src/test/lib/tests/test_rightshift.sail
diff options
context:
space:
mode:
authorAlasdair Armstrong2018-07-30 19:16:34 +0100
committerAlasdair Armstrong2018-08-01 16:42:33 +0100
commit1479ae359fd3afebf9c3dfb6e58a77254e8140ea (patch)
treeffcfd96409467a5c41009f68afe1f65a2c7a3d49 /src/test/lib/tests/test_rightshift.sail
parent0b70a9d7464d6c30534d2f511cb8c9879c76b1e5 (diff)
Remove old test directory in src/test
Diffstat (limited to 'src/test/lib/tests/test_rightshift.sail')
-rw-r--r--src/test/lib/tests/test_rightshift.sail10
1 files changed, 0 insertions, 10 deletions
diff --git a/src/test/lib/tests/test_rightshift.sail b/src/test/lib/tests/test_rightshift.sail
deleted file mode 100644
index 7879a33e..00000000
--- a/src/test/lib/tests/test_rightshift.sail
+++ /dev/null
@@ -1,10 +0,0 @@
-function unit test () = {
- test_assert ("rightshift_small0", (0x99 >> 0) == 0x99);
- test_assert ("rightshift_small3", (0x99 >> 3) == 0x13);
- test_assert ("rightshift_small7", (0x99 >> 7) == 0x01);
- test_assert ("rightshift_small8", (0x99 >> 8) == 0x00); (* XXX fails on interp *)
- test_assert ("rightshift_big0", (0x99999999999999999 >> 0) == 0x99999999999999999);
- test_assert ("rightshift_big3", (0x99999999999999999 >> 3) == 0x13333333333333333);
- test_assert ("rightshift_big7", (0x99999999999999999 >> 7) == 0x01333333333333333);
- test_assert ("rightshift_big68", (0x99999999999999999 >> 68) == 0x00000000000000000); (* XXX fails on interp *)
-}