diff options
author | 2017-05-15 18:09:55 -0400 | |
---|---|---|
committer | 2017-05-17 17:16:47 -0400 | |
commit | 9d6450ac654639f19d703b1d8a00f6d027d98eaa (patch) | |
tree | 9177af8b4969b0846178144ce73a06010db25ba7 /src/Specific/IntegrationTestSubDisplay.log | |
parent | 2674181a88e4eea11e11fca676c257886b3805dd (diff) |
make display (with adc, bool)
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 ae675b0e7..1d8934686 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; - uint64_t x40 = x39 >> 0x33; + bool x40 = (bool) (x39 >> 0x33); uint64_t x41 = x39 & 0x7ffffffffffff; uint64_t x42 = x40 + x29; - uint64_t x43 = x42 >> 0x33; + bool x43 = (bool) (x42 >> 0x33); uint64_t x44 = x42 & 0x7ffffffffffff; return (Return x38, Return x35, x43 + x32, Return x44, Return x41)) (x, x0)%core |