From 00e765f4787a45470212e06d25daa8436d1a7855 Mon Sep 17 00:00:00 2001
From: Djordje Mijovic <djordje.mijovic@gmail.com>
Date: Sat, 22 Aug 2020 07:52:55 +0200
Subject: [PATCH] Fix tests for conditional operator on latest develop.

---
 .../operators/conditional_assignment_function_2.sol             | 2 +-
 .../operators/conditional_assignment_statevar_1.sol             | 1 -
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/test/libsolidity/smtCheckerTests/operators/conditional_assignment_function_2.sol b/test/libsolidity/smtCheckerTests/operators/conditional_assignment_function_2.sol
index a934a273c..47ec79ab5 100644
--- a/test/libsolidity/smtCheckerTests/operators/conditional_assignment_function_2.sol
+++ b/test/libsolidity/smtCheckerTests/operators/conditional_assignment_function_2.sol
@@ -16,4 +16,4 @@ contract C {
     }
 }
 // ----
-// Warning 6328: (378-392): Assertion violation happens here.
+// Warning 6328: (378-392): Assertion violation happens here
diff --git a/test/libsolidity/smtCheckerTests/operators/conditional_assignment_statevar_1.sol b/test/libsolidity/smtCheckerTests/operators/conditional_assignment_statevar_1.sol
index 07cf3fef4..3c402fceb 100644
--- a/test/libsolidity/smtCheckerTests/operators/conditional_assignment_statevar_1.sol
+++ b/test/libsolidity/smtCheckerTests/operators/conditional_assignment_statevar_1.sol
@@ -10,4 +10,3 @@ contract C {
     }
 }
 // ----
-// Warning 2661: (129-134): Overflow (resulting value larger than 2**256 - 1) happens here