summaryrefslogtreecommitdiff
path: root/src/test/lib/tests/test_xor.sail
blob: 125b2f107e17f361857585b858dc3c0df6f92153 (plain)
1
2
3
4
5
6
7
function unit test () = {
  test_assert ("bitwise_xor", (0b0101 ^ 0b0011) == 0b0110);
  test_assert ("bitwise_xor_00", (bitzero ^ bitzero) == bitzero);
  test_assert ("bitwise_xor_01", (bitzero ^ bitone)  == bitone);
  test_assert ("bitwise_xor_10", (bitone  ^ bitzero) == bitone);
  test_assert ("bitwise_xor_11", (bitone  ^ bitone)  == bitzero);
}