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