Files
mercury/tests/hard_coded/unsigned_lt_le.exp2
Julien Fischer 5d57bc034f Fix a test failure.
tests/hard_coded/unsigned_lt_le.exp2:
    Add an expected output for when int is 32-bit.

tests/hard_coded/unsigned_lt_le.m:
    Document what the expected outputs are for.
2020-05-30 21:26:25 +10:00

19 lines
963 B
Plaintext

ffffffd6 unsigned_lt ffffffd6 = false
ffffffd6 unsigned_le ffffffd6 = true
ffffffd6 unsigned_lt 2a = false
ffffffd6 unsigned_le 2a = false
ffffffd6 unsigned_lt 12 = false
ffffffd6 unsigned_le 12 = false
2a unsigned_lt ffffffd6 = true
2a unsigned_le ffffffd6 = true
2a unsigned_lt 2a = false
2a unsigned_le 2a = true
2a unsigned_lt 12 = false
2a unsigned_le 12 = false
12 unsigned_lt ffffffd6 = true
12 unsigned_le ffffffd6 = true
12 unsigned_lt 2a = true
12 unsigned_le 2a = true
12 unsigned_lt 12 = false
12 unsigned_le 12 = true