diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Specific/IntegrationTestFreezeDisplay.log | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Specific/IntegrationTestFreezeDisplay.log b/src/Specific/IntegrationTestFreezeDisplay.log index e579ddf9d..723dca842 100644 --- a/src/Specific/IntegrationTestFreezeDisplay.log +++ b/src/Specific/IntegrationTestFreezeDisplay.log @@ -7,7 +7,7 @@ Interp-η uint64_t x16, bool x17 = subborrow_u51(x14, x6, 0x7ffffffffffff); uint64_t x19, bool x20 = subborrow_u51(x17, x8, 0x7ffffffffffff); uint64_t x22, bool x23 = subborrow_u51(x20, x7, 0x7ffffffffffff); - uint64_t x24 = (uint64_t) (Op (Syntax.Opp (Syntax.TWord 0) Syntax.TZ) (Return x23) == 0 ? 0x0 : 0xffffffffffffffffL); + uint64_t x24 = (uint64_t) (x23 == 0 ? 0x0 : 0xffffffffffffffffL); uint64_t x25 = x24 & 0x7ffffffffffed; uint64_t x27, bool x28 = addcarryx_u51(0x0, x10, x25); uint64_t x29 = x24 & 0x7ffffffffffff; |