From 4ace0ed82c029795a8f0cad8aaf0998e1459ad96 Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Sun, 17 Apr 2022 18:11:30 +0200
Subject: [PATCH] Correct test.

---
 .../yulOptimizerTests/reasoningBasedSimplifier/loopinc.yul      | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/libyul/yulOptimizerTests/reasoningBasedSimplifier/loopinc.yul b/test/libyul/yulOptimizerTests/reasoningBasedSimplifier/loopinc.yul
index 2bfc0d07c..19b09c6c6 100644
--- a/test/libyul/yulOptimizerTests/reasoningBasedSimplifier/loopinc.yul
+++ b/test/libyul/yulOptimizerTests/reasoningBasedSimplifier/loopinc.yul
@@ -4,7 +4,7 @@
     let x := 0
     for {} lt(x, y) { } {
         // overflow check
-        if not(x) { revert(0, 0) }
+        if iszero(not(x)) { revert(0, 0) }
         // different way to do overflow check
         if lt(add(x, 1), x) { revert(0, 0) }
         sum := calldataload(add(0x20, mul(x, 0x20)))