From 3fea11e1a9c6ce7bafd44b473a2de7fb18364ecf Mon Sep 17 00:00:00 2001
From: Leonardo Alt <leo@ethereum.org>
Date: Fri, 11 Sep 2020 22:02:18 +0200
Subject: [PATCH] Remove problematic test

---
 .../operators/shifts/shift_right_uint8.sol    | 19 -------------------
 1 file changed, 19 deletions(-)
 delete mode 100644 test/libsolidity/smtCheckerTests/operators/shifts/shift_right_uint8.sol

diff --git a/test/libsolidity/smtCheckerTests/operators/shifts/shift_right_uint8.sol b/test/libsolidity/smtCheckerTests/operators/shifts/shift_right_uint8.sol
deleted file mode 100644
index 24cc9b023..000000000
--- a/test/libsolidity/smtCheckerTests/operators/shifts/shift_right_uint8.sol
+++ /dev/null
@@ -1,19 +0,0 @@
-pragma experimental SMTChecker;
-
-contract C {
-    function f(uint8 a, uint8 b) internal pure returns (uint256) {
-        return a >> b;
-    }
-	function t() public pure {
-		assert(f(0x66, 0) == 0x66);
-		// Fails because the above is true.
-		assert(f(0x66, 0) == 0x6);
-
-		assert(f(0x66, 8) == 0);
-		// Fails because the above is true.
-		assert(f(0x66, 8) == 1);
-	}
-}
-// ----
-// Warning 6328: (240-265): Assertion violation happens here.
-// Warning 6328: (335-358): Assertion violation happens here.