mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-12-16 03:05:44 +03:00
5 lines
144 B
Plaintext
5 lines
144 B
Plaintext
|
|
// test that the unary operators parse correctly
|
|
test1 = (~ (5 : [8]) + 2) == (~ (5 : [8])) + 2
|
|
test2 = (- (5 : [8]) + 2) == (- (5 : [8])) + 2
|