diff --git a/test/libsolidity/smtCheckerTests/types/type_typehash.sol b/test/libsolidity/smtCheckerTests/types/type_typehash.sol
index 757f795bc..5d07027ba 100644
--- a/test/libsolidity/smtCheckerTests/types/type_typehash.sol
+++ b/test/libsolidity/smtCheckerTests/types/type_typehash.sol
@@ -40,6 +40,8 @@ contract C {
 // ====
 // SMTEngine: all
 // ----
-// Warning 6328: (416-468): CHC: Assertion violation happens here.
-// Warning 6328: (503-555): CHC: Assertion violation happens here.
-// Info 1391: CHC: 5 verification condition(s) proved safe! Enable the model checker option "show proved safe" to see all of them.
+// Warning 6328: (386-448): CHC: Assertion violation happens here.
+// Warning 6328: (452-524): CHC: Assertion violation happens here.
+// Warning 6328: (528-632): CHC: Assertion violation happens here.
+// Warning 6328: (642-763): CHC: Assertion violation happens here.
+// Warning 6328: (773-944): CHC: Assertion violation happens here.
diff --git a/test/libsolidity/syntaxTests/metaTypes/unsupported_arg_for_type.sol b/test/libsolidity/syntaxTests/metaTypes/unsupported_arg_for_type.sol
index a2b66a5b3..b4bcf4ab6 100644
--- a/test/libsolidity/syntaxTests/metaTypes/unsupported_arg_for_type.sol
+++ b/test/libsolidity/syntaxTests/metaTypes/unsupported_arg_for_type.sol
@@ -5,4 +5,4 @@ contract Test {
     }
 }
 // ----
-// TypeError 4259: (154-155): Invalid type for argument in the function call. An enum type, contract type, struct type or an integer type is required, but type(struct Test.S storage pointer) provided.
+// TypeError 4259: (129-136): Invalid type for argument in the function call. An enum type, contract type, struct type or an integer type is required, but type(bytes32) provided.