diff options
| author | Robert Norton | 2017-07-19 18:08:02 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-07-19 18:08:02 +0100 |
| commit | 632b10c0d4b01dc1af8593b8ae1f088fbfd9e342 (patch) | |
| tree | ac566808213125670da5f4dc3d702fe663333f7e /src/test/lib/tests/test_neq.sail | |
| parent | d8969b1f9631dc15d5fb6b3b33a4a69dbfb7358a (diff) | |
split library tests into separate files to avoid risk of sail compiler stack overflow.
Diffstat (limited to 'src/test/lib/tests/test_neq.sail')
| -rw-r--r-- | src/test/lib/tests/test_neq.sail | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/src/test/lib/tests/test_neq.sail b/src/test/lib/tests/test_neq.sail new file mode 100644 index 00000000..e3ad50cf --- /dev/null +++ b/src/test/lib/tests/test_neq.sail @@ -0,0 +1,20 @@ +function unit test () = { + test_assert("neq_bit00", not(false != bitzero)); + test_assert("neq_bit01", false != bitone); + test_assert("neq_bit10", true != bitzero); + test_assert("neq_bit11", not(true != bitone)); + + test_assert("neq_vec0", 0x1 != 0x2); + test_assert("neq_vec1", not(0x2 != 0x2)); + test_assert("neq_vec_range0", 0xf != 16); + test_assert("neq_vec_range0", 0x7 != 8); + test_assert("neq_vec_range1", not(0xf != 15)); + (* XXX not implemented for ocaml + test_assert("neq_range_vec0", 16 != 0xf); + test_assert("neq_range_vec1", not(15 != 0xf)); *) + test_assert("neq_range0", 12 != 13); + test_assert("neq_range1", not(13 != 13)); + test_assert("neq_tup0", (true, false) != (bitzero, bitzero)); + test_assert("neq_tup1", not((true, false) != (bitone, bitzero))); +} + |