From 792dba0826c865dcc8e8de9e3765c5f4160d925c Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sat, 20 May 2017 00:08:54 -0400 Subject: make display (freeze, fully notationified) After | File Name | Before || Change -------------------------------------------- 0m00.00s | Total | 0m00.00s || +0m00.00s -------------------------------------------- --- src/Specific/IntegrationTestFreezeDisplay.log | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') 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; -- cgit v1.2.3