From 7fea159d27aaa86bd595a96d4cb252d0addf5ed0 Mon Sep 17 00:00:00 2001 From: chriseth Date: Mon, 25 Mar 2019 18:04:01 +0100 Subject: [PATCH] Test adjustments [TO BE SQUASHED] --- .../valueConstraintBasedSimplifier/bits.yul | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/test/libyul/yulOptimizerTests/valueConstraintBasedSimplifier/bits.yul b/test/libyul/yulOptimizerTests/valueConstraintBasedSimplifier/bits.yul index cf55cfbe2..e16f810be 100644 --- a/test/libyul/yulOptimizerTests/valueConstraintBasedSimplifier/bits.yul +++ b/test/libyul/yulOptimizerTests/valueConstraintBasedSimplifier/bits.yul @@ -12,8 +12,8 @@ // a: // = 65535 // b: -// min: 0 -// max: 0x10 * 2**32 - 1 +// min: 0x0fFFF00000 +// max: 0x0fFFF000ff // minB: 0x0fFFF00000 // maxB: 0x0fFFF000ff // c: @@ -26,8 +26,8 @@ // minB: 0 // maxB: 255 // f: -// min: 0 -// max: 2**256 - 1 +// min: 0xFFFFffffFFFFffffFFFFffffFFFFffffFFFFffffFFFFffffFFFFfff0000Fff00 +// max: 0xFFFFffffFFFFffffFFFFffffFFFFffffFFFFffffFFFFffffFFFFfff0000Fffff // minB: 0xFFFFffffFFFFffffFFFFffffFFFFffffFFFFffffFFFFffffFFFFfff0000Fff00 // maxB: 0xFFFFffffFFFFffffFFFFffffFFFFffffFFFFffffFFFFffffFFFFfff0000Fffff // g: