[367] 2024-11-03 12:19:55 CandidMoe wrote:

testcase - Incorrect test case

The test

T{ MIN-INT MIN-INT M* -> 0 MSB 1 RSHIFT }T

is erroneous. With

MIN-INT = -8000000000000000

MSB = -1

the left part produce

MIN-INT MIN-INT M* = 4000000000000000

while the right part produce

0 MSB 1 RSHIFT = 7FFFFFFFFFFFFFFF