From 632b10c0d4b01dc1af8593b8ae1f088fbfd9e342 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Wed, 19 Jul 2017 18:08:02 +0100
Subject: split library tests into separate files to avoid risk of sail
 compiler stack overflow.

---
 src/test/lib/tests/test_duplicate.sail | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 src/test/lib/tests/test_duplicate.sail

(limited to 'src/test/lib/tests/test_duplicate.sail')

diff --git a/src/test/lib/tests/test_duplicate.sail b/src/test/lib/tests/test_duplicate.sail
new file mode 100644
index 00000000..99ffbe6c
--- /dev/null
+++ b/src/test/lib/tests/test_duplicate.sail
@@ -0,0 +1,14 @@
+function unit test () = {
+  (* XXX crashes on shallow embedding
+  should type have a constraint n>0?
+  test_assert ("duplicate_empty", (bitzero ^^ 0) == []); *)
+  test_assert ("duplicate0", (bitzero ^^ 8) == 0x00);
+  test_assert ("duplicate1", (bitone ^^ 8) == 0xff);
+
+  (* XXX crashes on shallow embedding 
+  test_assert ("duplicate_bits0", (0x21 ^^ 0) == []);*)
+  test_assert ("duplicate_bits1", (0xce ^^ 1) == 0xce);
+  test_assert ("duplicate_bits9", (0xce ^^ 9) == 0xcecececececececece);
+  test_assert ("duplicate_covfefe", (0xc0 : (0xfe ^^ 2)) == 0xc0fefe);
+}
+
-- 
cgit v1.2.3