blob: 8ae2514fab0c49f701e3565bcc9e7d2ad4d147e7 (
plain)
1
2
3
4
5
6
7
8
|
function unit test () = {
test_assert ("not_bit0", (not (bitzero)) == bitone);
test_assert ("not_bit1", (not (bitone)) == bitzero);
test_assert ("bitwise_not", (~ (0b01) == 0b10));
test_assert ("bitwise_not_bit0", ((~ (bitzero)) == bitone));
test_assert ("bitwise_not_bit1", ((~ (bitone)) == bitzero));
}
|
