diff options
Diffstat (limited to 'src/Specific/IntegrationTestSubDisplay.log')
| -rw-r--r-- | src/Specific/IntegrationTestSubDisplay.log | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Specific/IntegrationTestSubDisplay.log b/src/Specific/IntegrationTestSubDisplay.log index 1d8934686..ae675b0e7 100644 --- a/src/Specific/IntegrationTestSubDisplay.log +++ b/src/Specific/IntegrationTestSubDisplay.log @@ -22,10 +22,10 @@ Interp-η uint64_t x37 = x36 >> 0x33; uint64_t x38 = x36 & 0x7ffffffffffff; uint64_t x39 = x26 + 0x13 * x37; - bool x40 = (bool) (x39 >> 0x33); + uint64_t x40 = x39 >> 0x33; uint64_t x41 = x39 & 0x7ffffffffffff; uint64_t x42 = x40 + x29; - bool x43 = (bool) (x42 >> 0x33); + uint64_t x43 = x42 >> 0x33; uint64_t x44 = x42 & 0x7ffffffffffff; return (Return x38, Return x35, x43 + x32, Return x44, Return x41)) (x, x0)%core |