diff --git a/test/libsolidity/semanticTests/various/flipping_sign_tests.sol b/test/libsolidity/semanticTests/various/flipping_sign_tests.sol
index 8309615a5c22..922494be778e 100644
--- a/test/libsolidity/semanticTests/various/flipping_sign_tests.sol
+++ b/test/libsolidity/semanticTests/various/flipping_sign_tests.sol
@@ -1,7 +1,7 @@
 contract test {
     function f() public returns (bool) {
         int256 x = -2**255;
-        assert(-x == x);
+        unchecked { assert(-x == x); }
         return true;
     }
 }
diff --git a/test/libsolidity/semanticTests/viaYul/erc20.sol b/test/libsolidity/semanticTests/viaYul/erc20.sol
index 7f16b8c28892..db9a5c877556 100644
--- a/test/libsolidity/semanticTests/viaYul/erc20.sol
+++ b/test/libsolidity/semanticTests/viaYul/erc20.sol
@@ -99,6 +99,6 @@ contract ERC20 {
 // totalSupply() -> 20
 // transfer(address,uint256): 2, 5 -> true
 // decreaseAllowance(address,uint256): 2, 0 -> true
-// decreaseAllowance(address,uint256): 2, 1 -> FAILURE
+// decreaseAllowance(address,uint256): 2, 1 -> FAILURE, hex"1f825c6a"
 // transfer(address,uint256): 2, 14 -> true
-// transfer(address,uint256): 2, 2 -> FAILURE
\ No newline at end of file
+// transfer(address,uint256): 2, 2 -> FAILURE, hex"1f825c6a"
diff --git a/test/libsolidity/semanticTests/viaYul/exp_neg_overflow.sol b/test/libsolidity/semanticTests/viaYul/exp_neg_overflow.sol
index c3a5064d4643..56fcfcdc663a 100644
--- a/test/libsolidity/semanticTests/viaYul/exp_neg_overflow.sol
+++ b/test/libsolidity/semanticTests/viaYul/exp_neg_overflow.sol
@@ -21,15 +21,15 @@ contract C {
 // f(int8,uint256): -7, 2 -> 0x31
 // f(int8,uint256): -7, 3 -> FAILURE
 // f(int8,uint256): -7, 4 -> FAILURE
-// f(int8,uint256): 127, 31 -> FAILURE
-// f(int8,uint256): 127, 131 -> FAILURE
+// f(int8,uint256): 127, 31 -> FAILURE, hex"1f825c6a"
+// f(int8,uint256): 127, 131 -> FAILURE, hex"1f825c6a"
 // f(int8,uint256): -128, 0 -> 1
 // f(int8,uint256): -128, 1 -> -128
-// f(int8,uint256): -128, 31 -> FAILURE
-// f(int8,uint256): -128, 131 -> FAILURE
+// f(int8,uint256): -128, 31 -> FAILURE, hex"1f825c6a"
+// f(int8,uint256): -128, 131 -> FAILURE, hex"1f825c6a"
 // f(int8,uint256): -11, 2 -> 121
-// f(int8,uint256): -12, 2 -> FAILURE
-// f(int8,uint256): 12, 2 -> FAILURE
+// f(int8,uint256): -12, 2 -> FAILURE, hex"1f825c6a"
+// f(int8,uint256): 12, 2 -> FAILURE, hex"1f825c6a"
 // f(int8,uint256): -5, 3 -> -125
 // f(int8,uint256): -6, 3 -> FAILURE
 // g(int256,uint256): -7, 90 -> 11450477594321044359340126713545146077054004823284978858214566372120240027249
diff --git a/test/libsolidity/semanticTests/viaYul/exp_overflow.sol b/test/libsolidity/semanticTests/viaYul/exp_overflow.sol
index 18074226a5fc..1caca31a5cf4 100644
--- a/test/libsolidity/semanticTests/viaYul/exp_overflow.sol
+++ b/test/libsolidity/semanticTests/viaYul/exp_overflow.sol
@@ -10,22 +10,22 @@ contract C {
 // compileViaYul: also
 // ----
 // f(uint8,uint8): 2, 7 -> 0x80
-// f(uint8,uint8): 2, 8 -> FAILURE
+// f(uint8,uint8): 2, 8 -> FAILURE, hex"1f825c6a"
 // f(uint8,uint8): 15, 2 -> 225
 // f(uint8,uint8): 6, 3 -> 0xd8
 // f(uint8,uint8): 7, 2 -> 0x31
-// f(uint8,uint8): 7, 3 -> FAILURE
-// f(uint8,uint8): 7, 4 -> FAILURE
-// f(uint8,uint8): 255, 31 -> FAILURE
-// f(uint8,uint8): 255, 131 -> FAILURE
+// f(uint8,uint8): 7, 3 -> FAILURE, hex"1f825c6a"
+// f(uint8,uint8): 7, 4 -> FAILURE, hex"1f825c6a"
+// f(uint8,uint8): 255, 31 -> FAILURE, hex"1f825c6a"
+// f(uint8,uint8): 255, 131 -> FAILURE, hex"1f825c6a"
 // g(uint256,uint256): 0x200000000000000000000000000000000, 1 -> 0x0200000000000000000000000000000000
-// g(uint256,uint256): 0x100000000000000000000000000000010, 2 -> FAILURE
-// g(uint256,uint256): 0x200000000000000000000000000000000, 2 -> FAILURE
-// g(uint256,uint256): 0x200000000000000000000000000000000, 3 -> FAILURE
+// g(uint256,uint256): 0x100000000000000000000000000000010, 2 -> FAILURE, hex"1f825c6a"
+// g(uint256,uint256): 0x200000000000000000000000000000000, 2 -> FAILURE, hex"1f825c6a"
+// g(uint256,uint256): 0x200000000000000000000000000000000, 3 -> FAILURE, hex"1f825c6a"
 // g(uint256,uint256): 255, 31 -> 400631961586894742455537928461950192806830589109049416147172451019287109375
 // g(uint256,uint256): 255, 32 -> -13630939032658036097408813250890608687528184442832962921928608997994916749311
-// g(uint256,uint256): 255, 33 -> FAILURE
-// g(uint256,uint256): 255, 131 -> FAILURE
+// g(uint256,uint256): 255, 33 -> FAILURE, hex"1f825c6a"
+// g(uint256,uint256): 255, 131 -> FAILURE, hex"1f825c6a"
 // g(uint256,uint256): 258, 31 -> 575719427506838823084316385994930914701079543089399988096291424922125729792
-// g(uint256,uint256): 258, 37 -> FAILURE
-// g(uint256,uint256): 258, 131 -> FAILURE
+// g(uint256,uint256): 258, 37 -> FAILURE, hex"1f825c6a"
+// g(uint256,uint256): 258, 131 -> FAILURE, hex"1f825c6a"