From 1eda20655206ed364195d48775702cca192885e3 Mon Sep 17 00:00:00 2001
From: Mathias Baumann <git@supradigital.org>
Date: Mon, 6 Jan 2020 17:16:04 +0100
Subject: [PATCH] Make sure all errors/warnings terminate with ".", "?" or "!"

---
 liblangutil/ErrorReporter.cpp                 | 21 ++++++++
 liblangutil/ParserBase.cpp                    |  4 +-
 libsolidity/analysis/ContractLevelChecker.cpp |  2 +-
 libsolidity/analysis/NameAndTypeResolver.cpp  |  6 +--
 libsolidity/analysis/TypeChecker.cpp          |  4 +-
 libsolidity/formal/BMC.cpp                    |  7 ++-
 libsolidity/interface/StandardCompiler.cpp    | 38 +++++++------
 libsolidity/parsing/DocStringParser.cpp       |  2 +-
 libsolidity/parsing/Parser.cpp                |  6 +--
 libyul/AsmAnalysis.cpp                        |  6 +--
 .../recovery_standard_json/output.json        |  4 +-
 .../output.json                               |  2 +-
 .../output.json                               |  2 +-
 .../output.json                               |  2 +-
 .../output.json                               |  2 +-
 .../standard_wrong_key_metadata/output.json   |  2 +-
 .../standard_wrong_key_optimizer/output.json  |  2 +-
 .../standard_wrong_key_root/output.json       |  2 +-
 .../standard_wrong_key_settings/output.json   |  2 +-
 .../standard_wrong_key_source/output.json     |  2 +-
 .../output.json                               |  2 +-
 .../standard_wrong_type_metadata/output.json  |  2 +-
 .../standard_wrong_type_optimizer/output.json |  2 +-
 .../output.json                               |  2 +-
 .../output.json                               |  2 +-
 .../output.json                               |  2 +-
 .../output.json                               |  2 +-
 .../output.json                               |  2 +-
 .../standard_wrong_type_settings/output.json  |  2 +-
 .../standard_wrong_type_source/output.json    |  2 +-
 .../output.json                               |  2 +-
 test/libsolidity/InlineAssembly.cpp           | 54 +++++++++----------
 .../SolidityNameAndTypeResolution.cpp         |  4 +-
 test/libsolidity/StandardCompiler.cpp         |  4 +-
 .../errorRecoveryTests/contract_recovery.sol  |  2 +-
 .../do_not_delete_at_error.sol                |  2 +-
 .../errorRecoveryTests/error_to_eos.sol       |  4 +-
 .../errorRecoveryTests/multiple_errors.sol    |  8 +--
 .../control_flow/short_circuit_and.sol        |  2 +-
 .../control_flow/short_circuit_and_fail.sol   |  4 +-
 .../short_circuit_and_inside_branch.sol       |  4 +-
 .../short_circuit_and_need_both.sol           |  2 +-
 .../short_circuit_and_need_both_fail.sol      |  4 +-
 .../control_flow/short_circuit_or.sol         |  2 +-
 .../control_flow/short_circuit_or_fail.sol    |  4 +-
 .../short_circuit_or_inside_branch.sol        |  4 +-
 .../short_circuit_or_need_both.sol            |  2 +-
 .../short_circuit_or_need_both_fail.sol       |  4 +-
 .../ways_to_merge_variables_1.sol             |  2 +-
 .../ways_to_merge_variables_2.sol             |  2 +-
 .../ways_to_merge_variables_3.sol             |  2 +-
 .../functions/constructor_hierarchy.sol       |  2 +-
 .../functions/constructor_hierarchy_2.sol     |  2 +-
 .../functions/constructor_hierarchy_3.sol     |  2 +-
 .../functions/constructor_hierarchy_4.sol     |  6 +--
 .../constructor_hierarchy_diamond.sol         |  4 +-
 .../constructor_hierarchy_diamond_2.sol       |  4 +-
 .../constructor_hierarchy_diamond_3.sol       | 10 ++--
 ...tructor_hierarchy_diamond_empty_middle.sol |  2 +-
 .../constructor_hierarchy_empty_chain.sol     |  2 +-
 .../constructor_hierarchy_empty_middle.sol    |  2 +-
 ...r_hierarchy_empty_middle_no_invocation.sol |  2 +-
 .../constructor_hierarchy_mixed_chain.sol     |  2 +-
 ...uctor_hierarchy_mixed_chain_local_vars.sol |  2 +-
 ...ctor_hierarchy_mixed_chain_with_params.sol |  4 +-
 ...or_hierarchy_mixed_chain_with_params_2.sol |  4 +-
 .../constructor_hierarchy_modifier.sol        |  2 +-
 .../constructor_hierarchy_same_var.sol        |  2 +-
 .../functions/constructor_simple.sol          |  2 +-
 .../functions/constructor_state_value.sol     |  2 +-
 .../constructor_state_value_inherited.sol     |  2 +-
 .../constructor_state_value_parameter.sol     |  4 +-
 .../function_call_state_var_init.sol          |  4 +-
 .../functions/function_inline_chain.sol       |  4 +-
 ...unction_inside_branch_modify_state_var.sol |  2 +-
 ...ction_inside_branch_modify_state_var_3.sol |  4 +-
 .../functions/functions_bound_1_fail.sol      |  2 +-
 .../functions/functions_external_1.sol        |  2 +-
 .../functions/functions_external_2.sol        |  2 +-
 .../functions/functions_external_3.sol        |  2 +-
 .../functions/functions_external_4.sol        |  2 +-
 .../functions/functions_identity_1_fail.sol   |  2 +-
 .../functions/functions_identity_2_fail.sol   |  2 +-
 .../functions_identity_as_tuple_fail.sol      |  2 +-
 .../functions/functions_library_1_fail.sol    |  2 +-
 .../functions_storage_var_1_fail.sol          |  2 +-
 .../functions_storage_var_2_fail.sol          |  2 +-
 .../smtCheckerTests/functions/this_fake.sol   |  2 +-
 ...ctor_hierarchy_mixed_chain_with_params.sol |  4 +-
 .../constructor_state_variable_init.sol       |  2 +-
 .../constructor_state_variable_init_base.sol  |  2 +-
 .../constructor_state_variable_init_chain.sol |  2 +-
 ...or_state_variable_init_chain_alternate.sol |  2 +-
 ...ctor_state_variable_init_chain_run_all.sol |  6 +--
 ...or_state_variable_init_chain_run_all_2.sol |  4 +-
 ...onstructor_state_variable_init_diamond.sol |  2 +-
 ...tor_state_variable_init_diamond_middle.sol |  2 +-
 ...ctor_state_variable_init_function_call.sol |  4 +-
 .../smtCheckerTests/inheritance/fallback.sol  |  8 +--
 .../inheritance/fallback_receive.sol          | 10 ++--
 .../inheritance/functions_1.sol               |  8 +--
 .../inheritance/functions_2.sol               |  8 +--
 .../inheritance/functions_3.sol               | 18 +++----
 .../smtCheckerTests/inheritance/receive.sol   |  8 +--
 .../inheritance/receive_fallback.sol          | 10 ++--
 .../invariants/state_machine_1_fail.sol       |  4 +-
 .../smtCheckerTests/loops/do_while_1_fail.sol |  6 +--
 .../loops/do_while_1_false_positives.sol      |  4 +-
 .../loops/do_while_break_2_fail.sol           |  4 +-
 .../loops/do_while_break_fail.sol             |  4 +-
 .../loops/for_1_break_fail.sol                |  4 +-
 .../loops/for_1_continue_fail.sol             |  4 +-
 .../smtCheckerTests/loops/for_1_fail.sol      |  6 +--
 .../loops/for_1_false_positive.sol            |  6 +--
 .../smtCheckerTests/loops/for_loop_4.sol      |  4 +-
 .../smtCheckerTests/loops/for_loop_5.sol      |  4 +-
 ...or_loop_array_assignment_memory_memory.sol |  8 ++-
 ...r_loop_array_assignment_memory_storage.sol |  6 +--
 ...r_loop_array_assignment_storage_memory.sol |  4 +-
 ..._loop_array_assignment_storage_storage.sol |  6 +--
 .../loops/while_1_break_fail.sol              |  4 +-
 .../loops/while_1_continue_fail.sol           |  4 +-
 .../smtCheckerTests/loops/while_1_fail.sol    |  4 +-
 .../loops/while_2_break_fail.sol              |  4 +-
 ...le_loop_array_assignment_memory_memory.sol |  8 ++-
 ...e_loop_array_assignment_memory_storage.sol |  6 +--
 ..._loop_array_assignment_storage_storage.sol |  6 +--
 .../loops/while_loop_simple_1.sol             |  4 +-
 .../loops/while_loop_simple_3.sol             |  4 +-
 .../loops/while_loop_simple_5.sol             |  4 +-
 .../loops/while_nested_break_fail.sol         |  6 +--
 .../loops/while_nested_continue_fail.sol      |  6 +--
 .../modifier_code_after_placeholder.sol       |  2 +-
 .../modifiers/modifier_control_flow.sol       |  2 +-
 .../modifier_inside_branch_assignment.sol     |  2 +-
 ...nside_branch_assignment_multi_branches.sol |  2 +-
 .../modifiers/modifier_multi.sol              |  2 +-
 .../modifiers/modifier_multi_functions.sol    |  2 +-
 .../modifier_multi_functions_recursive.sol    |  2 +-
 .../modifiers/modifier_multi_parameters.sol   |  2 +-
 .../modifiers/modifier_overflow.sol           |  2 +-
 .../modifiers/modifier_parameter_copy.sol     |  2 +-
 .../modifier_same_local_variables.sol         |  2 +-
 .../modifiers/modifier_two_placeholders.sol   |  2 +-
 .../operators/compound_add.sol                |  2 +-
 .../operators/compound_add_array_index.sol    |  2 +-
 .../operators/compound_add_mapping.sol        |  2 +-
 .../compound_assignment_division_1.sol        |  2 +-
 .../compound_assignment_division_2.sol        |  2 +-
 .../compound_assignment_division_3.sol        |  2 +-
 .../operators/compound_bitwise_and_1.sol      |  2 +-
 .../operators/compound_bitwise_or_1.sol       |  2 +-
 .../operators/compound_bitwise_xor_1.sol      |  2 +-
 .../operators/compound_mul.sol                |  2 +-
 .../operators/compound_mul_array_index.sol    |  2 +-
 .../operators/compound_mul_mapping.sol        |  2 +-
 .../operators/compound_shl_1.sol              |  2 +-
 .../operators/compound_shr_1.sol              |  2 +-
 .../operators/compound_sub.sol                |  2 +-
 .../operators/compound_sub_array_index.sol    |  2 +-
 .../operators/compound_sub_mapping.sol        |  2 +-
 .../operators/delete_struct.sol               |  2 +-
 .../smtCheckerTests/operators/division_1.sol  |  2 +-
 .../smtCheckerTests/operators/division_3.sol  |  2 +-
 .../smtCheckerTests/operators/unary_add.sol   |  2 +-
 .../operators/unary_add_array.sol             |  2 +-
 .../operators/unary_add_mapping.sol           |  2 +-
 .../smtCheckerTests/operators/unary_sub.sol   |  2 +-
 .../operators/unary_sub_array.sol             |  2 +-
 .../operators/unary_sub_mapping.sol           |  2 +-
 .../smtCheckerTests/overflow/overflow_mul.sol |  4 +-
 .../overflow/overflow_mul_signed.sol          |  4 +-
 .../smtCheckerTests/overflow/overflow_sum.sol |  4 +-
 .../overflow/overflow_sum_signed.sol          |  6 +--
 .../overflow/simple_overflow.sol              |  2 +-
 .../overflow/underflow_sub.sol                |  4 +-
 .../overflow/underflow_sub_signed.sol         |  6 +--
 .../abi_decode_memory_v2_value_types.sol      |  2 +-
 .../special/abi_decode_simple.sol             |  4 +-
 .../smtCheckerTests/special/blockhash.sol     |  4 +-
 .../smtCheckerTests/special/difficulty.sol    |  2 +-
 .../smtCheckerTests/special/gasleft.sol       |  4 +-
 .../smtCheckerTests/special/many.sol          | 16 +++---
 .../smtCheckerTests/special/msg_data.sol      |  2 +-
 .../special/msg_sender_fail_1.sol             |  2 +-
 .../smtCheckerTests/special/msg_sig.sol       |  2 +-
 .../smtCheckerTests/special/this.sol          |  2 +-
 .../typecast/cast_different_size_1.sol        |  6 +--
 .../typecast/cast_larger_2_fail.sol           |  2 +-
 .../typecast/cast_larger_3.sol                |  4 +-
 .../typecast/cast_smaller_2.sol               |  2 +-
 .../typecast/cast_smaller_3.sol               |  2 +-
 .../typecast/enum_from_uint.sol               |  2 +-
 ...unction_type_to_function_type_external.sol |  2 +-
 ...unction_type_to_function_type_internal.sol |  4 +-
 ...g_literal_to_fixed_bytes_function_call.sol |  6 +--
 ...string_literal_to_fixed_bytes_modifier.sol |  2 +-
 .../string_literal_to_fixed_bytes_return.sol  |  2 +-
 ...ng_literal_to_fixed_bytes_return_multi.sol |  2 +-
 .../smtCheckerTests/types/address_balance.sol |  4 +-
 .../smtCheckerTests/types/address_call.sol    |  8 +--
 .../types/address_delegatecall.sol            |  8 +--
 .../types/address_staticcall.sol              |  8 +--
 .../types/address_transfer.sol                |  4 +-
 .../types/address_transfer_2.sol              |  6 +--
 .../types/address_transfer_insufficient.sol   |  6 +--
 .../types/array_aliasing_memory_1.sol         |  6 +--
 .../types/array_aliasing_memory_2.sol         |  2 +-
 .../types/array_aliasing_memory_3.sol         |  2 +-
 .../types/array_aliasing_storage_1.sol        | 10 ++--
 .../types/array_aliasing_storage_2.sol        |  2 +-
 .../types/array_aliasing_storage_3.sol        |  2 +-
 .../types/array_aliasing_storage_4.sol        |  4 +-
 .../types/array_aliasing_storage_5.sol        |  2 +-
 .../smtCheckerTests/types/array_branch_1d.sol |  2 +-
 .../smtCheckerTests/types/array_branch_2d.sol |  2 +-
 .../smtCheckerTests/types/array_branch_3d.sol |  2 +-
 .../types/array_dynamic_1_fail.sol            |  2 +-
 .../types/array_dynamic_2_fail.sol            |  2 +-
 .../types/array_dynamic_3_fail.sol            |  2 +-
 .../types/array_dynamic_parameter_1_fail.sol  |  2 +-
 .../types/array_mapping_aliasing_1.sol        |  4 +-
 .../types/array_mapping_aliasing_2.sol        |  2 +-
 .../types/array_static_1_fail.sol             |  2 +-
 .../types/array_static_2_fail.sol             |  2 +-
 .../types/array_static_3_fail.sol             |  2 +-
 .../types/array_static_aliasing_memory_5.sol  |  4 +-
 .../types/array_static_aliasing_storage_5.sol |  2 +-
 .../types/array_static_mapping_aliasing_1.sol |  4 +-
 .../types/array_static_mapping_aliasing_2.sol |  2 +-
 .../types/array_struct_array_branches_2d.sol  |  2 +-
 .../smtCheckerTests/types/bool_simple_1.sol   |  2 +-
 .../smtCheckerTests/types/bool_simple_2.sol   |  2 +-
 .../smtCheckerTests/types/bytes_2_fail.sol    |  2 +-
 .../smtCheckerTests/types/contract.sol        |  2 +-
 .../smtCheckerTests/types/contract_2.sol      |  2 +-
 .../types/contract_address_conversion.sol     |  2 +-
 .../types/enum_explicit_values_2.sol          |  2 +-
 .../types/enum_in_library_2.sol               |  2 +-
 .../smtCheckerTests/types/enum_in_struct.sol  |  2 +-
 .../smtCheckerTests/types/enum_storage_eq.sol |  2 +-
 .../smtCheckerTests/types/fixed_bytes_1.sol   |  4 +-
 .../types/function_type_external_address.sol  |  2 +-
 .../smtCheckerTests/types/mapping_1_fail.sol  |  2 +-
 .../smtCheckerTests/types/mapping_2.sol       |  2 +-
 .../types/mapping_2d_1_fail.sol               |  2 +-
 .../types/mapping_3d_1_fail.sol               |  2 +-
 .../smtCheckerTests/types/mapping_5.sol       |  2 +-
 .../types/mapping_aliasing_1.sol              |  2 +-
 .../types/mapping_aliasing_2.sol              |  6 +--
 .../types/mapping_as_local_var_1.sol          |  4 +-
 .../types/mapping_as_parameter_1.sol          |  2 +-
 .../types/mapping_equal_keys_2.sol            |  2 +-
 .../types/rational_large_1.sol                |  2 +-
 .../types/storage_value_vars_1.sol            |  2 +-
 .../types/storage_value_vars_2.sol            |  2 +-
 .../types/storage_value_vars_4.sol            |  2 +-
 .../smtCheckerTests/types/string_1.sol        |  2 +-
 .../types/string_literal_assignment_1.sol     |  2 +-
 .../types/string_literal_assignment_2.sol     |  2 +-
 .../types/string_literal_assignment_3.sol     |  2 +-
 .../types/string_literal_assignment_4.sol     |  2 +-
 .../types/string_literal_assignment_5.sol     |  2 +-
 .../types/string_literal_comparison_1.sol     |  2 +-
 .../types/string_literal_comparison_2.sol     |  2 +-
 .../types/struct_array_branches_1d.sol        |  2 +-
 .../types/struct_array_branches_2d.sol        |  2 +-
 .../types/struct_array_branches_3d.sol        |  2 +-
 .../types/tuple_assignment_array_empty.sol    |  2 +-
 .../types/tuple_assignment_compound.sol       |  2 +-
 .../types/tuple_assignment_empty.sol          |  2 +-
 .../types/tuple_declarations_function_2.sol   |  2 +-
 .../tuple_declarations_function_empty.sol     |  2 +-
 .../smtCheckerTests/types/tuple_function.sol  |  2 +-
 .../types/tuple_function_2.sol                |  2 +-
 .../types/tuple_function_3.sol                |  2 +-
 .../verification_target/simple_assert.sol     |  2 +-
 .../libsolidity/smtCheckerTestsJSON/multi.sol |  4 +-
 .../smtCheckerTestsJSON/simple.sol            |  2 +-
 .../syntaxTests/emit/emit_non_event.sol       |  2 +-
 .../inheritance/override/function_pointer.sol |  2 +-
 .../override/override_empty_list.sol          |  2 +-
 .../override/override_multiple_fail1.sol      |  2 +-
 .../override/override_multiple_fail2.sol      |  2 +-
 .../override/override_multiple_fail3.sol      |  2 +-
 .../override/override_multiple_fail4.sol      |  2 +-
 .../invalid/bare_instructions_disallowed.sol  |  2 +-
 .../invalid/empty_function_name.sol           |  2 +-
 .../invalid/unbalanced_negative_stack.sol     |  2 +-
 .../inlineAssembly/istanbul_on_petersburg.sol |  4 +-
 .../typeNotRegularIdentifierContractName.sol  |  2 +-
 .../typeNotRegularIdentifierFunction.sol      |  2 +-
 .../typeNotRegularIdentifierParameter.sol     |  2 +-
 .../typeNotRegularIdentifierStateVariable.sol |  2 +-
 .../typeNotRegularIdentifierVariable.sol      |  2 +-
 .../056_cyclic_inheritance.sol                |  2 +-
 .../227_library_having_variables.sol          |  2 +-
 ...clic_binary_dependency_via_inheritance.sol |  2 +-
 .../406_invalid_address_checksum.sol          |  2 +-
 .../407_invalid_address_no_checksum.sol       |  2 +-
 .../408_invalid_address_length_short.sol      |  2 +-
 .../409_invalid_address_length_long.sol       |  2 +-
 .../462_callable_crash.sol                    |  2 +-
 .../492_do_not_crash_on_not_lvalue.sol        |  2 +-
 .../parsing/address_constant_payable.sol      |  2 +-
 .../parsing/address_payable_conversion.sol    |  2 +-
 .../address_payable_type_expression.sol       |  2 +-
 .../parsing/address_public_payable_error.sol  |  2 +-
 .../parsing/constant_is_keyword.sol           |  2 +-
 .../parsing/emit_without_event.sol            |  2 +-
 .../parsing/event_with_no_argument_list.sol   |  2 +-
 .../syntaxTests/parsing/external_variable.sol |  2 +-
 .../fixed_literal_with_double_radix.sol       |  2 +-
 ...ype_as_storage_variable_with_modifiers.sol |  2 +-
 .../parsing/local_const_variable.sol          |  2 +-
 ...ocation_specifiers_for_state_variables.sol |  2 +-
 ...n_specifiers_for_state_variables_multi.sol |  2 +-
 .../parsing/mapping_from_address_payable.sol  |  2 +-
 .../parsing/mapping_nonelementary_key_1.sol   |  2 +-
 .../parsing/mapping_nonelementary_key_2.sol   |  2 +-
 .../parsing/mapping_nonelementary_key_3.sol   |  2 +-
 .../parsing/mapping_nonelementary_key_4.sol   |  2 +-
 .../missing_parameter_name_in_named_args.sol  |  2 +-
 .../missing_variable_name_in_declaration.sol  |  2 +-
 .../parsing/modifier_without_semicolon.sol    |  2 +-
 .../parsing/payable_without_arguments.sol     |  2 +-
 .../syntaxTests/parsing/trailing_dot2.sol     |  2 +-
 .../syntaxTests/parsing/trailing_dot3.sol     |  2 +-
 .../parsing/tuples_decl_without_rhs.sol       |  2 +-
 .../parsing/tuples_without_commas.sol         |  2 +-
 .../syntaxTests/parsing/var_array.sol         |  2 +-
 .../variable_definition_in_mapping.sol        |  2 +-
 ...ariable_function_conflict_former_crash.sol |  2 +-
 .../abidecode/abi_decode_calldata.sol         |  2 +-
 .../abidecode/abi_decode_memory.sol           |  2 +-
 .../abidecode/abi_decode_storage.sol          |  2 +-
 ...g_multipart_newline_without_hex_prefix.sol |  2 +-
 .../string/string_multipart_only_hex.sol      |  2 +-
 .../string/string_multipart_only_regular.sol  |  2 +-
 .../structs/address_member_declaration.sol    |  2 +-
 .../syntaxTests/tryCatch/empty_catch.sol      |  2 +-
 .../syntaxTests/tryCatch/empty_returns.sol    |  2 +-
 .../syntaxTests/tryCatch/no_catch.sol         |  2 +-
 .../tupleAssignments/double_storage_crash.sol |  2 +-
 .../syntaxTests/types/function_call_fail.sol  |  2 +-
 .../unterminatedBlocks/one_dot.sol            |  2 +-
 .../unterminatedBlocks/zero_dot.sol           |  2 +-
 test/libyul/Parser.cpp                        | 28 +++++-----
 348 files changed, 568 insertions(+), 592 deletions(-)

diff --git a/liblangutil/ErrorReporter.cpp b/liblangutil/ErrorReporter.cpp
index f844a9740..65fd799b8 100644
--- a/liblangutil/ErrorReporter.cpp
+++ b/liblangutil/ErrorReporter.cpp
@@ -42,6 +42,23 @@ std::string quoteSpace(std::string const& _name)
 
 }
 
+void checkMessage(string const _message)
+{
+	if (
+		_message.size() == 0 ||
+		_message[_message.size()-1] == '.' ||
+		_message[_message.size()-1] == '?' ||
+		_message[_message.size()-1] == '!'
+	)
+		return;
+
+	solAssert(
+		false,
+		"Error/Warning not terminating with \".\", \"!\" or \"?\": " +
+		_message
+	);
+}
+
 ErrorReporter& ErrorReporter::operator=(ErrorReporter const& _errorReporter)
 {
 	if (&_errorReporter == this)
@@ -83,6 +100,8 @@ void ErrorReporter::error(Error::Type _type, SourceLocation const& _location, st
 		errinfo_sourceLocation(_location) <<
 		util::errinfo_comment(_description);
 
+	checkMessage(_description);
+
 	m_errorList.push_back(err);
 }
 
@@ -97,6 +116,8 @@ void ErrorReporter::error(Error::Type _type, SourceLocation const& _location, Se
 		errinfo_secondarySourceLocation(_secondaryLocation) <<
 		util::errinfo_comment(_description);
 
+	checkMessage(_description);
+
 	m_errorList.push_back(err);
 }
 
diff --git a/liblangutil/ParserBase.cpp b/liblangutil/ParserBase.cpp
index a732d74d6..11ecf2210 100644
--- a/liblangutil/ParserBase.cpp
+++ b/liblangutil/ParserBase.cpp
@@ -82,9 +82,9 @@ void ParserBase::expectToken(Token _value, bool _advance)
 	{
 		string const expectedToken = ParserBase::tokenName(_value);
 		if (m_parserErrorRecovery)
-			parserError("Expected " + expectedToken + " but got " + tokenName(tok));
+			parserError("Expected " + expectedToken + " but got " + tokenName(tok) + ".");
 		else
-			fatalParserError("Expected " + expectedToken + " but got " + tokenName(tok));
+			fatalParserError("Expected " + expectedToken + " but got " + tokenName(tok) + ".");
 		// Do not advance so that recovery can sync or make use of the current token.
 		// This is especially useful if the expected token
 		// is the only one that is missing and is at the end of a construct.
diff --git a/libsolidity/analysis/ContractLevelChecker.cpp b/libsolidity/analysis/ContractLevelChecker.cpp
index 5d7254c9a..15c705fd1 100644
--- a/libsolidity/analysis/ContractLevelChecker.cpp
+++ b/libsolidity/analysis/ContractLevelChecker.cpp
@@ -384,7 +384,7 @@ void ContractLevelChecker::checkLibraryRequirements(ContractDefinition const& _c
 
 	for (auto const& var: _contract.stateVariables())
 		if (!var->isConstant())
-			m_errorReporter.typeError(var->location(), "Library cannot have non-constant state variables");
+			m_errorReporter.typeError(var->location(), "Library cannot have non-constant state variables.");
 }
 
 void ContractLevelChecker::checkBaseABICompatibility(ContractDefinition const& _contract)
diff --git a/libsolidity/analysis/NameAndTypeResolver.cpp b/libsolidity/analysis/NameAndTypeResolver.cpp
index 5c7ead2bb..9f1c29beb 100644
--- a/libsolidity/analysis/NameAndTypeResolver.cpp
+++ b/libsolidity/analysis/NameAndTypeResolver.cpp
@@ -254,7 +254,7 @@ void NameAndTypeResolver::warnVariablesNamedLikeInstructions()
 				continue;
 			m_errorReporter.warning(
 				declaration->location(),
-				"Variable is shadowed in inline assembly by an instruction of the same name"
+				"Variable is shadowed in inline assembly by an instruction of the same name."
 			);
 		}
 	}
@@ -394,13 +394,13 @@ void NameAndTypeResolver::linearizeBaseContracts(ContractDefinition& _contract)
 		input.back().push_front(base);
 		vector<ContractDefinition const*> const& basesBases = base->annotation().linearizedBaseContracts;
 		if (basesBases.empty())
-			m_errorReporter.fatalTypeError(baseName.location(), "Definition of base has to precede definition of derived contract");
+			m_errorReporter.fatalTypeError(baseName.location(), "Definition of base has to precede definition of derived contract.");
 		input.push_front(list<ContractDefinition const*>(basesBases.begin(), basesBases.end()));
 	}
 	input.back().push_front(&_contract);
 	vector<ContractDefinition const*> result = cThreeMerge(input);
 	if (result.empty())
-		m_errorReporter.fatalTypeError(_contract.location(), "Linearization of inheritance graph impossible");
+		m_errorReporter.fatalTypeError(_contract.location(), "Linearization of inheritance graph impossible.");
 	_contract.annotation().linearizedBaseContracts = result;
 	_contract.annotation().contractDependencies.insert(result.begin() + 1, result.end());
 }
diff --git a/libsolidity/analysis/TypeChecker.cpp b/libsolidity/analysis/TypeChecker.cpp
index 8a8c51a11..45bcbe9d3 100644
--- a/libsolidity/analysis/TypeChecker.cpp
+++ b/libsolidity/analysis/TypeChecker.cpp
@@ -2162,7 +2162,7 @@ bool TypeChecker::visit(FunctionCall const& _functionCall)
 	}
 
 	default:
-		m_errorReporter.typeError(_functionCall.location(), "Type is not callable");
+		m_errorReporter.typeError(_functionCall.location(), "Type is not callable.");
 		funcCallAnno.kind = FunctionCallKind::Unset;
 		funcCallAnno.isPure = argumentsArePure;
 		break;
@@ -2750,7 +2750,7 @@ void TypeChecker::endVisit(Literal const& _literal)
 				_literal.location(),
 				msg +
 				" If this is not used as an address, please prepend " + quote("00") + ". " +
-				"For more information please see https://solidity.readthedocs.io/en/develop/types.html#address-literals"
+				"Please see https://solidity.readthedocs.io/en/develop/types.html#address-literals for more information."
 			);
 	}
 
diff --git a/libsolidity/formal/BMC.cpp b/libsolidity/formal/BMC.cpp
index d56c45e3c..22191020a 100644
--- a/libsolidity/formal/BMC.cpp
+++ b/libsolidity/formal/BMC.cpp
@@ -765,7 +765,8 @@ void BMC::checkCondition(
 	case smt::CheckResult::SATISFIABLE:
 	{
 		std::ostringstream message;
-		message << _description << " happens here";
+		message << _description << " happens here.";
+
 		if (callStack.size())
 		{
 			std::ostringstream modelMessage;
@@ -787,10 +788,8 @@ void BMC::checkCondition(
 			);
 		}
 		else
-		{
-			message << ".";
 			m_errorReporter.warning(_location, message.str(), secondaryLocation);
-		}
+
 		break;
 	}
 	case smt::CheckResult::UNSATISFIABLE:
diff --git a/libsolidity/interface/StandardCompiler.cpp b/libsolidity/interface/StandardCompiler.cpp
index d7f81e74e..08ddb9f25 100644
--- a/libsolidity/interface/StandardCompiler.cpp
+++ b/libsolidity/interface/StandardCompiler.cpp
@@ -70,6 +70,14 @@ Json::Value formatError(
 
 Json::Value formatFatalError(string const& _type, string const& _message)
 {
+	solAssert(_message.size() == 0 ||
+		_message[_message.size() -1] == '.' ||
+		_message[_message.size() -1] == '!' ||
+		_message[_message.size() -1] == '?' ||
+		_message[_message.size() -1] == '\n', // for libjsoncpp generated error messages
+		"Expected message to end with \".\", \"?\" or \"!\""
+	);
+
 	Json::Value output = Json::objectValue;
 	output["errors"] = Json::arrayValue;
 	output["errors"].append(formatError(false, _type, "general", _message));
@@ -322,11 +330,11 @@ Json::Value collectEVMObject(evmasm::LinkerObject const& _object, string const*
 std::optional<Json::Value> checkKeys(Json::Value const& _input, set<string> const& _keys, string const& _name)
 {
 	if (!!_input && !_input.isObject())
-		return formatFatalError("JSONError", quote(_name) + " must be an object");
+		return formatFatalError("JSONError", quote(_name) + " must be an object.");
 
 	for (auto const& member: _input.getMemberNames())
 		if (!_keys.count(member))
-			return formatFatalError("JSONError", "Unknown key " + quote(member));
+			return formatFatalError("JSONError", "Unknown key " + quote(member) + ".");
 
 	return std::nullopt;
 }
@@ -372,7 +380,7 @@ std::optional<Json::Value> checkOptimizerDetail(Json::Value const& _details, std
 	if (_details.isMember(_name))
 	{
 		if (!_details[_name].isBool())
-			return formatFatalError("JSONError", quote("settings.optimizer.details." + _name) + " must be Boolean");
+			return formatFatalError("JSONError", quote("settings.optimizer.details." + _name) + " must be Boolean.");
 		_setting = _details[_name].asBool();
 	}
 	return {};
@@ -383,11 +391,11 @@ std::optional<Json::Value> checkMetadataKeys(Json::Value const& _input)
 	if (_input.isObject())
 	{
 		if (_input.isMember("useLiteralContent") && !_input["useLiteralContent"].isBool())
-			return formatFatalError("JSONError", quote("settings.metadata.useLiteralContent") + " must be Boolean");
+			return formatFatalError("JSONError", quote("settings.metadata.useLiteralContent") + " must be Boolean.");
 
 		static set<string> hashes{"ipfs", "bzzr1", "none"};
 		if (_input.isMember("bytecodeHash") && !hashes.count(_input["bytecodeHash"].asString()))
-			return formatFatalError("JSONError", quote("settings.metadata.bytecodeHash") + " must be " + quoteSpace("ipfs") + "," + quoteSpace("bzzr1") + "or " + quote("none"));
+			return formatFatalError("JSONError", quote("settings.metadata.bytecodeHash") + " must be " + quoteSpace("ipfs") + "," + quoteSpace("bzzr1") + "or " + quote("none") + ".");
 	}
 	static set<string> keys{"useLiteralContent", "bytecodeHash"};
 	return checkKeys(_input, keys, "settings.metadata");
@@ -396,7 +404,7 @@ std::optional<Json::Value> checkMetadataKeys(Json::Value const& _input)
 std::optional<Json::Value> checkOutputSelection(Json::Value const& _outputSelection)
 {
 	if (!!_outputSelection && !_outputSelection.isObject())
-		return formatFatalError("JSONError", quote("settings.outputSelection") + " must be an object");
+		return formatFatalError("JSONError", quote("settings.outputSelection") + " must be an object.");
 
 	for (auto const& sourceName: _outputSelection.getMemberNames())
 	{
@@ -405,7 +413,7 @@ std::optional<Json::Value> checkOutputSelection(Json::Value const& _outputSelect
 		if (!sourceVal.isObject())
 			return formatFatalError(
 				"JSONError",
-				quote("settings.outputSelection." + sourceName) + " must be an object"
+				quote("settings.outputSelection." + sourceName) + " must be an object."
 			);
 
 		for (auto const& contractName: sourceVal.getMemberNames())
@@ -421,7 +429,7 @@ std::optional<Json::Value> checkOutputSelection(Json::Value const& _outputSelect
 						"." +
 						contractName
 					) +
-					" must be a string array"
+					" must be a string array."
 				);
 
 			for (auto const& output: contractVal)
@@ -434,7 +442,7 @@ std::optional<Json::Value> checkOutputSelection(Json::Value const& _outputSelect
 							"." +
 							contractName
 						) +
-						" must be a string array"
+						" must be a string array."
 					);
 		}
 	}
@@ -680,11 +688,11 @@ boost::variant<StandardCompiler::InputsAndSettings, Json::Value> StandardCompile
 	for (auto const& remapping: settings.get("remappings", Json::Value()))
 	{
 		if (!remapping.isString())
-			return formatFatalError("JSONError", quote("settings.remappings") + " must be an array of strings");
+			return formatFatalError("JSONError", quote("settings.remappings") + " must be an array of strings.");
 		if (auto r = CompilerStack::parseRemapping(remapping.asString()))
 			ret.remappings.emplace_back(std::move(*r));
 		else
-			return formatFatalError("JSONError", "Invalid remapping: " + quote(remapping.asString()));
+			return formatFatalError("JSONError", "Invalid remapping: " + quote(remapping.asString()) + ".");
 	}
 
 	if (settings.isMember("optimizer"))
@@ -1115,19 +1123,19 @@ Json::Value StandardCompiler::compile(Json::Value const& _input) noexcept
 	}
 	catch (Json::LogicError const& _exception)
 	{
-		return formatFatalError("InternalCompilerError", string("JSON logic exception: ") + _exception.what());
+		return formatFatalError("InternalCompilerError", string("JSON logic exception: ") + _exception.what() + ".");
 	}
 	catch (Json::RuntimeError const& _exception)
 	{
-		return formatFatalError("InternalCompilerError", string("JSON runtime exception: ") + _exception.what());
+		return formatFatalError("InternalCompilerError", string("JSON runtime exception: ") + _exception.what() + ".");
 	}
 	catch (util::Exception const& _exception)
 	{
-		return formatFatalError("InternalCompilerError", "Internal exception in StandardCompiler::compile: " + boost::diagnostic_information(_exception));
+		return formatFatalError("InternalCompilerError", "Internal exception in StandardCompiler::compile: " + boost::diagnostic_information(_exception) + ".");
 	}
 	catch (...)
 	{
-		return formatFatalError("InternalCompilerError", "Internal exception in StandardCompiler::compile");
+		return formatFatalError("InternalCompilerError", "Internal exception in StandardCompiler::compile.");
 	}
 }
 
diff --git a/libsolidity/parsing/DocStringParser.cpp b/libsolidity/parsing/DocStringParser.cpp
index edca94656..72b5fcee7 100644
--- a/libsolidity/parsing/DocStringParser.cpp
+++ b/libsolidity/parsing/DocStringParser.cpp
@@ -140,7 +140,7 @@ DocStringParser::iter DocStringParser::parseDocTagParam(iter _pos, iter _end)
 	auto nameStartPos = skipWhitespace(_pos, _end);
 	if (nameStartPos == _end)
 	{
-		appendError("No param name given");
+		appendError("No param name given.");
 		return _end;
 	}
 	auto nameEndPos = firstNonIdentifier(nameStartPos, _end);
diff --git a/libsolidity/parsing/Parser.cpp b/libsolidity/parsing/Parser.cpp
index 5d7d828ed..cf021a4ef 100644
--- a/libsolidity/parsing/Parser.cpp
+++ b/libsolidity/parsing/Parser.cpp
@@ -130,7 +130,7 @@ void Parser::parsePragmaVersion(SourceLocation const& _location, vector<Token> c
 				_location,
 				"Source file requires different compiler version (current compiler is " +
 				string(VersionString) + " - note that nightly builds are considered to be "
-				"strictly less than the released version"
+				"strictly less than the released version."
 			);
 }
 
@@ -984,7 +984,7 @@ ASTPointer<TypeName> Parser::parseTypeName(bool _allowVar)
 	else if (token == Token::Identifier)
 		type = parseUserDefinedTypeName();
 	else
-		fatalParserError(string("Expected type name"));
+		fatalParserError(string("Expected type name."));
 
 	if (type)
 		// Parse "[...]" postfixes for arrays.
@@ -1015,7 +1015,7 @@ ASTPointer<Mapping> Parser::parseMapping()
 	ASTPointer<ElementaryTypeName> keyType;
 	Token token = m_scanner->currentToken();
 	if (!TokenTraits::isElementaryTypeName(token))
-		fatalParserError(string("Expected elementary type name for mapping key type"));
+		fatalParserError(string("Expected elementary type name for mapping key type."));
 	unsigned firstSize;
 	unsigned secondSize;
 	tie(firstSize, secondSize) = m_scanner->currentTokenInfo();
diff --git a/libyul/AsmAnalysis.cpp b/libyul/AsmAnalysis.cpp
index 1fb8de1a0..8acfe965c 100644
--- a/libyul/AsmAnalysis.cpp
+++ b/libyul/AsmAnalysis.cpp
@@ -94,7 +94,7 @@ bool AsmAnalyzer::operator()(Literal const& _literal)
 	{
 		m_errorReporter.typeError(
 			_literal.location,
-			"String literal too long (" + to_string(_literal.value.str().size()) + " > 32)"
+			"String literal too long (" + to_string(_literal.value.str().size()) + " > 32)."
 		);
 		return false;
 	}
@@ -102,7 +102,7 @@ bool AsmAnalyzer::operator()(Literal const& _literal)
 	{
 		m_errorReporter.typeError(
 			_literal.location,
-			"Number literal too large (> 256 bits)"
+			"Number literal too large (> 256 bits)."
 		);
 		return false;
 	}
@@ -203,7 +203,7 @@ bool AsmAnalyzer::operator()(Assignment const& _assignment)
 			to_string(expectedItems) +
 			" vs. " +
 			to_string(m_stackHeight - stackHeight) +
-			")"
+			")."
 		);
 		return false;
 	}
diff --git a/test/cmdlineTests/recovery_standard_json/output.json b/test/cmdlineTests/recovery_standard_json/output.json
index e350d0624..8f1290cf9 100644
--- a/test/cmdlineTests/recovery_standard_json/output.json
+++ b/test/cmdlineTests/recovery_standard_json/output.json
@@ -1,7 +1,7 @@
-{"errors":[{"component":"general","formattedMessage":"A:1:58: ParserError: Expected type name
+{"errors":[{"component":"general","formattedMessage":"A:1:58: ParserError: Expected type name.
 pragma solidity >=0.0; contract Errort6 { using foo for  ; /* missing type name */ }
                                                          ^
-","message":"Expected type name","severity":"error","sourceLocation":{"end":58,"file":"A","start":57},"type":"ParserError"},{"component":"general","formattedMessage":"A:1:84: Warning: Recovered in ContractDefinition at \"}\".
+","message":"Expected type name.","severity":"error","sourceLocation":{"end":58,"file":"A","start":57},"type":"ParserError"},{"component":"general","formattedMessage":"A:1:84: Warning: Recovered in ContractDefinition at \"}\".
 pragma solidity >=0.0; contract Errort6 { using foo for  ; /* missing type name */ }
                                                                                    ^
 ","message":"Recovered in ContractDefinition at \"}\".","severity":"warning","sourceLocation":{"end":84,"file":"A","start":83},"type":"Warning"}],"sources":{"A":{"ast":{"absolutePath":"A","exportedSymbols":{"Errort6":[3]},"id":4,"nodeType":"SourceUnit","nodes":[{"id":1,"literals":["solidity",">=","0.0"],"nodeType":"PragmaDirective","src":"0:22:0"},{"abstract":false,"baseContracts":[],"contractDependencies":[],"contractKind":"contract","documentation":null,"fullyImplemented":true,"id":3,"linearizedBaseContracts":[3],"name":"Errort6","nodeType":"ContractDefinition","nodes":[],"scope":4,"src":"23:35:0"}],"src":"0:84:0"},"id":0}}}
diff --git a/test/cmdlineTests/standard_optimizer_invalid_detail_type/output.json b/test/cmdlineTests/standard_optimizer_invalid_detail_type/output.json
index 15a65e586..87dd9b26d 100644
--- a/test/cmdlineTests/standard_optimizer_invalid_detail_type/output.json
+++ b/test/cmdlineTests/standard_optimizer_invalid_detail_type/output.json
@@ -1 +1 @@
-{"errors":[{"component":"general","formattedMessage":"\"settings.optimizer.details.peephole\" must be Boolean","message":"\"settings.optimizer.details.peephole\" must be Boolean","severity":"error","type":"JSONError"}]}
+{"errors":[{"component":"general","formattedMessage":"\"settings.optimizer.details.peephole\" must be Boolean.","message":"\"settings.optimizer.details.peephole\" must be Boolean.","severity":"error","type":"JSONError"}]}
diff --git a/test/cmdlineTests/standard_optimizer_invalid_details/output.json b/test/cmdlineTests/standard_optimizer_invalid_details/output.json
index 20e62bc82..4c9215796 100644
--- a/test/cmdlineTests/standard_optimizer_invalid_details/output.json
+++ b/test/cmdlineTests/standard_optimizer_invalid_details/output.json
@@ -1 +1 @@
-{"errors":[{"component":"general","formattedMessage":"Unknown key \"notThere\"","message":"Unknown key \"notThere\"","severity":"error","type":"JSONError"}]}
+{"errors":[{"component":"general","formattedMessage":"Unknown key \"notThere\".","message":"Unknown key \"notThere\".","severity":"error","type":"JSONError"}]}
diff --git a/test/cmdlineTests/standard_optimizer_yulDetails_no_object/output.json b/test/cmdlineTests/standard_optimizer_yulDetails_no_object/output.json
index 35638adf0..8e11436e1 100644
--- a/test/cmdlineTests/standard_optimizer_yulDetails_no_object/output.json
+++ b/test/cmdlineTests/standard_optimizer_yulDetails_no_object/output.json
@@ -1 +1 @@
-{"errors":[{"component":"general","formattedMessage":"\"settings.optimizer.details.yulDetails\" must be an object","message":"\"settings.optimizer.details.yulDetails\" must be an object","severity":"error","type":"JSONError"}]}
+{"errors":[{"component":"general","formattedMessage":"\"settings.optimizer.details.yulDetails\" must be an object.","message":"\"settings.optimizer.details.yulDetails\" must be an object.","severity":"error","type":"JSONError"}]}
diff --git a/test/cmdlineTests/standard_wrong_key_auxiliary_input/output.json b/test/cmdlineTests/standard_wrong_key_auxiliary_input/output.json
index 077ac47ec..29226f4cf 100644
--- a/test/cmdlineTests/standard_wrong_key_auxiliary_input/output.json
+++ b/test/cmdlineTests/standard_wrong_key_auxiliary_input/output.json
@@ -1 +1 @@
-{"errors":[{"component":"general","formattedMessage":"Unknown key \"key1\"","message":"Unknown key \"key1\"","severity":"error","type":"JSONError"}]}
+{"errors":[{"component":"general","formattedMessage":"Unknown key \"key1\".","message":"Unknown key \"key1\".","severity":"error","type":"JSONError"}]}
diff --git a/test/cmdlineTests/standard_wrong_key_metadata/output.json b/test/cmdlineTests/standard_wrong_key_metadata/output.json
index 077ac47ec..29226f4cf 100644
--- a/test/cmdlineTests/standard_wrong_key_metadata/output.json
+++ b/test/cmdlineTests/standard_wrong_key_metadata/output.json
@@ -1 +1 @@
-{"errors":[{"component":"general","formattedMessage":"Unknown key \"key1\"","message":"Unknown key \"key1\"","severity":"error","type":"JSONError"}]}
+{"errors":[{"component":"general","formattedMessage":"Unknown key \"key1\".","message":"Unknown key \"key1\".","severity":"error","type":"JSONError"}]}
diff --git a/test/cmdlineTests/standard_wrong_key_optimizer/output.json b/test/cmdlineTests/standard_wrong_key_optimizer/output.json
index 077ac47ec..29226f4cf 100644
--- a/test/cmdlineTests/standard_wrong_key_optimizer/output.json
+++ b/test/cmdlineTests/standard_wrong_key_optimizer/output.json
@@ -1 +1 @@
-{"errors":[{"component":"general","formattedMessage":"Unknown key \"key1\"","message":"Unknown key \"key1\"","severity":"error","type":"JSONError"}]}
+{"errors":[{"component":"general","formattedMessage":"Unknown key \"key1\".","message":"Unknown key \"key1\".","severity":"error","type":"JSONError"}]}
diff --git a/test/cmdlineTests/standard_wrong_key_root/output.json b/test/cmdlineTests/standard_wrong_key_root/output.json
index 077ac47ec..29226f4cf 100644
--- a/test/cmdlineTests/standard_wrong_key_root/output.json
+++ b/test/cmdlineTests/standard_wrong_key_root/output.json
@@ -1 +1 @@
-{"errors":[{"component":"general","formattedMessage":"Unknown key \"key1\"","message":"Unknown key \"key1\"","severity":"error","type":"JSONError"}]}
+{"errors":[{"component":"general","formattedMessage":"Unknown key \"key1\".","message":"Unknown key \"key1\".","severity":"error","type":"JSONError"}]}
diff --git a/test/cmdlineTests/standard_wrong_key_settings/output.json b/test/cmdlineTests/standard_wrong_key_settings/output.json
index 077ac47ec..29226f4cf 100644
--- a/test/cmdlineTests/standard_wrong_key_settings/output.json
+++ b/test/cmdlineTests/standard_wrong_key_settings/output.json
@@ -1 +1 @@
-{"errors":[{"component":"general","formattedMessage":"Unknown key \"key1\"","message":"Unknown key \"key1\"","severity":"error","type":"JSONError"}]}
+{"errors":[{"component":"general","formattedMessage":"Unknown key \"key1\".","message":"Unknown key \"key1\".","severity":"error","type":"JSONError"}]}
diff --git a/test/cmdlineTests/standard_wrong_key_source/output.json b/test/cmdlineTests/standard_wrong_key_source/output.json
index 077ac47ec..29226f4cf 100644
--- a/test/cmdlineTests/standard_wrong_key_source/output.json
+++ b/test/cmdlineTests/standard_wrong_key_source/output.json
@@ -1 +1 @@
-{"errors":[{"component":"general","formattedMessage":"Unknown key \"key1\"","message":"Unknown key \"key1\"","severity":"error","type":"JSONError"}]}
+{"errors":[{"component":"general","formattedMessage":"Unknown key \"key1\".","message":"Unknown key \"key1\".","severity":"error","type":"JSONError"}]}
diff --git a/test/cmdlineTests/standard_wrong_type_auxiliary_input/output.json b/test/cmdlineTests/standard_wrong_type_auxiliary_input/output.json
index fe33dcd06..60b8c4f0e 100644
--- a/test/cmdlineTests/standard_wrong_type_auxiliary_input/output.json
+++ b/test/cmdlineTests/standard_wrong_type_auxiliary_input/output.json
@@ -1 +1 @@
-{"errors":[{"component":"general","formattedMessage":"\"auxiliaryInput\" must be an object","message":"\"auxiliaryInput\" must be an object","severity":"error","type":"JSONError"}]}
+{"errors":[{"component":"general","formattedMessage":"\"auxiliaryInput\" must be an object.","message":"\"auxiliaryInput\" must be an object.","severity":"error","type":"JSONError"}]}
diff --git a/test/cmdlineTests/standard_wrong_type_metadata/output.json b/test/cmdlineTests/standard_wrong_type_metadata/output.json
index 7b997cec1..b60682723 100644
--- a/test/cmdlineTests/standard_wrong_type_metadata/output.json
+++ b/test/cmdlineTests/standard_wrong_type_metadata/output.json
@@ -1 +1 @@
-{"errors":[{"component":"general","formattedMessage":"\"settings.metadata\" must be an object","message":"\"settings.metadata\" must be an object","severity":"error","type":"JSONError"}]}
+{"errors":[{"component":"general","formattedMessage":"\"settings.metadata\" must be an object.","message":"\"settings.metadata\" must be an object.","severity":"error","type":"JSONError"}]}
diff --git a/test/cmdlineTests/standard_wrong_type_optimizer/output.json b/test/cmdlineTests/standard_wrong_type_optimizer/output.json
index d43b64708..2a73a041b 100644
--- a/test/cmdlineTests/standard_wrong_type_optimizer/output.json
+++ b/test/cmdlineTests/standard_wrong_type_optimizer/output.json
@@ -1 +1 @@
-{"errors":[{"component":"general","formattedMessage":"\"settings.optimizer\" must be an object","message":"\"settings.optimizer\" must be an object","severity":"error","type":"JSONError"}]}
+{"errors":[{"component":"general","formattedMessage":"\"settings.optimizer\" must be an object.","message":"\"settings.optimizer\" must be an object.","severity":"error","type":"JSONError"}]}
diff --git a/test/cmdlineTests/standard_wrong_type_output_selection/output.json b/test/cmdlineTests/standard_wrong_type_output_selection/output.json
index 39e748826..6e6a67fb2 100644
--- a/test/cmdlineTests/standard_wrong_type_output_selection/output.json
+++ b/test/cmdlineTests/standard_wrong_type_output_selection/output.json
@@ -1 +1 @@
-{"errors":[{"component":"general","formattedMessage":"\"settings.outputSelection\" must be an object","message":"\"settings.outputSelection\" must be an object","severity":"error","type":"JSONError"}]}
+{"errors":[{"component":"general","formattedMessage":"\"settings.outputSelection\" must be an object.","message":"\"settings.outputSelection\" must be an object.","severity":"error","type":"JSONError"}]}
diff --git a/test/cmdlineTests/standard_wrong_type_output_selection_contract/output.json b/test/cmdlineTests/standard_wrong_type_output_selection_contract/output.json
index a4ba320ee..8d9072dfd 100644
--- a/test/cmdlineTests/standard_wrong_type_output_selection_contract/output.json
+++ b/test/cmdlineTests/standard_wrong_type_output_selection_contract/output.json
@@ -1 +1 @@
-{"errors":[{"component":"general","formattedMessage":"\"settings.outputSelection.fileA.A\" must be a string array","message":"\"settings.outputSelection.fileA.A\" must be a string array","severity":"error","type":"JSONError"}]}
+{"errors":[{"component":"general","formattedMessage":"\"settings.outputSelection.fileA.A\" must be a string array.","message":"\"settings.outputSelection.fileA.A\" must be a string array.","severity":"error","type":"JSONError"}]}
diff --git a/test/cmdlineTests/standard_wrong_type_output_selection_file/output.json b/test/cmdlineTests/standard_wrong_type_output_selection_file/output.json
index 8874e6368..8f881fa0a 100644
--- a/test/cmdlineTests/standard_wrong_type_output_selection_file/output.json
+++ b/test/cmdlineTests/standard_wrong_type_output_selection_file/output.json
@@ -1 +1 @@
-{"errors":[{"component":"general","formattedMessage":"\"settings.outputSelection.fileA\" must be an object","message":"\"settings.outputSelection.fileA\" must be an object","severity":"error","type":"JSONError"}]}
+{"errors":[{"component":"general","formattedMessage":"\"settings.outputSelection.fileA\" must be an object.","message":"\"settings.outputSelection.fileA\" must be an object.","severity":"error","type":"JSONError"}]}
diff --git a/test/cmdlineTests/standard_wrong_type_output_selection_output/output.json b/test/cmdlineTests/standard_wrong_type_output_selection_output/output.json
index a4ba320ee..8d9072dfd 100644
--- a/test/cmdlineTests/standard_wrong_type_output_selection_output/output.json
+++ b/test/cmdlineTests/standard_wrong_type_output_selection_output/output.json
@@ -1 +1 @@
-{"errors":[{"component":"general","formattedMessage":"\"settings.outputSelection.fileA.A\" must be a string array","message":"\"settings.outputSelection.fileA.A\" must be a string array","severity":"error","type":"JSONError"}]}
+{"errors":[{"component":"general","formattedMessage":"\"settings.outputSelection.fileA.A\" must be a string array.","message":"\"settings.outputSelection.fileA.A\" must be a string array.","severity":"error","type":"JSONError"}]}
diff --git a/test/cmdlineTests/standard_wrong_type_remappings_entry/output.json b/test/cmdlineTests/standard_wrong_type_remappings_entry/output.json
index 0fc71ded4..b5e4ea5cb 100644
--- a/test/cmdlineTests/standard_wrong_type_remappings_entry/output.json
+++ b/test/cmdlineTests/standard_wrong_type_remappings_entry/output.json
@@ -1 +1 @@
-{"errors":[{"component":"general","formattedMessage":"\"settings.remappings\" must be an array of strings","message":"\"settings.remappings\" must be an array of strings","severity":"error","type":"JSONError"}]}
+{"errors":[{"component":"general","formattedMessage":"\"settings.remappings\" must be an array of strings.","message":"\"settings.remappings\" must be an array of strings.","severity":"error","type":"JSONError"}]}
diff --git a/test/cmdlineTests/standard_wrong_type_settings/output.json b/test/cmdlineTests/standard_wrong_type_settings/output.json
index c78c6086d..0cee14641 100644
--- a/test/cmdlineTests/standard_wrong_type_settings/output.json
+++ b/test/cmdlineTests/standard_wrong_type_settings/output.json
@@ -1 +1 @@
-{"errors":[{"component":"general","formattedMessage":"\"settings\" must be an object","message":"\"settings\" must be an object","severity":"error","type":"JSONError"}]}
+{"errors":[{"component":"general","formattedMessage":"\"settings\" must be an object.","message":"\"settings\" must be an object.","severity":"error","type":"JSONError"}]}
diff --git a/test/cmdlineTests/standard_wrong_type_source/output.json b/test/cmdlineTests/standard_wrong_type_source/output.json
index 98fe32fd9..de32e1e54 100644
--- a/test/cmdlineTests/standard_wrong_type_source/output.json
+++ b/test/cmdlineTests/standard_wrong_type_source/output.json
@@ -1 +1 @@
-{"errors":[{"component":"general","formattedMessage":"\"sources.A\" must be an object","message":"\"sources.A\" must be an object","severity":"error","type":"JSONError"}]}
+{"errors":[{"component":"general","formattedMessage":"\"sources.A\" must be an object.","message":"\"sources.A\" must be an object.","severity":"error","type":"JSONError"}]}
diff --git a/test/cmdlineTests/standard_wrong_type_useLiteralContent/output.json b/test/cmdlineTests/standard_wrong_type_useLiteralContent/output.json
index 47eb32ec4..a71c271d3 100644
--- a/test/cmdlineTests/standard_wrong_type_useLiteralContent/output.json
+++ b/test/cmdlineTests/standard_wrong_type_useLiteralContent/output.json
@@ -1 +1 @@
-{"errors":[{"component":"general","formattedMessage":"\"settings.metadata.useLiteralContent\" must be Boolean","message":"\"settings.metadata.useLiteralContent\" must be Boolean","severity":"error","type":"JSONError"}]}
+{"errors":[{"component":"general","formattedMessage":"\"settings.metadata.useLiteralContent\" must be Boolean.","message":"\"settings.metadata.useLiteralContent\" must be Boolean.","severity":"error","type":"JSONError"}]}
diff --git a/test/libsolidity/InlineAssembly.cpp b/test/libsolidity/InlineAssembly.cpp
index 1ba661333..0a11f1040 100644
--- a/test/libsolidity/InlineAssembly.cpp
+++ b/test/libsolidity/InlineAssembly.cpp
@@ -287,7 +287,7 @@ BOOST_AUTO_TEST_CASE(if_statement_invalid)
 	CHECK_PARSE_ERROR("{ if mload {} }", ParserError, "Expected" + quoteSpace("(") + "but got " + quote("{"));
 	BOOST_CHECK("{ if calldatasize() {}");
 	CHECK_PARSE_ERROR("{ if mstore(1, 1) {} }", TypeError, "Expected expression to return one item to the stack, but it returned 0 items.");
-	CHECK_PARSE_ERROR("{ if 32 let x := 3 }", ParserError, "Expected" + quoteSpace("{") + "but got reserved keyword " + quote("let"));
+	CHECK_PARSE_ERROR("{ if 32 let x := 3 }", ParserError, "Expected" + quoteSpace("{") + "but got reserved keyword " + quote("let") + ".");
 }
 
 BOOST_AUTO_TEST_CASE(switch_statement)
@@ -314,7 +314,7 @@ BOOST_AUTO_TEST_CASE(switch_duplicate_case)
 BOOST_AUTO_TEST_CASE(switch_invalid_expression)
 {
 	CHECK_PARSE_ERROR("{ switch {} default {} }", ParserError, "Literal, identifier or instruction expected.");
-	CHECK_PARSE_ERROR("{ switch mload default {} }", ParserError, "Expected" + quoteSpace("(") + "but got reserved keyword " + quote("default"));
+	CHECK_PARSE_ERROR("{ switch mload default {} }", ParserError, "Expected" + quoteSpace("(") + "but got reserved keyword " + quote("default") + ".");
 	CHECK_PARSE_ERROR("{ switch mstore(1, 1) default {} }", TypeError, "Expected expression to return one item to the stack, but it returned 0 items.");
 }
 
@@ -347,9 +347,9 @@ BOOST_AUTO_TEST_CASE(for_statement)
 BOOST_AUTO_TEST_CASE(for_invalid_expression)
 {
 	CHECK_PARSE_ERROR("{ for {} {} {} {} }", ParserError, "Literal, identifier or instruction expected.");
-	CHECK_PARSE_ERROR("{ for 1 1 {} {} }", ParserError, "Expected" + quoteSpace("{") + "but got " + quote("Number"));
-	CHECK_PARSE_ERROR("{ for {} 1 1 {} }", ParserError, "Expected" + quoteSpace("{") + "but got " + quote("Number"));
-	CHECK_PARSE_ERROR("{ for {} 1 {} 1 }", ParserError, "Expected" + quoteSpace("{") + "but got " + quote("Number"));
+	CHECK_PARSE_ERROR("{ for 1 1 {} {} }", ParserError, "Expected" + quoteSpace("{") + "but got " + quote("Number") + ".");
+	CHECK_PARSE_ERROR("{ for {} 1 1 {} }", ParserError, "Expected" + quoteSpace("{") + "but got " + quote("Number") + ".");
+	CHECK_PARSE_ERROR("{ for {} 1 {} 1 }", ParserError, "Expected" + quoteSpace("{") + "but got " + quote("Number") + ".");
 	CHECK_PARSE_ERROR("{ for {} mload {} {} }", ParserError, "Expected" + quoteSpace("(") + "but got " + quote("{"));
 	CHECK_PARSE_ERROR("{ for {} mstore(1, 1) {} {} }", TypeError, "Expected expression to return one item to the stack, but it returned 0 items.");
 }
@@ -357,18 +357,18 @@ BOOST_AUTO_TEST_CASE(for_invalid_expression)
 BOOST_AUTO_TEST_CASE(for_visibility)
 {
 	BOOST_CHECK(successParse("{ for { let i := 1 } i { pop(i) } { pop(i) } }"));
-	CHECK_PARSE_ERROR("{ for {} i { let i := 1 } {} }", DeclarationError, "Identifier not found");
-	CHECK_PARSE_ERROR("{ for {} 1 { let i := 1 } { pop(i) } }", DeclarationError, "Identifier not found");
-	CHECK_PARSE_ERROR("{ for {} 1 { pop(i) } { let i := 1 } }", DeclarationError, "Identifier not found");
-	CHECK_PARSE_ERROR("{ for { pop(i) } 1 { let i := 1 } {} }", DeclarationError, "Identifier not found");
-	CHECK_PARSE_ERROR("{ for { pop(i) } 1 { } { let i := 1 } }", DeclarationError, "Identifier not found");
-	CHECK_PARSE_ERROR("{ for {} i {} { let i := 1 } }", DeclarationError, "Identifier not found");
-	CHECK_PARSE_ERROR("{ for {} 1 { pop(i) } { let i := 1 } }", DeclarationError, "Identifier not found");
-	CHECK_PARSE_ERROR("{ for { let x := 1 } 1 { let x := 1 } {} }", DeclarationError, "Variable name" + quoteSpace("x") + "already taken in this scope");
-	CHECK_PARSE_ERROR("{ for { let x := 1 } 1 {} { let x := 1 } }", DeclarationError, "Variable name" + quoteSpace("x") + "already taken in this scope");
-	CHECK_PARSE_ERROR("{ let x := 1 for { let x := 1 } 1 {} {} }", DeclarationError, "Variable name" + quoteSpace("x") + "already taken in this scope");
-	CHECK_PARSE_ERROR("{ let x := 1 for {} 1 { let x := 1 } {} }", DeclarationError, "Variable name" + quoteSpace("x") + "already taken in this scope");
-	CHECK_PARSE_ERROR("{ let x := 1 for {} 1 {} { let x := 1 } }", DeclarationError, "Variable name" + quoteSpace("x") + "already taken in this scope");
+	CHECK_PARSE_ERROR("{ for {} i { let i := 1 } {} }", DeclarationError, "Identifier not found.");
+	CHECK_PARSE_ERROR("{ for {} 1 { let i := 1 } { pop(i) } }", DeclarationError, "Identifier not found.");
+	CHECK_PARSE_ERROR("{ for {} 1 { pop(i) } { let i := 1 } }", DeclarationError, "Identifier not found.");
+	CHECK_PARSE_ERROR("{ for { pop(i) } 1 { let i := 1 } {} }", DeclarationError, "Identifier not found.");
+	CHECK_PARSE_ERROR("{ for { pop(i) } 1 { } { let i := 1 } }", DeclarationError, "Identifier not found.");
+	CHECK_PARSE_ERROR("{ for {} i {} { let i := 1 } }", DeclarationError, "Identifier not found.");
+	CHECK_PARSE_ERROR("{ for {} 1 { pop(i) } { let i := 1 } }", DeclarationError, "Identifier not found.");
+	CHECK_PARSE_ERROR("{ for { let x := 1 } 1 { let x := 1 } {} }", DeclarationError, "Variable name" + quoteSpace("x") + "already taken in this scope.");
+	CHECK_PARSE_ERROR("{ for { let x := 1 } 1 {} { let x := 1 } }", DeclarationError, "Variable name" + quoteSpace("x") + "already taken in this scope.");
+	CHECK_PARSE_ERROR("{ let x := 1 for { let x := 1 } 1 {} {} }", DeclarationError, "Variable name" + quoteSpace("x") + "already taken in this scope.");
+	CHECK_PARSE_ERROR("{ let x := 1 for {} 1 { let x := 1 } {} }", DeclarationError, "Variable name" + quoteSpace("x") + "already taken in this scope.");
+	CHECK_PARSE_ERROR("{ let x := 1 for {} 1 {} { let x := 1 } }", DeclarationError, "Variable name" + quoteSpace("x") + "already taken in this scope.");
 	// Check that body and post are not sub-scopes of each other.
 	BOOST_CHECK(successParse("{ for {} 1 { let x := 1 } { let x := 1 } }"));
 }
@@ -384,7 +384,7 @@ BOOST_AUTO_TEST_CASE(number_literals)
 	CHECK_PARSE_ERROR("{ let x := .1 }", ParserError, "Invalid number literal.");
 	CHECK_PARSE_ERROR("{ let x := 1e5 }", ParserError, "Invalid number literal.");
 	CHECK_PARSE_ERROR("{ let x := 67.235 }", ParserError, "Invalid number literal.");
-	CHECK_STRICT_ERROR("{ let x := 0x1ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff }", TypeError, "Number literal too large (> 256 bits)");
+	CHECK_STRICT_ERROR("{ let x := 0x1ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff }", TypeError, "Number literal too large (> 256 bits).");
 }
 
 BOOST_AUTO_TEST_CASE(function_definitions)
@@ -415,27 +415,27 @@ BOOST_AUTO_TEST_CASE(opcode_for_function_args)
 
 BOOST_AUTO_TEST_CASE(name_clashes)
 {
-	CHECK_PARSE_ERROR("{ let g := 2 function g() { } }", DeclarationError, "Variable name" + quoteSpace("g") + "already taken in this scope");
+	CHECK_PARSE_ERROR("{ let g := 2 function g() { } }", DeclarationError, "Variable name" + quoteSpace("g") + "already taken in this scope.");
 }
 
 BOOST_AUTO_TEST_CASE(name_clashes_function_subscope)
 {
-	CHECK_PARSE_ERROR("{ function g() { function g() {} } }", DeclarationError, "Function name" + quoteSpace("g") + "already taken in this scope");
+	CHECK_PARSE_ERROR("{ function g() { function g() {} } }", DeclarationError, "Function name" + quoteSpace("g") + "already taken in this scope.");
 }
 
 BOOST_AUTO_TEST_CASE(name_clashes_function_subscope_reverse)
 {
-	CHECK_PARSE_ERROR("{ { function g() {} } function g() { } }", DeclarationError, "Function name" + quoteSpace("g") + "already taken in this scope");
+	CHECK_PARSE_ERROR("{ { function g() {} } function g() { } }", DeclarationError, "Function name" + quoteSpace("g") + "already taken in this scope.");
 }
 
 BOOST_AUTO_TEST_CASE(name_clashes_function_variable_subscope)
 {
-	CHECK_PARSE_ERROR("{ function g() { let g := 0 } }", DeclarationError, "Variable name" + quoteSpace("g") + "already taken in this scope");
+	CHECK_PARSE_ERROR("{ function g() { let g := 0 } }", DeclarationError, "Variable name" + quoteSpace("g") + "already taken in this scope.");
 }
 
 BOOST_AUTO_TEST_CASE(name_clashes_function_variable_subscope_reverse)
 {
-	CHECK_PARSE_ERROR("{ { let g := 0 } function g() { } }", DeclarationError, "Variable name" + quoteSpace("g") + "already taken in this scope");
+	CHECK_PARSE_ERROR("{ { let g := 0 } function g() { } }", DeclarationError, "Variable name" + quoteSpace("g") + "already taken in this scope.");
 }
 BOOST_AUTO_TEST_CASE(functions_in_parallel_scopes)
 {
@@ -449,7 +449,7 @@ BOOST_AUTO_TEST_CASE(variable_access_cross_functions)
 
 BOOST_AUTO_TEST_CASE(invalid_tuple_assignment)
 {
-	CHECK_PARSE_ERROR("{ let x, y := 1 }", DeclarationError, "Variable count mismatch: 2 variables and 1 values");
+	CHECK_PARSE_ERROR("{ let x, y := 1 }", DeclarationError, "Variable count mismatch: 2 variables and 1 values.");
 }
 
 BOOST_AUTO_TEST_CASE(instruction_too_few_arguments)
@@ -460,7 +460,7 @@ BOOST_AUTO_TEST_CASE(instruction_too_few_arguments)
 
 BOOST_AUTO_TEST_CASE(instruction_too_many_arguments)
 {
-	CHECK_PARSE_ERROR("{ pop(mul(1, 2, 3)) }", TypeError, "Function expects 2 arguments but got 3");
+	CHECK_PARSE_ERROR("{ pop(mul(1, 2, 3)) }", TypeError, "Function expects 2 arguments but got 3.");
 }
 
 BOOST_AUTO_TEST_CASE(recursion_depth)
@@ -599,8 +599,8 @@ BOOST_AUTO_TEST_CASE(oversize_string_literals)
 
 BOOST_AUTO_TEST_CASE(magic_variables)
 {
-	CHECK_ASSEMBLE_ERROR("{ pop(this) }", DeclarationError, "Identifier not found");
-	CHECK_ASSEMBLE_ERROR("{ pop(ecrecover) }", DeclarationError, "Identifier not found");
+	CHECK_ASSEMBLE_ERROR("{ pop(this) }", DeclarationError, "Identifier not found.");
+	CHECK_ASSEMBLE_ERROR("{ pop(ecrecover) }", DeclarationError, "Identifier not found.");
 	BOOST_CHECK(successAssemble("{ let ecrecover := 1 pop(ecrecover) }"));
 }
 
diff --git a/test/libsolidity/SolidityNameAndTypeResolution.cpp b/test/libsolidity/SolidityNameAndTypeResolution.cpp
index 182120b05..bd71431f0 100644
--- a/test/libsolidity/SolidityNameAndTypeResolution.cpp
+++ b/test/libsolidity/SolidityNameAndTypeResolution.cpp
@@ -384,7 +384,7 @@ BOOST_AUTO_TEST_CASE(returndatasize_as_variable)
 		contract C { function f() public pure { uint returndatasize; returndatasize; assembly { pop(returndatasize()) }}}
 	)";
 	vector<pair<Error::Type, std::string>> expectations(vector<pair<Error::Type, std::string>>{
-		{Error::Type::Warning, "Variable is shadowed in inline assembly by an instruction of the same name"}
+		{Error::Type::Warning, "Variable is shadowed in inline assembly by an instruction of the same name."}
 	});
 	if (!solidity::test::Options::get().evmVersion().supportsReturndata())
 		expectations.emplace_back(make_pair(Error::Type::TypeError, quote("returndatasize") + " instruction is only available for Byzantium-compatible VMs"));
@@ -414,7 +414,7 @@ BOOST_AUTO_TEST_CASE(extcodehash_as_variable)
 	// This needs special treatment, because the message mentions the EVM version,
 	// so cannot be run via isoltest.
 	vector<pair<Error::Type, std::string>> expectations(vector<pair<Error::Type, std::string>>{
-		{Error::Type::Warning, "Variable is shadowed in inline assembly by an instruction of the same name"}
+		{Error::Type::Warning, "Variable is shadowed in inline assembly by an instruction of the same name."}
 	});
 	if (!solidity::test::Options::get().evmVersion().hasExtCodeHash())
 		expectations.emplace_back(make_pair(Error::Type::TypeError, quote("extcodehash") + " instruction is only available for Constantinople-compatible VMs"));
diff --git a/test/libsolidity/StandardCompiler.cpp b/test/libsolidity/StandardCompiler.cpp
index 7c4874332..0afca5a9e 100644
--- a/test/libsolidity/StandardCompiler.cpp
+++ b/test/libsolidity/StandardCompiler.cpp
@@ -463,8 +463,8 @@ BOOST_AUTO_TEST_CASE(compilation_error)
 		{
 			BOOST_CHECK_EQUAL(
 				util::jsonCompactPrint(error),
-				"{\"component\":\"general\",\"formattedMessage\":\"fileA:1:23: ParserError: Expected identifier but got \\\"}\\\"\\n"
-				"contract A { function }\\n                      ^\\n\",\"message\":\"Expected identifier but got \\\"}\\\"\","
+				"{\"component\":\"general\",\"formattedMessage\":\"fileA:1:23: ParserError: Expected identifier but got \\\"}\\\".\\n"
+				"contract A { function }\\n                      ^\\n\",\"message\":\"Expected identifier but got \\\"}\\\".\","
 				"\"severity\":\"error\",\"sourceLocation\":{\"end\":23,\"file\":\"fileA\",\"start\":22},\"type\":\"ParserError\"}"
 			);
 		}
diff --git a/test/libsolidity/errorRecoveryTests/contract_recovery.sol b/test/libsolidity/errorRecoveryTests/contract_recovery.sol
index 59c10ec6a..6955456db 100644
--- a/test/libsolidity/errorRecoveryTests/contract_recovery.sol
+++ b/test/libsolidity/errorRecoveryTests/contract_recovery.sol
@@ -3,5 +3,5 @@ contract Errort6 {
 }
 
 // ----
-// ParserError: (36-37): Expected type name
+// ParserError: (36-37): Expected type name.
 // Warning: (59-60): Recovered in ContractDefinition at "}".
diff --git a/test/libsolidity/errorRecoveryTests/do_not_delete_at_error.sol b/test/libsolidity/errorRecoveryTests/do_not_delete_at_error.sol
index 26d097013..6bf3824af 100644
--- a/test/libsolidity/errorRecoveryTests/do_not_delete_at_error.sol
+++ b/test/libsolidity/errorRecoveryTests/do_not_delete_at_error.sol
@@ -10,4 +10,4 @@ contract Error2 {
 	mapping (address => uint balances; // missing ) before "balances"
 }
 // ----
-// ParserError: (417-425): Expected ")" but got identifier
+// ParserError: (417-425): Expected ")" but got identifier.
diff --git a/test/libsolidity/errorRecoveryTests/error_to_eos.sol b/test/libsolidity/errorRecoveryTests/error_to_eos.sol
index be91dd5e3..f835d77a7 100644
--- a/test/libsolidity/errorRecoveryTests/error_to_eos.sol
+++ b/test/libsolidity/errorRecoveryTests/error_to_eos.sol
@@ -17,7 +17,7 @@ contract SendCoin {
 }
 
 // ----
-// ParserError: (212-220): Expected ")" but got identifier
-// ParserError: (220-221): Expected ";" but got ")"
+// ParserError: (212-220): Expected ")" but got identifier.
+// ParserError: (220-221): Expected ";" but got ")".
 // ParserError: (220-221): Function, variable, struct or modifier declaration expected.
 // Warning: (235-236): Recovered in ContractDefinition at "}".
diff --git a/test/libsolidity/errorRecoveryTests/multiple_errors.sol b/test/libsolidity/errorRecoveryTests/multiple_errors.sol
index a7a1873b9..12c74c608 100644
--- a/test/libsolidity/errorRecoveryTests/multiple_errors.sol
+++ b/test/libsolidity/errorRecoveryTests/multiple_errors.sol
@@ -21,9 +21,9 @@ contract Error4 {
 
 }
 // ----
-// ParserError: (249-250): Expected ";" but got "Number"
-// ParserError: (471-479): Expected ";" but got identifier
-// ParserError: (529-533): Expected ";" but got "emit"
-// ParserError: (577-583): Expected "," but got "return"
+// ParserError: (249-250): Expected ";" but got "Number".
+// ParserError: (471-479): Expected ";" but got identifier.
+// ParserError: (529-533): Expected ";" but got "emit".
+// ParserError: (577-583): Expected "," but got "return".
 // ParserError: (577-583): Expected primary expression.
 // Warning: (588-589): Recovered in Statement at ";".
diff --git a/test/libsolidity/smtCheckerTests/control_flow/short_circuit_and.sol b/test/libsolidity/smtCheckerTests/control_flow/short_circuit_and.sol
index 0bf30e46d..4697738d1 100644
--- a/test/libsolidity/smtCheckerTests/control_flow/short_circuit_and.sol
+++ b/test/libsolidity/smtCheckerTests/control_flow/short_circuit_and.sol
@@ -15,4 +15,4 @@ contract c {
 	}
 }
 // ----
-// Warning: (101-106): Overflow (resulting value larger than 2**256 - 1) happens here
+// Warning: (101-106): Overflow (resulting value larger than 2**256 - 1) happens here.
diff --git a/test/libsolidity/smtCheckerTests/control_flow/short_circuit_and_fail.sol b/test/libsolidity/smtCheckerTests/control_flow/short_circuit_and_fail.sol
index ee2307521..1f55324bc 100644
--- a/test/libsolidity/smtCheckerTests/control_flow/short_circuit_and_fail.sol
+++ b/test/libsolidity/smtCheckerTests/control_flow/short_circuit_and_fail.sol
@@ -15,5 +15,5 @@ contract c {
 	}
 }
 // ----
-// Warning: (101-106): Overflow (resulting value larger than 2**256 - 1) happens here
-// Warning: (227-236): Assertion violation happens here
+// Warning: (101-106): Overflow (resulting value larger than 2**256 - 1) happens here.
+// Warning: (227-236): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/control_flow/short_circuit_and_inside_branch.sol b/test/libsolidity/smtCheckerTests/control_flow/short_circuit_and_inside_branch.sol
index f49a572cf..d0a2be6ec 100644
--- a/test/libsolidity/smtCheckerTests/control_flow/short_circuit_and_inside_branch.sol
+++ b/test/libsolidity/smtCheckerTests/control_flow/short_circuit_and_inside_branch.sol
@@ -24,5 +24,5 @@ contract c {
 	}
 }
 // ----
-// Warning: (101-106): Overflow (resulting value larger than 2**256 - 1) happens here
-// Warning: (362-372): Assertion violation happens here
+// Warning: (101-106): Overflow (resulting value larger than 2**256 - 1) happens here.
+// Warning: (362-372): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/control_flow/short_circuit_and_need_both.sol b/test/libsolidity/smtCheckerTests/control_flow/short_circuit_and_need_both.sol
index 1a4b1edf5..2e529a77a 100644
--- a/test/libsolidity/smtCheckerTests/control_flow/short_circuit_and_need_both.sol
+++ b/test/libsolidity/smtCheckerTests/control_flow/short_circuit_and_need_both.sol
@@ -15,4 +15,4 @@ contract c {
 	}
 }
 // ----
-// Warning: (101-106): Overflow (resulting value larger than 2**256 - 1) happens here
+// Warning: (101-106): Overflow (resulting value larger than 2**256 - 1) happens here.
diff --git a/test/libsolidity/smtCheckerTests/control_flow/short_circuit_and_need_both_fail.sol b/test/libsolidity/smtCheckerTests/control_flow/short_circuit_and_need_both_fail.sol
index c3b6eb8fc..9e6e182e5 100644
--- a/test/libsolidity/smtCheckerTests/control_flow/short_circuit_and_need_both_fail.sol
+++ b/test/libsolidity/smtCheckerTests/control_flow/short_circuit_and_need_both_fail.sol
@@ -15,5 +15,5 @@ contract c {
 	}
 }
 // ----
-// Warning: (101-106): Overflow (resulting value larger than 2**256 - 1) happens here
-// Warning: (225-235): Assertion violation happens here
+// Warning: (101-106): Overflow (resulting value larger than 2**256 - 1) happens here.
+// Warning: (225-235): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/control_flow/short_circuit_or.sol b/test/libsolidity/smtCheckerTests/control_flow/short_circuit_or.sol
index 55c218968..eac833bba 100644
--- a/test/libsolidity/smtCheckerTests/control_flow/short_circuit_or.sol
+++ b/test/libsolidity/smtCheckerTests/control_flow/short_circuit_or.sol
@@ -15,4 +15,4 @@ contract c {
 	}
 }
 // ----
-// Warning: (101-106): Overflow (resulting value larger than 2**256 - 1) happens here
+// Warning: (101-106): Overflow (resulting value larger than 2**256 - 1) happens here.
diff --git a/test/libsolidity/smtCheckerTests/control_flow/short_circuit_or_fail.sol b/test/libsolidity/smtCheckerTests/control_flow/short_circuit_or_fail.sol
index 31abebec9..be025455b 100644
--- a/test/libsolidity/smtCheckerTests/control_flow/short_circuit_or_fail.sol
+++ b/test/libsolidity/smtCheckerTests/control_flow/short_circuit_or_fail.sol
@@ -15,5 +15,5 @@ contract c {
 	}
 }
 // ----
-// Warning: (101-106): Overflow (resulting value larger than 2**256 - 1) happens here
-// Warning: (225-235): Assertion violation happens here
+// Warning: (101-106): Overflow (resulting value larger than 2**256 - 1) happens here.
+// Warning: (225-235): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/control_flow/short_circuit_or_inside_branch.sol b/test/libsolidity/smtCheckerTests/control_flow/short_circuit_or_inside_branch.sol
index c699eaac2..b0a6d6e00 100644
--- a/test/libsolidity/smtCheckerTests/control_flow/short_circuit_or_inside_branch.sol
+++ b/test/libsolidity/smtCheckerTests/control_flow/short_circuit_or_inside_branch.sol
@@ -24,5 +24,5 @@ contract c {
 	}
 }
 // ----
-// Warning: (101-106): Overflow (resulting value larger than 2**256 - 1) happens here
-// Warning: (360-370): Assertion violation happens here
+// Warning: (101-106): Overflow (resulting value larger than 2**256 - 1) happens here.
+// Warning: (360-370): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/control_flow/short_circuit_or_need_both.sol b/test/libsolidity/smtCheckerTests/control_flow/short_circuit_or_need_both.sol
index 323ba8f94..79358d120 100644
--- a/test/libsolidity/smtCheckerTests/control_flow/short_circuit_or_need_both.sol
+++ b/test/libsolidity/smtCheckerTests/control_flow/short_circuit_or_need_both.sol
@@ -15,4 +15,4 @@ contract c {
 	}
 }
 // ----
-// Warning: (101-106): Overflow (resulting value larger than 2**256 - 1) happens here
+// Warning: (101-106): Overflow (resulting value larger than 2**256 - 1) happens here.
diff --git a/test/libsolidity/smtCheckerTests/control_flow/short_circuit_or_need_both_fail.sol b/test/libsolidity/smtCheckerTests/control_flow/short_circuit_or_need_both_fail.sol
index 4169717cf..66b1b5dd3 100644
--- a/test/libsolidity/smtCheckerTests/control_flow/short_circuit_or_need_both_fail.sol
+++ b/test/libsolidity/smtCheckerTests/control_flow/short_circuit_or_need_both_fail.sol
@@ -15,5 +15,5 @@ contract c {
 	}
 }
 // ----
-// Warning: (101-106): Overflow (resulting value larger than 2**256 - 1) happens here
-// Warning: (225-235): Assertion violation happens here
+// Warning: (101-106): Overflow (resulting value larger than 2**256 - 1) happens here.
+// Warning: (225-235): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/control_flow/ways_to_merge_variables_1.sol b/test/libsolidity/smtCheckerTests/control_flow/ways_to_merge_variables_1.sol
index 16d6fdfef..5376e68bc 100644
--- a/test/libsolidity/smtCheckerTests/control_flow/ways_to_merge_variables_1.sol
+++ b/test/libsolidity/smtCheckerTests/control_flow/ways_to_merge_variables_1.sol
@@ -9,4 +9,4 @@ contract C {
     }
 }
 // ----
-// Warning: (159-173): Assertion violation happens here
+// Warning: (159-173): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/control_flow/ways_to_merge_variables_2.sol b/test/libsolidity/smtCheckerTests/control_flow/ways_to_merge_variables_2.sol
index e25ab20f7..4c84e7c71 100644
--- a/test/libsolidity/smtCheckerTests/control_flow/ways_to_merge_variables_2.sol
+++ b/test/libsolidity/smtCheckerTests/control_flow/ways_to_merge_variables_2.sol
@@ -9,4 +9,4 @@ contract C {
     }
 }
 // ----
-// Warning: (159-173): Assertion violation happens here
+// Warning: (159-173): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/control_flow/ways_to_merge_variables_3.sol b/test/libsolidity/smtCheckerTests/control_flow/ways_to_merge_variables_3.sol
index 03ae7216d..19f08b8a8 100644
--- a/test/libsolidity/smtCheckerTests/control_flow/ways_to_merge_variables_3.sol
+++ b/test/libsolidity/smtCheckerTests/control_flow/ways_to_merge_variables_3.sol
@@ -9,4 +9,4 @@ contract C {
     }
 }
 // ----
-// Warning: (161-175): Assertion violation happens here
+// Warning: (161-175): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy.sol b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy.sol
index 9a772b27e..285df68c4 100644
--- a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy.sol
+++ b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy.sol
@@ -13,4 +13,4 @@ contract A is C {
 	}
 }
 // ----
-// Warning: (166-180): Assertion violation happens here
+// Warning: (166-180): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_2.sol b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_2.sol
index b5a3f36d8..aef675ae7 100644
--- a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_2.sol
+++ b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_2.sol
@@ -4,4 +4,4 @@ contract A is C { constructor() C(2) public { assert(a == 2); } }
 contract B is C { constructor() C(3) public { assert(a == 3); } }
 contract J is C { constructor() C(3) public { assert(a == 4); } }
 // ----
-// Warning: (271-285): Assertion violation happens here
+// Warning: (271-285): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_3.sol b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_3.sol
index 79acf49d7..f557116e5 100644
--- a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_3.sol
+++ b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_3.sol
@@ -19,4 +19,4 @@ contract A is B {
 	}
 }
 // ----
-// Warning: (253-271): Assertion violation happens here
+// Warning: (253-271): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_4.sol b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_4.sol
index 69a7f5ec9..cbc5a0219 100644
--- a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_4.sol
+++ b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_4.sol
@@ -18,6 +18,6 @@ contract A is B {
 	}
 }
 // ----
-// Warning: (221-226): Overflow (resulting value larger than 2**256 - 1) happens here
-// Warning: (212-217): Overflow (resulting value larger than 2**256 - 1) happens here
-// Warning: (251-256): Overflow (resulting value larger than 2**256 - 1) happens here
+// Warning: (221-226): Overflow (resulting value larger than 2**256 - 1) happens here.
+// Warning: (212-217): Overflow (resulting value larger than 2**256 - 1) happens here.
+// Warning: (251-256): Overflow (resulting value larger than 2**256 - 1) happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_diamond.sol b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_diamond.sol
index 5b339e004..372b89fd2 100644
--- a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_diamond.sol
+++ b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_diamond.sol
@@ -25,5 +25,5 @@ contract A is B2, B1 {
 	}
 }
 // ----
-// Warning: (214-219): Overflow (resulting value larger than 2**256 - 1) happens here
-// Warning: (330-348): Assertion violation happens here
+// Warning: (214-219): Overflow (resulting value larger than 2**256 - 1) happens here.
+// Warning: (330-348): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_diamond_2.sol b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_diamond_2.sol
index c0bf299f8..426f18d84 100644
--- a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_diamond_2.sol
+++ b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_diamond_2.sol
@@ -25,5 +25,5 @@ contract A is B2, B1 {
 	}
 }
 // ----
-// Warning: (214-219): Overflow (resulting value larger than 2**256 - 1) happens here
-// Warning: (330-348): Assertion violation happens here
+// Warning: (214-219): Overflow (resulting value larger than 2**256 - 1) happens here.
+// Warning: (330-348): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_diamond_3.sol b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_diamond_3.sol
index 4ad9083fa..266fdf82a 100644
--- a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_diamond_3.sol
+++ b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_diamond_3.sol
@@ -27,8 +27,8 @@ contract A is B2, B1 {
 	}
 }
 // ----
-// Warning: (174-179): Underflow (resulting value less than 0) happens here
-// Warning: (174-179): Overflow (resulting value larger than 2**256 - 1) happens here
-// Warning: (239-244): Overflow (resulting value larger than 2**256 - 1) happens here
-// Warning: (262-267): Overflow (resulting value larger than 2**256 - 1) happens here
-// Warning: (362-378): Assertion violation happens here
+// Warning: (174-179): Underflow (resulting value less than 0) happens here.
+// Warning: (174-179): Overflow (resulting value larger than 2**256 - 1) happens here.
+// Warning: (239-244): Overflow (resulting value larger than 2**256 - 1) happens here.
+// Warning: (262-267): Overflow (resulting value larger than 2**256 - 1) happens here.
+// Warning: (362-378): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_diamond_empty_middle.sol b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_diamond_empty_middle.sol
index 7819019e9..aa31438de 100644
--- a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_diamond_empty_middle.sol
+++ b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_diamond_empty_middle.sol
@@ -20,4 +20,4 @@ contract A is B, B2 {
 }
 // ----
 // Warning: (171-177): Unused function parameter. Remove or comment out the variable name to silence this warning.
-// Warning: (208-222): Assertion violation happens here
+// Warning: (208-222): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_empty_chain.sol b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_empty_chain.sol
index 2c7d8827d..38b12de9e 100644
--- a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_empty_chain.sol
+++ b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_empty_chain.sol
@@ -19,4 +19,4 @@ contract A is B {
 }
 // ----
 // Warning: (201-207): Unused function parameter. Remove or comment out the variable name to silence this warning.
-// Warning: (238-252): Assertion violation happens here
+// Warning: (238-252): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_empty_middle.sol b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_empty_middle.sol
index fbd3436dc..8ec0198d3 100644
--- a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_empty_middle.sol
+++ b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_empty_middle.sol
@@ -17,4 +17,4 @@ contract A is B {
 }
 // ----
 // Warning: (145-151): Unused function parameter. Remove or comment out the variable name to silence this warning.
-// Warning: (186-200): Assertion violation happens here
+// Warning: (186-200): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_empty_middle_no_invocation.sol b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_empty_middle_no_invocation.sol
index 8b94c53a9..68c7826b7 100644
--- a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_empty_middle_no_invocation.sol
+++ b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_empty_middle_no_invocation.sol
@@ -16,4 +16,4 @@ contract A is B {
 }
 // ----
 // Warning: (145-151): Unused function parameter. Remove or comment out the variable name to silence this warning.
-// Warning: (164-178): Assertion violation happens here
+// Warning: (164-178): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_mixed_chain.sol b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_mixed_chain.sol
index ec534a431..a7aeaac3c 100644
--- a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_mixed_chain.sol
+++ b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_mixed_chain.sol
@@ -27,4 +27,4 @@ contract A is B {
 }
 // ----
 // Warning: (275-281): Unused function parameter. Remove or comment out the variable name to silence this warning.
-// Warning: (312-326): Assertion violation happens here
+// Warning: (312-326): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_mixed_chain_local_vars.sol b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_mixed_chain_local_vars.sol
index eaa7c5dc4..f3a7db738 100644
--- a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_mixed_chain_local_vars.sol
+++ b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_mixed_chain_local_vars.sol
@@ -32,4 +32,4 @@ contract A is B {
 }
 // ----
 // Warning: (317-323): Unused function parameter. Remove or comment out the variable name to silence this warning.
-// Warning: (385-400): Assertion violation happens here
+// Warning: (385-400): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_mixed_chain_with_params.sol b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_mixed_chain_with_params.sol
index 6959f6c88..c5b515a14 100644
--- a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_mixed_chain_with_params.sol
+++ b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_mixed_chain_with_params.sol
@@ -25,5 +25,5 @@ contract A is B {
 	}
 }
 // ----
-// Warning: (261-266): Overflow (resulting value larger than 2**256 - 1) happens here
-// Warning: (356-370): Assertion violation happens here
+// Warning: (261-266): Overflow (resulting value larger than 2**256 - 1) happens here.
+// Warning: (356-370): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_mixed_chain_with_params_2.sol b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_mixed_chain_with_params_2.sol
index 835949ada..3f1bd8b72 100644
--- a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_mixed_chain_with_params_2.sol
+++ b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_mixed_chain_with_params_2.sol
@@ -23,5 +23,5 @@ contract B is C {
 contract A is B {
 }
 // ----
-// Warning: (287-301): Assertion violation happens here
-// Warning: (287-301): Assertion violation happens here
+// Warning: (287-301): Assertion violation happens here.
+// Warning: (287-301): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_modifier.sol b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_modifier.sol
index 3feff4dae..32f4f45df 100644
--- a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_modifier.sol
+++ b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_modifier.sol
@@ -14,4 +14,4 @@ contract A is C {
 	}
 }
 // ----
-// Warning: (202-216): Assertion violation happens here
+// Warning: (202-216): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_same_var.sol b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_same_var.sol
index a607a9556..f1721e472 100644
--- a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_same_var.sol
+++ b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_same_var.sol
@@ -13,4 +13,4 @@ contract A is C {
 	}
 }
 // ----
-// Warning: (148-162): Assertion violation happens here
+// Warning: (148-162): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/constructor_simple.sol b/test/libsolidity/smtCheckerTests/functions/constructor_simple.sol
index b4f68e33a..5500fbae0 100644
--- a/test/libsolidity/smtCheckerTests/functions/constructor_simple.sol
+++ b/test/libsolidity/smtCheckerTests/functions/constructor_simple.sol
@@ -13,4 +13,4 @@ contract C {
 	}
 }
 // ----
-// Warning: (148-162): Assertion violation happens here
+// Warning: (148-162): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/constructor_state_value.sol b/test/libsolidity/smtCheckerTests/functions/constructor_state_value.sol
index 1df298f13..07904f510 100644
--- a/test/libsolidity/smtCheckerTests/functions/constructor_state_value.sol
+++ b/test/libsolidity/smtCheckerTests/functions/constructor_state_value.sol
@@ -13,4 +13,4 @@ contract C {
 	}
 }
 // ----
-// Warning: (152-166): Assertion violation happens here
+// Warning: (152-166): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/constructor_state_value_inherited.sol b/test/libsolidity/smtCheckerTests/functions/constructor_state_value_inherited.sol
index e7349e044..e0b29ad00 100644
--- a/test/libsolidity/smtCheckerTests/functions/constructor_state_value_inherited.sol
+++ b/test/libsolidity/smtCheckerTests/functions/constructor_state_value_inherited.sol
@@ -15,4 +15,4 @@ contract C is B {
 	}
 }
 // ----
-// Warning: (172-186): Assertion violation happens here
+// Warning: (172-186): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/constructor_state_value_parameter.sol b/test/libsolidity/smtCheckerTests/functions/constructor_state_value_parameter.sol
index 214eb1cd6..c17446c78 100644
--- a/test/libsolidity/smtCheckerTests/functions/constructor_state_value_parameter.sol
+++ b/test/libsolidity/smtCheckerTests/functions/constructor_state_value_parameter.sol
@@ -13,5 +13,5 @@ contract C {
 	}
 }
 // ----
-// Warning: (169-183): Assertion violation happens here
-// Warning: (122-127): Overflow (resulting value larger than 2**256 - 1) happens here
+// Warning: (169-183): Assertion violation happens here.
+// Warning: (122-127): Overflow (resulting value larger than 2**256 - 1) happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/function_call_state_var_init.sol b/test/libsolidity/smtCheckerTests/functions/function_call_state_var_init.sol
index 9044cf99a..4d15b9cfe 100644
--- a/test/libsolidity/smtCheckerTests/functions/function_call_state_var_init.sol
+++ b/test/libsolidity/smtCheckerTests/functions/function_call_state_var_init.sol
@@ -9,5 +9,5 @@ contract C {
 	}
 }
 // ----
-// Warning: (116-132): Assertion violation happens here
-// Warning: (116-132): Assertion violation happens here
+// Warning: (116-132): Assertion violation happens here.
+// Warning: (116-132): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/function_inline_chain.sol b/test/libsolidity/smtCheckerTests/functions/function_inline_chain.sol
index 2647e0771..fde06786c 100644
--- a/test/libsolidity/smtCheckerTests/functions/function_inline_chain.sol
+++ b/test/libsolidity/smtCheckerTests/functions/function_inline_chain.sol
@@ -36,6 +36,6 @@ contract C
 // ----
 // Warning: (271-274): Assertion checker does not support recursive function calls.
 // Warning: (140-143): Assertion checker does not support recursive function calls.
-// Warning: (483-497): Assertion violation happens here
+// Warning: (483-497): Assertion violation happens here.
 // Warning: (201-204): Assertion checker does not support recursive function calls.
-// Warning: (483-497): Assertion violation happens here
+// Warning: (483-497): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/function_inside_branch_modify_state_var.sol b/test/libsolidity/smtCheckerTests/functions/function_inside_branch_modify_state_var.sol
index 9ea612aa3..d83cac8ec 100644
--- a/test/libsolidity/smtCheckerTests/functions/function_inside_branch_modify_state_var.sol
+++ b/test/libsolidity/smtCheckerTests/functions/function_inside_branch_modify_state_var.sol
@@ -16,4 +16,4 @@ contract C
 	}
 }
 // ----
-// Warning: (209-223): Assertion violation happens here
+// Warning: (209-223): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/function_inside_branch_modify_state_var_3.sol b/test/libsolidity/smtCheckerTests/functions/function_inside_branch_modify_state_var_3.sol
index e5f312e93..dcfb36dea 100644
--- a/test/libsolidity/smtCheckerTests/functions/function_inside_branch_modify_state_var_3.sol
+++ b/test/libsolidity/smtCheckerTests/functions/function_inside_branch_modify_state_var_3.sol
@@ -24,5 +24,5 @@ contract C
 
 }
 // ----
-// Warning: (209-223): Assertion violation happens here
-// Warning: (321-335): Assertion violation happens here
+// Warning: (209-223): Assertion violation happens here.
+// Warning: (321-335): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/functions_bound_1_fail.sol b/test/libsolidity/smtCheckerTests/functions/functions_bound_1_fail.sol
index 99c785d08..52989ad43 100644
--- a/test/libsolidity/smtCheckerTests/functions/functions_bound_1_fail.sol
+++ b/test/libsolidity/smtCheckerTests/functions/functions_bound_1_fail.sol
@@ -18,4 +18,4 @@ contract C
 	}
 }
 // ----
-// Warning: (261-277): Assertion violation happens here
+// Warning: (261-277): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/functions_external_1.sol b/test/libsolidity/smtCheckerTests/functions/functions_external_1.sol
index 4f1a64783..db1ebd35c 100644
--- a/test/libsolidity/smtCheckerTests/functions/functions_external_1.sol
+++ b/test/libsolidity/smtCheckerTests/functions/functions_external_1.sol
@@ -17,4 +17,4 @@ contract C
 	}
 }
 // ----
-// Warning: (257-271): Assertion violation happens here
+// Warning: (257-271): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/functions_external_2.sol b/test/libsolidity/smtCheckerTests/functions/functions_external_2.sol
index a0c59c0b7..4f920b60f 100644
--- a/test/libsolidity/smtCheckerTests/functions/functions_external_2.sol
+++ b/test/libsolidity/smtCheckerTests/functions/functions_external_2.sol
@@ -17,4 +17,4 @@ contract C
 	}
 }
 // ----
-// Warning: (297-321): Assertion violation happens here
+// Warning: (297-321): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/functions_external_3.sol b/test/libsolidity/smtCheckerTests/functions/functions_external_3.sol
index 0f4de76f6..25a2044ea 100644
--- a/test/libsolidity/smtCheckerTests/functions/functions_external_3.sol
+++ b/test/libsolidity/smtCheckerTests/functions/functions_external_3.sol
@@ -18,4 +18,4 @@ contract C
 	}
 }
 // ----
-// Warning: (355-379): Assertion violation happens here
+// Warning: (355-379): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/functions_external_4.sol b/test/libsolidity/smtCheckerTests/functions/functions_external_4.sol
index e200d42e9..24b505c50 100644
--- a/test/libsolidity/smtCheckerTests/functions/functions_external_4.sol
+++ b/test/libsolidity/smtCheckerTests/functions/functions_external_4.sol
@@ -16,4 +16,4 @@ contract D
 	}
 }
 // ----
-// Warning: (191-206): Assertion violation happens here
+// Warning: (191-206): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/functions_identity_1_fail.sol b/test/libsolidity/smtCheckerTests/functions/functions_identity_1_fail.sol
index a70aaf61d..34b5ef335 100644
--- a/test/libsolidity/smtCheckerTests/functions/functions_identity_1_fail.sol
+++ b/test/libsolidity/smtCheckerTests/functions/functions_identity_1_fail.sol
@@ -12,4 +12,4 @@ contract C
 }
 
 // ----
-// Warning: (161-174): Assertion violation happens here
+// Warning: (161-174): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/functions_identity_2_fail.sol b/test/libsolidity/smtCheckerTests/functions/functions_identity_2_fail.sol
index 9baeb9351..14c3c0c50 100644
--- a/test/libsolidity/smtCheckerTests/functions/functions_identity_2_fail.sol
+++ b/test/libsolidity/smtCheckerTests/functions/functions_identity_2_fail.sol
@@ -16,4 +16,4 @@ contract C
 }
 
 // ----
-// Warning: (229-242): Assertion violation happens here
+// Warning: (229-242): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/functions_identity_as_tuple_fail.sol b/test/libsolidity/smtCheckerTests/functions/functions_identity_as_tuple_fail.sol
index e3c805947..89d31dcac 100644
--- a/test/libsolidity/smtCheckerTests/functions/functions_identity_as_tuple_fail.sol
+++ b/test/libsolidity/smtCheckerTests/functions/functions_identity_as_tuple_fail.sol
@@ -12,4 +12,4 @@ contract C
 }
 
 // ----
-// Warning: (163-176): Assertion violation happens here
+// Warning: (163-176): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/functions_library_1_fail.sol b/test/libsolidity/smtCheckerTests/functions/functions_library_1_fail.sol
index 763713637..3051a8055 100644
--- a/test/libsolidity/smtCheckerTests/functions/functions_library_1_fail.sol
+++ b/test/libsolidity/smtCheckerTests/functions/functions_library_1_fail.sol
@@ -18,4 +18,4 @@ contract C
 }
 // ----
 // Warning: (228-229): Assertion checker does not yet implement type "type(library L)".
-// Warning: (245-261): Assertion violation happens here
+// Warning: (245-261): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/functions_storage_var_1_fail.sol b/test/libsolidity/smtCheckerTests/functions/functions_storage_var_1_fail.sol
index ad7357684..d5ef83a00 100644
--- a/test/libsolidity/smtCheckerTests/functions/functions_storage_var_1_fail.sol
+++ b/test/libsolidity/smtCheckerTests/functions/functions_storage_var_1_fail.sol
@@ -13,4 +13,4 @@ contract C
 }
 
 // ----
-// Warning: (144-157): Assertion violation happens here
+// Warning: (144-157): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/functions_storage_var_2_fail.sol b/test/libsolidity/smtCheckerTests/functions/functions_storage_var_2_fail.sol
index 5d972f966..365bfd34d 100644
--- a/test/libsolidity/smtCheckerTests/functions/functions_storage_var_2_fail.sol
+++ b/test/libsolidity/smtCheckerTests/functions/functions_storage_var_2_fail.sol
@@ -14,4 +14,4 @@ contract C
 }
 
 // ----
-// Warning: (152-165): Assertion violation happens here
+// Warning: (152-165): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/functions/this_fake.sol b/test/libsolidity/smtCheckerTests/functions/this_fake.sol
index 3a7511a54..a0d7b9e3f 100644
--- a/test/libsolidity/smtCheckerTests/functions/this_fake.sol
+++ b/test/libsolidity/smtCheckerTests/functions/this_fake.sol
@@ -21,4 +21,4 @@ contract C
 }
 // ----
 // Warning: (160-166): This declaration shadows a builtin symbol.
-// Warning: (268-282): Assertion violation happens here
+// Warning: (268-282): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/inheritance/constructor_hierarchy_mixed_chain_with_params.sol b/test/libsolidity/smtCheckerTests/inheritance/constructor_hierarchy_mixed_chain_with_params.sol
index 6959f6c88..c5b515a14 100644
--- a/test/libsolidity/smtCheckerTests/inheritance/constructor_hierarchy_mixed_chain_with_params.sol
+++ b/test/libsolidity/smtCheckerTests/inheritance/constructor_hierarchy_mixed_chain_with_params.sol
@@ -25,5 +25,5 @@ contract A is B {
 	}
 }
 // ----
-// Warning: (261-266): Overflow (resulting value larger than 2**256 - 1) happens here
-// Warning: (356-370): Assertion violation happens here
+// Warning: (261-266): Overflow (resulting value larger than 2**256 - 1) happens here.
+// Warning: (356-370): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init.sol b/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init.sol
index bef807b81..1f97e33f6 100644
--- a/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init.sol
+++ b/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init.sol
@@ -8,4 +8,4 @@ contract C {
 	}
 }
 // ----
-// Warning: (104-118): Assertion violation happens here
+// Warning: (104-118): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_base.sol b/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_base.sol
index 179b2c6c6..2d74799d7 100644
--- a/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_base.sol
+++ b/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_base.sol
@@ -11,4 +11,4 @@ contract D is C {
 	}
 }
 // ----
-// Warning: (124-138): Assertion violation happens here
+// Warning: (124-138): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_chain.sol b/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_chain.sol
index e43d9e73a..83ea51e89 100644
--- a/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_chain.sol
+++ b/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_chain.sol
@@ -19,4 +19,4 @@ contract D is C {
 	}
 }
 // ----
-// Warning: (232-246): Assertion violation happens here
+// Warning: (232-246): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_chain_alternate.sol b/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_chain_alternate.sol
index ee1b098a5..f47e66776 100644
--- a/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_chain_alternate.sol
+++ b/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_chain_alternate.sol
@@ -18,4 +18,4 @@ contract D is C {
 	}
 }
 // ----
-// Warning: (199-213): Assertion violation happens here
+// Warning: (199-213): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_chain_run_all.sol b/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_chain_run_all.sol
index 82d411e47..1bc28ad0f 100644
--- a/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_chain_run_all.sol
+++ b/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_chain_run_all.sol
@@ -22,6 +22,6 @@ contract A is B {
 }
 
 // ----
-// Warning: (171-176): Underflow (resulting value less than 0) happens here
-// Warning: (171-176): Overflow (resulting value larger than 2**256 - 1) happens here
-// Warning: (296-314): Assertion violation happens here
+// Warning: (171-176): Underflow (resulting value less than 0) happens here.
+// Warning: (171-176): Overflow (resulting value larger than 2**256 - 1) happens here.
+// Warning: (296-314): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_chain_run_all_2.sol b/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_chain_run_all_2.sol
index fc6643a42..5d29a3381 100644
--- a/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_chain_run_all_2.sol
+++ b/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_chain_run_all_2.sol
@@ -22,5 +22,5 @@ contract A is B {
 }
 
 // ----
-// Warning: (171-177): Overflow (resulting value larger than 2**256 - 1) happens here
-// Warning: (294-312): Assertion violation happens here
+// Warning: (171-177): Overflow (resulting value larger than 2**256 - 1) happens here.
+// Warning: (294-312): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_diamond.sol b/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_diamond.sol
index 65fddfe52..544289a87 100644
--- a/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_diamond.sol
+++ b/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_diamond.sol
@@ -17,4 +17,4 @@ contract D is B, C {
 	}
 }
 // ----
-// Warning: (169-183): Assertion violation happens here
+// Warning: (169-183): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_diamond_middle.sol b/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_diamond_middle.sol
index 5a28788c4..3bcb1da21 100644
--- a/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_diamond_middle.sol
+++ b/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_diamond_middle.sol
@@ -19,4 +19,4 @@ contract D is B, C {
 	}
 }
 // ----
-// Warning: (235-249): Assertion violation happens here
+// Warning: (235-249): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_function_call.sol b/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_function_call.sol
index 91798ec0c..0b1b6a08c 100644
--- a/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_function_call.sol
+++ b/test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_function_call.sol
@@ -13,5 +13,5 @@ contract C {
 	}
 }
 // ----
-// Warning: (162-175): Assertion violation happens here
-// Warning: (179-193): Assertion violation happens here
+// Warning: (162-175): Assertion violation happens here.
+// Warning: (179-193): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/inheritance/fallback.sol b/test/libsolidity/smtCheckerTests/inheritance/fallback.sol
index c1319be28..3196962dc 100644
--- a/test/libsolidity/smtCheckerTests/inheritance/fallback.sol
+++ b/test/libsolidity/smtCheckerTests/inheritance/fallback.sol
@@ -21,7 +21,7 @@ contract B is A {
 	}
 }
 // ----
-// Warning: (122-136): Assertion violation happens here
-// Warning: (171-185): Assertion violation happens here
-// Warning: (288-302): Assertion violation happens here
-// Warning: (171-185): Assertion violation happens here
+// Warning: (122-136): Assertion violation happens here.
+// Warning: (171-185): Assertion violation happens here.
+// Warning: (288-302): Assertion violation happens here.
+// Warning: (171-185): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/inheritance/fallback_receive.sol b/test/libsolidity/smtCheckerTests/inheritance/fallback_receive.sol
index 4a78ac268..5dddcc87d 100644
--- a/test/libsolidity/smtCheckerTests/inheritance/fallback_receive.sol
+++ b/test/libsolidity/smtCheckerTests/inheritance/fallback_receive.sol
@@ -21,8 +21,8 @@ contract B is A {
 	}
 }
 // ----
-// Warning: (114-128): Assertion violation happens here
-// Warning: (163-177): Assertion violation happens here
-// Warning: (289-303): Assertion violation happens here
-// Warning: (114-128): Assertion violation happens here
-// Warning: (163-177): Assertion violation happens here
+// Warning: (114-128): Assertion violation happens here.
+// Warning: (163-177): Assertion violation happens here.
+// Warning: (289-303): Assertion violation happens here.
+// Warning: (114-128): Assertion violation happens here.
+// Warning: (163-177): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/inheritance/functions_1.sol b/test/libsolidity/smtCheckerTests/inheritance/functions_1.sol
index 0a11df6c4..e3a119149 100644
--- a/test/libsolidity/smtCheckerTests/inheritance/functions_1.sol
+++ b/test/libsolidity/smtCheckerTests/inheritance/functions_1.sol
@@ -19,7 +19,7 @@ contract B is A {
 	}
 }
 // ----
-// Warning: (121-135): Assertion violation happens here
-// Warning: (170-184): Assertion violation happens here
-// Warning: (276-290): Assertion violation happens here
-// Warning: (170-184): Assertion violation happens here
+// Warning: (121-135): Assertion violation happens here.
+// Warning: (170-184): Assertion violation happens here.
+// Warning: (276-290): Assertion violation happens here.
+// Warning: (170-184): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/inheritance/functions_2.sol b/test/libsolidity/smtCheckerTests/inheritance/functions_2.sol
index d462e7c9a..c0cc7afd5 100644
--- a/test/libsolidity/smtCheckerTests/inheritance/functions_2.sol
+++ b/test/libsolidity/smtCheckerTests/inheritance/functions_2.sol
@@ -21,7 +21,7 @@ contract B is A {
 	}
 }
 // ----
-// Warning: (121-135): Assertion violation happens here
-// Warning: (170-184): Assertion violation happens here
-// Warning: (286-300): Assertion violation happens here
-// Warning: (170-184): Assertion violation happens here
+// Warning: (121-135): Assertion violation happens here.
+// Warning: (170-184): Assertion violation happens here.
+// Warning: (286-300): Assertion violation happens here.
+// Warning: (170-184): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/inheritance/functions_3.sol b/test/libsolidity/smtCheckerTests/inheritance/functions_3.sol
index a2d1d9f3e..1717adcaa 100644
--- a/test/libsolidity/smtCheckerTests/inheritance/functions_3.sol
+++ b/test/libsolidity/smtCheckerTests/inheritance/functions_3.sol
@@ -36,12 +36,12 @@ contract C is B {
 	}
 }
 // ----
-// Warning: (121-135): Assertion violation happens here
-// Warning: (170-184): Assertion violation happens here
-// Warning: (296-310): Assertion violation happens here
-// Warning: (345-359): Assertion violation happens here
-// Warning: (170-184): Assertion violation happens here
-// Warning: (468-482): Assertion violation happens here
-// Warning: (517-531): Assertion violation happens here
-// Warning: (345-359): Assertion violation happens here
-// Warning: (170-184): Assertion violation happens here
+// Warning: (121-135): Assertion violation happens here.
+// Warning: (170-184): Assertion violation happens here.
+// Warning: (296-310): Assertion violation happens here.
+// Warning: (345-359): Assertion violation happens here.
+// Warning: (170-184): Assertion violation happens here.
+// Warning: (468-482): Assertion violation happens here.
+// Warning: (517-531): Assertion violation happens here.
+// Warning: (345-359): Assertion violation happens here.
+// Warning: (170-184): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/inheritance/receive.sol b/test/libsolidity/smtCheckerTests/inheritance/receive.sol
index 8372db502..fb5452615 100644
--- a/test/libsolidity/smtCheckerTests/inheritance/receive.sol
+++ b/test/libsolidity/smtCheckerTests/inheritance/receive.sol
@@ -21,7 +21,7 @@ contract B is A {
 	}
 }
 // ----
-// Warning: (128-142): Assertion violation happens here
-// Warning: (177-191): Assertion violation happens here
-// Warning: (300-314): Assertion violation happens here
-// Warning: (177-191): Assertion violation happens here
+// Warning: (128-142): Assertion violation happens here.
+// Warning: (177-191): Assertion violation happens here.
+// Warning: (300-314): Assertion violation happens here.
+// Warning: (177-191): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/inheritance/receive_fallback.sol b/test/libsolidity/smtCheckerTests/inheritance/receive_fallback.sol
index 277912227..adce82748 100644
--- a/test/libsolidity/smtCheckerTests/inheritance/receive_fallback.sol
+++ b/test/libsolidity/smtCheckerTests/inheritance/receive_fallback.sol
@@ -21,8 +21,8 @@ contract B is A {
 	}
 }
 // ----
-// Warning: (120-134): Assertion violation happens here
-// Warning: (169-183): Assertion violation happens here
-// Warning: (288-302): Assertion violation happens here
-// Warning: (120-134): Assertion violation happens here
-// Warning: (169-183): Assertion violation happens here
+// Warning: (120-134): Assertion violation happens here.
+// Warning: (169-183): Assertion violation happens here.
+// Warning: (288-302): Assertion violation happens here.
+// Warning: (120-134): Assertion violation happens here.
+// Warning: (169-183): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/invariants/state_machine_1_fail.sol b/test/libsolidity/smtCheckerTests/invariants/state_machine_1_fail.sol
index 997113689..657e79a6a 100644
--- a/test/libsolidity/smtCheckerTests/invariants/state_machine_1_fail.sol
+++ b/test/libsolidity/smtCheckerTests/invariants/state_machine_1_fail.sol
@@ -28,7 +28,5 @@ contract C {
 		assert(x < 2);
 	}
 }
-// ====
-// SMTSolvers: z3
 // ----
-// Warning: (311-324): Assertion violation happens here
+// Warning: (311-324): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/loops/do_while_1_fail.sol b/test/libsolidity/smtCheckerTests/loops/do_while_1_fail.sol
index ebf023e27..edacc3f73 100644
--- a/test/libsolidity/smtCheckerTests/loops/do_while_1_fail.sol
+++ b/test/libsolidity/smtCheckerTests/loops/do_while_1_fail.sol
@@ -11,8 +11,6 @@ contract C
 		assert(x < 14);
 	}
 }
-// ====
-// SMTSolvers: z3
 // ----
-// Warning: (150-155): Overflow (resulting value larger than 2**256 - 1) happens here
-// Warning: (179-193): Assertion violation happens here
+// Warning: (150-155): Overflow (resulting value larger than 2**256 - 1) happens here.
+// Warning: (179-193): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/loops/do_while_1_false_positives.sol b/test/libsolidity/smtCheckerTests/loops/do_while_1_false_positives.sol
index f46a3f5a4..4fba7472a 100644
--- a/test/libsolidity/smtCheckerTests/loops/do_while_1_false_positives.sol
+++ b/test/libsolidity/smtCheckerTests/loops/do_while_1_false_positives.sol
@@ -13,7 +13,5 @@ contract C
 		assert(x > 0);
 	}
 }
-// ====
-// SMTSolvers: z3
 // ----
-// Warning: (150-155): Overflow (resulting value larger than 2**256 - 1) happens here
+// Warning: (150-155): Overflow (resulting value larger than 2**256 - 1) happens here.
diff --git a/test/libsolidity/smtCheckerTests/loops/do_while_break_2_fail.sol b/test/libsolidity/smtCheckerTests/loops/do_while_break_2_fail.sol
index 90f4d3cf8..1db7bb454 100644
--- a/test/libsolidity/smtCheckerTests/loops/do_while_break_2_fail.sol
+++ b/test/libsolidity/smtCheckerTests/loops/do_while_break_2_fail.sol
@@ -14,9 +14,7 @@ contract C {
 		assert(a == 2);
 	}
 }
-// ====
-// SMTSolvers: z3
 // ----
 // Warning: (128-133): Unreachable code.
 // Warning: (147-151): Unreachable code.
-// Warning: (180-194): Assertion violation happens here
+// Warning: (180-194): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/loops/do_while_break_fail.sol b/test/libsolidity/smtCheckerTests/loops/do_while_break_fail.sol
index fa23aafd2..ac2d259cd 100644
--- a/test/libsolidity/smtCheckerTests/loops/do_while_break_fail.sol
+++ b/test/libsolidity/smtCheckerTests/loops/do_while_break_fail.sol
@@ -10,9 +10,7 @@ contract C {
 		assert(x == 1);
 	}
 }
-// ====
-// SMTSolvers: z3
 // ----
 // Warning: (104-109): Unreachable code.
 // Warning: (122-128): Unreachable code.
-// Warning: (133-147): Assertion violation happens here
+// Warning: (133-147): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/loops/for_1_break_fail.sol b/test/libsolidity/smtCheckerTests/loops/for_1_break_fail.sol
index 2422cc177..d1f70ad7c 100644
--- a/test/libsolidity/smtCheckerTests/loops/for_1_break_fail.sol
+++ b/test/libsolidity/smtCheckerTests/loops/for_1_break_fail.sol
@@ -14,7 +14,5 @@ contract C
 		assert(x >= 10);
 	}
 }
-// ====
-// SMTSolvers: z3
 // ----
-// Warning: (201-216): Assertion violation happens here
+// Warning: (201-216): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/loops/for_1_continue_fail.sol b/test/libsolidity/smtCheckerTests/loops/for_1_continue_fail.sol
index 7f73f86c1..5f5e2a72d 100644
--- a/test/libsolidity/smtCheckerTests/loops/for_1_continue_fail.sol
+++ b/test/libsolidity/smtCheckerTests/loops/for_1_continue_fail.sol
@@ -14,7 +14,5 @@ contract C
 		assert(x > 15);
 	}
 }
-// ====
-// SMTSolvers: z3
 // ----
-// Warning: (185-199): Assertion violation happens here
+// Warning: (185-199): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/loops/for_1_fail.sol b/test/libsolidity/smtCheckerTests/loops/for_1_fail.sol
index 11c08b768..e4cdf5700 100644
--- a/test/libsolidity/smtCheckerTests/loops/for_1_fail.sol
+++ b/test/libsolidity/smtCheckerTests/loops/for_1_fail.sol
@@ -11,8 +11,6 @@ contract C
 		assert(x < 14);
 	}
 }
-// ====
-// SMTSolvers: z3
 // ----
-// Warning: (176-181): Overflow (resulting value larger than 2**256 - 1) happens here
-// Warning: (189-203): Assertion violation happens here
+// Warning: (176-181): Overflow (resulting value larger than 2**256 - 1) happens here.
+// Warning: (189-203): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/loops/for_1_false_positive.sol b/test/libsolidity/smtCheckerTests/loops/for_1_false_positive.sol
index e57c62313..b41e64233 100644
--- a/test/libsolidity/smtCheckerTests/loops/for_1_false_positive.sol
+++ b/test/libsolidity/smtCheckerTests/loops/for_1_false_positive.sol
@@ -13,9 +13,7 @@ contract C
 		assert(x > 0);
 	}
 }
-// ====
-// SMTSolvers: z3
 // ----
 // Warning: (296-309): Error trying to invoke SMT solver.
-// Warning: (176-181): Overflow (resulting value larger than 2**256 - 1) happens here
-// Warning: (296-309): Assertion violation happens here
+// Warning: (176-181): Overflow (resulting value larger than 2**256 - 1) happens here.
+// Warning: (296-309): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/loops/for_loop_4.sol b/test/libsolidity/smtCheckerTests/loops/for_loop_4.sol
index c242a5800..2e9515bb4 100644
--- a/test/libsolidity/smtCheckerTests/loops/for_loop_4.sol
+++ b/test/libsolidity/smtCheckerTests/loops/for_loop_4.sol
@@ -6,7 +6,5 @@ contract C {
         }
     }
 }
-// ====
-// SMTSolvers: z3
 // ----
-// Warning: (136-150): Assertion violation happens here
+// Warning: (136-150): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/loops/for_loop_5.sol b/test/libsolidity/smtCheckerTests/loops/for_loop_5.sol
index 066a3e76d..df4c1427d 100644
--- a/test/libsolidity/smtCheckerTests/loops/for_loop_5.sol
+++ b/test/libsolidity/smtCheckerTests/loops/for_loop_5.sol
@@ -8,7 +8,5 @@ contract C {
         assert(y == 3);
     }
 }
-// ====
-// SMTSolvers: z3
 // ----
-// Warning: (167-181): Assertion violation happens here
+// Warning: (167-181): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/loops/for_loop_array_assignment_memory_memory.sol b/test/libsolidity/smtCheckerTests/loops/for_loop_array_assignment_memory_memory.sol
index 1a9216de0..bd3b296ba 100644
--- a/test/libsolidity/smtCheckerTests/loops/for_loop_array_assignment_memory_memory.sol
+++ b/test/libsolidity/smtCheckerTests/loops/for_loop_array_assignment_memory_memory.sol
@@ -14,9 +14,7 @@ contract LoopFor2 {
 		assert(b[0] == 900);
 	}
 }
-// ====
-// SMTSolvers: z3
 // ----
-// Warning: (281-301): Assertion violation happens here
-// Warning: (305-324): Assertion violation happens here
-// Warning: (328-347): Assertion violation happens here
+// Warning: (281-301): Assertion violation happens here.
+// Warning: (305-324): Assertion violation happens here.
+// Warning: (328-347): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/loops/for_loop_array_assignment_memory_storage.sol b/test/libsolidity/smtCheckerTests/loops/for_loop_array_assignment_memory_storage.sol
index 82a91bf75..b860c70f0 100644
--- a/test/libsolidity/smtCheckerTests/loops/for_loop_array_assignment_memory_storage.sol
+++ b/test/libsolidity/smtCheckerTests/loops/for_loop_array_assignment_memory_storage.sol
@@ -16,8 +16,6 @@ contract LoopFor2 {
 		assert(b[0] == 900);
 	}
 }
-// ====
-// SMTSolvers: z3
 // ----
-// Warning: (274-294): Assertion violation happens here
-// Warning: (321-340): Assertion violation happens here
+// Warning: (274-294): Assertion violation happens here.
+// Warning: (321-340): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/loops/for_loop_array_assignment_storage_memory.sol b/test/libsolidity/smtCheckerTests/loops/for_loop_array_assignment_storage_memory.sol
index 9e7a83866..988bab66c 100644
--- a/test/libsolidity/smtCheckerTests/loops/for_loop_array_assignment_storage_memory.sol
+++ b/test/libsolidity/smtCheckerTests/loops/for_loop_array_assignment_storage_memory.sol
@@ -17,7 +17,5 @@ contract LoopFor2 {
 		assert(b[0] == 900);
 	}
 }
-// ====
-// SMTSolvers: z3
 // ----
-// Warning: (312-331): Assertion violation happens here
+// Warning: (312-331): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/loops/for_loop_array_assignment_storage_storage.sol b/test/libsolidity/smtCheckerTests/loops/for_loop_array_assignment_storage_storage.sol
index 8146a7f19..909bda568 100644
--- a/test/libsolidity/smtCheckerTests/loops/for_loop_array_assignment_storage_storage.sol
+++ b/test/libsolidity/smtCheckerTests/loops/for_loop_array_assignment_storage_storage.sol
@@ -17,8 +17,6 @@ contract LoopFor2 {
 		assert(b[0] == 900);
 	}
 }
-// ====
-// SMTSolvers: z3
 // ----
-// Warning: (290-309): Assertion violation happens here
-// Warning: (313-332): Assertion violation happens here
+// Warning: (290-309): Assertion violation happens here.
+// Warning: (313-332): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/loops/while_1_break_fail.sol b/test/libsolidity/smtCheckerTests/loops/while_1_break_fail.sol
index 1e8157cee..fbb738b99 100644
--- a/test/libsolidity/smtCheckerTests/loops/while_1_break_fail.sol
+++ b/test/libsolidity/smtCheckerTests/loops/while_1_break_fail.sol
@@ -15,7 +15,5 @@ contract C
 		assert(x >= 10);
 	}
 }
-// ====
-// SMTSolvers: z3
 // ----
-// Warning: (218-233): Assertion violation happens here
+// Warning: (218-233): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/loops/while_1_continue_fail.sol b/test/libsolidity/smtCheckerTests/loops/while_1_continue_fail.sol
index 06b6eba2e..63b22bab2 100644
--- a/test/libsolidity/smtCheckerTests/loops/while_1_continue_fail.sol
+++ b/test/libsolidity/smtCheckerTests/loops/while_1_continue_fail.sol
@@ -17,8 +17,6 @@ contract C
 		assert(x >= 17);
 	}
 }
-// ====
-// SMTSolvers: z3
 // ----
 // Warning: (169-176): Unreachable code.
-// Warning: (227-242): Assertion violation happens here
+// Warning: (227-242): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/loops/while_1_fail.sol b/test/libsolidity/smtCheckerTests/loops/while_1_fail.sol
index 793907bdd..8e644e370 100644
--- a/test/libsolidity/smtCheckerTests/loops/while_1_fail.sol
+++ b/test/libsolidity/smtCheckerTests/loops/while_1_fail.sol
@@ -10,7 +10,5 @@ contract C
 		assert(x < 14);
 	}
 }
-// ====
-// SMTSolvers: z3
 // ----
-// Warning: (139-153): Assertion violation happens here
+// Warning: (139-153): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/loops/while_2_break_fail.sol b/test/libsolidity/smtCheckerTests/loops/while_2_break_fail.sol
index 78cac6021..507e15d22 100644
--- a/test/libsolidity/smtCheckerTests/loops/while_2_break_fail.sol
+++ b/test/libsolidity/smtCheckerTests/loops/while_2_break_fail.sol
@@ -11,8 +11,6 @@ contract C
 		assert(x == 2);
 	}
 }
-// ====
-// SMTSolvers: z3
 // ----
 // Warning: (120-123): Unreachable code.
-// Warning: (131-145): Assertion violation happens here
+// Warning: (131-145): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/loops/while_loop_array_assignment_memory_memory.sol b/test/libsolidity/smtCheckerTests/loops/while_loop_array_assignment_memory_memory.sol
index 92a8a8be7..981ef5d74 100644
--- a/test/libsolidity/smtCheckerTests/loops/while_loop_array_assignment_memory_memory.sol
+++ b/test/libsolidity/smtCheckerTests/loops/while_loop_array_assignment_memory_memory.sol
@@ -16,9 +16,7 @@ contract LoopFor2 {
 		assert(b[0] == 900);
 	}
 }
-// ====
-// SMTSolvers: z3
 // ----
-// Warning: (281-301): Assertion violation happens here
-// Warning: (305-324): Assertion violation happens here
-// Warning: (328-347): Assertion violation happens here
+// Warning: (281-301): Assertion violation happens here.
+// Warning: (305-324): Assertion violation happens here.
+// Warning: (328-347): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/loops/while_loop_array_assignment_memory_storage.sol b/test/libsolidity/smtCheckerTests/loops/while_loop_array_assignment_memory_storage.sol
index c4669b1ba..13a3a9189 100644
--- a/test/libsolidity/smtCheckerTests/loops/while_loop_array_assignment_memory_storage.sol
+++ b/test/libsolidity/smtCheckerTests/loops/while_loop_array_assignment_memory_storage.sol
@@ -20,8 +20,6 @@ contract LoopFor2 {
 		assert(b[0] == 900);
 	}
 }
-// ====
-// SMTSolvers: z3
 // ----
-// Warning: (362-382): Assertion violation happens here
-// Warning: (409-428): Assertion violation happens here
+// Warning: (362-382): Assertion violation happens here.
+// Warning: (409-428): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/loops/while_loop_array_assignment_storage_storage.sol b/test/libsolidity/smtCheckerTests/loops/while_loop_array_assignment_storage_storage.sol
index 92d1ded3e..3c941a972 100644
--- a/test/libsolidity/smtCheckerTests/loops/while_loop_array_assignment_storage_storage.sol
+++ b/test/libsolidity/smtCheckerTests/loops/while_loop_array_assignment_storage_storage.sol
@@ -21,6 +21,6 @@ contract LoopFor2 {
 	}
 }
 // ----
-// Warning: (296-316): Assertion violation happens here
-// Warning: (320-339): Assertion violation happens here
-// Warning: (343-362): Assertion violation happens here
+// Warning: (296-316): Assertion violation happens here.
+// Warning: (320-339): Assertion violation happens here.
+// Warning: (343-362): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/loops/while_loop_simple_1.sol b/test/libsolidity/smtCheckerTests/loops/while_loop_simple_1.sol
index 3caaf1388..0dcb646de 100644
--- a/test/libsolidity/smtCheckerTests/loops/while_loop_simple_1.sol
+++ b/test/libsolidity/smtCheckerTests/loops/while_loop_simple_1.sol
@@ -9,7 +9,5 @@ contract C {
         assert(x == 2);
     }
 }
-// ====
-// SMTSolvers: z3
 // ----
-// Warning: (194-208): Assertion violation happens here
+// Warning: (194-208): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/loops/while_loop_simple_3.sol b/test/libsolidity/smtCheckerTests/loops/while_loop_simple_3.sol
index 7476d2853..efae00114 100644
--- a/test/libsolidity/smtCheckerTests/loops/while_loop_simple_3.sol
+++ b/test/libsolidity/smtCheckerTests/loops/while_loop_simple_3.sol
@@ -7,7 +7,5 @@ contract C {
         assert(x == 2);
     }
 }
-// ====
-// SMTSolvers: z3
 // ----
-// Warning: (187-201): Assertion violation happens here
+// Warning: (187-201): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/loops/while_loop_simple_5.sol b/test/libsolidity/smtCheckerTests/loops/while_loop_simple_5.sol
index c85e7e3fb..499f174f0 100644
--- a/test/libsolidity/smtCheckerTests/loops/while_loop_simple_5.sol
+++ b/test/libsolidity/smtCheckerTests/loops/while_loop_simple_5.sol
@@ -8,7 +8,5 @@ contract C {
         assert(x == 7);
     }
 }
-// ====
-// SMTSolvers: z3
 // ----
-// Warning: (216-230): Assertion violation happens here
+// Warning: (216-230): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/loops/while_nested_break_fail.sol b/test/libsolidity/smtCheckerTests/loops/while_nested_break_fail.sol
index e9752b3a8..8f375e525 100644
--- a/test/libsolidity/smtCheckerTests/loops/while_nested_break_fail.sol
+++ b/test/libsolidity/smtCheckerTests/loops/while_nested_break_fail.sol
@@ -28,8 +28,6 @@ contract C
 		assert(x >= 20);
 	}
 }
-// ====
-// SMTSolvers: z3
 // ----
-// Warning: (329-344): Assertion violation happens here
-// Warning: (380-395): Assertion violation happens here
+// Warning: (329-344): Assertion violation happens here.
+// Warning: (380-395): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/loops/while_nested_continue_fail.sol b/test/libsolidity/smtCheckerTests/loops/while_nested_continue_fail.sol
index 4447cf6d7..58079a094 100644
--- a/test/libsolidity/smtCheckerTests/loops/while_nested_continue_fail.sol
+++ b/test/libsolidity/smtCheckerTests/loops/while_nested_continue_fail.sol
@@ -26,8 +26,6 @@ contract C
 		assert(x >= 20);
 	}
 }
-// ====
-// SMTSolvers: z3
 // ----
-// Warning: (323-338): Assertion violation happens here
-// Warning: (362-377): Assertion violation happens here
+// Warning: (323-338): Assertion violation happens here.
+// Warning: (362-377): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/modifiers/modifier_code_after_placeholder.sol b/test/libsolidity/smtCheckerTests/modifiers/modifier_code_after_placeholder.sol
index 7a420c28f..3cdb92965 100644
--- a/test/libsolidity/smtCheckerTests/modifiers/modifier_code_after_placeholder.sol
+++ b/test/libsolidity/smtCheckerTests/modifiers/modifier_code_after_placeholder.sol
@@ -21,4 +21,4 @@ contract C
 	}
 }
 // ----
-// Warning: (136-149): Assertion violation happens here
+// Warning: (136-149): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/modifiers/modifier_control_flow.sol b/test/libsolidity/smtCheckerTests/modifiers/modifier_control_flow.sol
index 7a8d9264d..9194103c8 100644
--- a/test/libsolidity/smtCheckerTests/modifiers/modifier_control_flow.sol
+++ b/test/libsolidity/smtCheckerTests/modifiers/modifier_control_flow.sol
@@ -15,4 +15,4 @@ contract C
 	}
 }
 // ----
-// Warning: (144-157): Assertion violation happens here
+// Warning: (144-157): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/modifiers/modifier_inside_branch_assignment.sol b/test/libsolidity/smtCheckerTests/modifiers/modifier_inside_branch_assignment.sol
index 089cfffe3..f59eb7249 100644
--- a/test/libsolidity/smtCheckerTests/modifiers/modifier_inside_branch_assignment.sol
+++ b/test/libsolidity/smtCheckerTests/modifiers/modifier_inside_branch_assignment.sol
@@ -20,4 +20,4 @@ contract C {
 	}
 }
 // ----
-// Warning: (287-300): Assertion violation happens here
+// Warning: (287-300): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/modifiers/modifier_inside_branch_assignment_multi_branches.sol b/test/libsolidity/smtCheckerTests/modifiers/modifier_inside_branch_assignment_multi_branches.sol
index 387047bb7..f8dfbcca4 100644
--- a/test/libsolidity/smtCheckerTests/modifiers/modifier_inside_branch_assignment_multi_branches.sol
+++ b/test/libsolidity/smtCheckerTests/modifiers/modifier_inside_branch_assignment_multi_branches.sol
@@ -32,4 +32,4 @@ contract C {
 	}
 }
 // ----
-// Warning: (461-475): Assertion violation happens here
+// Warning: (461-475): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/modifiers/modifier_multi.sol b/test/libsolidity/smtCheckerTests/modifiers/modifier_multi.sol
index 241a367ea..c587b5bf7 100644
--- a/test/libsolidity/smtCheckerTests/modifiers/modifier_multi.sol
+++ b/test/libsolidity/smtCheckerTests/modifiers/modifier_multi.sol
@@ -26,4 +26,4 @@ contract C
 	}
 }
 // ----
-// Warning: (170-183): Assertion violation happens here
+// Warning: (170-183): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/modifiers/modifier_multi_functions.sol b/test/libsolidity/smtCheckerTests/modifiers/modifier_multi_functions.sol
index 0ad3ed238..08dce5ae2 100644
--- a/test/libsolidity/smtCheckerTests/modifiers/modifier_multi_functions.sol
+++ b/test/libsolidity/smtCheckerTests/modifiers/modifier_multi_functions.sol
@@ -22,4 +22,4 @@ contract C
 	}
 }
 // ----
-// Warning: (311-324): Assertion violation happens here
+// Warning: (311-324): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/modifiers/modifier_multi_functions_recursive.sol b/test/libsolidity/smtCheckerTests/modifiers/modifier_multi_functions_recursive.sol
index b01fe812e..b8183ac37 100644
--- a/test/libsolidity/smtCheckerTests/modifiers/modifier_multi_functions_recursive.sol
+++ b/test/libsolidity/smtCheckerTests/modifiers/modifier_multi_functions_recursive.sol
@@ -19,4 +19,4 @@ contract C
 // ----
 // Warning: (86-93): Assertion checker does not support recursive function calls.
 // Warning: (86-93): Assertion checker does not support recursive function calls.
-// Warning: (253-266): Assertion violation happens here
+// Warning: (253-266): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/modifiers/modifier_multi_parameters.sol b/test/libsolidity/smtCheckerTests/modifiers/modifier_multi_parameters.sol
index ec6ce47de..814c34c39 100644
--- a/test/libsolidity/smtCheckerTests/modifiers/modifier_multi_parameters.sol
+++ b/test/libsolidity/smtCheckerTests/modifiers/modifier_multi_parameters.sol
@@ -13,4 +13,4 @@ contract C
 	}
 }
 // ----
-// Warning: (164-177): Assertion violation happens here
+// Warning: (164-177): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/modifiers/modifier_overflow.sol b/test/libsolidity/smtCheckerTests/modifiers/modifier_overflow.sol
index 60b35e59d..5a0fc9d37 100644
--- a/test/libsolidity/smtCheckerTests/modifiers/modifier_overflow.sol
+++ b/test/libsolidity/smtCheckerTests/modifiers/modifier_overflow.sol
@@ -15,4 +15,4 @@ contract C
 	}
 }
 // ----
-// Warning: (145-150): Overflow (resulting value larger than 2**256 - 1) happens here
+// Warning: (145-150): Overflow (resulting value larger than 2**256 - 1) happens here.
diff --git a/test/libsolidity/smtCheckerTests/modifiers/modifier_parameter_copy.sol b/test/libsolidity/smtCheckerTests/modifiers/modifier_parameter_copy.sol
index b91d2ee51..308bbac1c 100644
--- a/test/libsolidity/smtCheckerTests/modifiers/modifier_parameter_copy.sol
+++ b/test/libsolidity/smtCheckerTests/modifiers/modifier_parameter_copy.sol
@@ -12,4 +12,4 @@ contract C
 	}
 }
 // ----
-// Warning: (128-142): Assertion violation happens here
+// Warning: (128-142): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/modifiers/modifier_same_local_variables.sol b/test/libsolidity/smtCheckerTests/modifiers/modifier_same_local_variables.sol
index 7c43a311d..9a8d6cf0e 100644
--- a/test/libsolidity/smtCheckerTests/modifiers/modifier_same_local_variables.sol
+++ b/test/libsolidity/smtCheckerTests/modifiers/modifier_same_local_variables.sol
@@ -12,4 +12,4 @@ contract C
 	}
 }
 // ----
-// Warning: (121-135): Assertion violation happens here
+// Warning: (121-135): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/modifiers/modifier_two_placeholders.sol b/test/libsolidity/smtCheckerTests/modifiers/modifier_two_placeholders.sol
index 65b07f881..47610075b 100644
--- a/test/libsolidity/smtCheckerTests/modifiers/modifier_two_placeholders.sol
+++ b/test/libsolidity/smtCheckerTests/modifiers/modifier_two_placeholders.sol
@@ -23,4 +23,4 @@ contract C
 	}
 }
 // ----
-// Warning: (156-170): Assertion violation happens here
+// Warning: (156-170): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/operators/compound_add.sol b/test/libsolidity/smtCheckerTests/operators/compound_add.sol
index fcbd7edc7..80294b7a5 100644
--- a/test/libsolidity/smtCheckerTests/operators/compound_add.sol
+++ b/test/libsolidity/smtCheckerTests/operators/compound_add.sol
@@ -11,4 +11,4 @@ contract C
 	}
 }
 // ----
-// Warning: (151-166): Assertion violation happens here
+// Warning: (151-166): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/operators/compound_add_array_index.sol b/test/libsolidity/smtCheckerTests/operators/compound_add_array_index.sol
index c4acd3842..fd7d01d38 100644
--- a/test/libsolidity/smtCheckerTests/operators/compound_add_array_index.sol
+++ b/test/libsolidity/smtCheckerTests/operators/compound_add_array_index.sol
@@ -12,4 +12,4 @@ contract C
 	}
 }
 // ----
-// Warning: (192-214): Assertion violation happens here
+// Warning: (192-214): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/operators/compound_add_mapping.sol b/test/libsolidity/smtCheckerTests/operators/compound_add_mapping.sol
index eab7df2f0..f58ebae1e 100644
--- a/test/libsolidity/smtCheckerTests/operators/compound_add_mapping.sol
+++ b/test/libsolidity/smtCheckerTests/operators/compound_add_mapping.sol
@@ -12,4 +12,4 @@ contract C
 	}
 }
 // ----
-// Warning: (198-218): Assertion violation happens here
+// Warning: (198-218): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/operators/compound_assignment_division_1.sol b/test/libsolidity/smtCheckerTests/operators/compound_assignment_division_1.sol
index 2e07fc9c1..723b98360 100644
--- a/test/libsolidity/smtCheckerTests/operators/compound_assignment_division_1.sol
+++ b/test/libsolidity/smtCheckerTests/operators/compound_assignment_division_1.sol
@@ -9,4 +9,4 @@ contract C {
 	}
 }
 // ----
-// Warning: (147-161): Assertion violation happens here
+// Warning: (147-161): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/operators/compound_assignment_division_2.sol b/test/libsolidity/smtCheckerTests/operators/compound_assignment_division_2.sol
index f7c347047..6b5315ba4 100644
--- a/test/libsolidity/smtCheckerTests/operators/compound_assignment_division_2.sol
+++ b/test/libsolidity/smtCheckerTests/operators/compound_assignment_division_2.sol
@@ -10,4 +10,4 @@ contract C {
 	}
 }
 // ----
-// Warning: (188-209): Assertion violation happens here
+// Warning: (188-209): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/operators/compound_assignment_division_3.sol b/test/libsolidity/smtCheckerTests/operators/compound_assignment_division_3.sol
index 5b466f173..ca4e4c1e2 100644
--- a/test/libsolidity/smtCheckerTests/operators/compound_assignment_division_3.sol
+++ b/test/libsolidity/smtCheckerTests/operators/compound_assignment_division_3.sol
@@ -10,4 +10,4 @@ contract C {
 	}
 }
 // ----
-// Warning: (194-213): Assertion violation happens here
+// Warning: (194-213): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/operators/compound_bitwise_and_1.sol b/test/libsolidity/smtCheckerTests/operators/compound_bitwise_and_1.sol
index 2e35014e6..3fcc521c9 100644
--- a/test/libsolidity/smtCheckerTests/operators/compound_bitwise_and_1.sol
+++ b/test/libsolidity/smtCheckerTests/operators/compound_bitwise_and_1.sol
@@ -10,4 +10,4 @@ contract C {
 }
 // ----
 // Warning: (106-112): Assertion checker does not yet implement this assignment operator.
-// Warning: (116-130): Assertion violation happens here
+// Warning: (116-130): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/operators/compound_bitwise_or_1.sol b/test/libsolidity/smtCheckerTests/operators/compound_bitwise_or_1.sol
index e9d654088..cf82892c3 100644
--- a/test/libsolidity/smtCheckerTests/operators/compound_bitwise_or_1.sol
+++ b/test/libsolidity/smtCheckerTests/operators/compound_bitwise_or_1.sol
@@ -10,4 +10,4 @@ contract C {
 }
 // ----
 // Warning: (106-112): Assertion checker does not yet implement this assignment operator.
-// Warning: (116-130): Assertion violation happens here
+// Warning: (116-130): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/operators/compound_bitwise_xor_1.sol b/test/libsolidity/smtCheckerTests/operators/compound_bitwise_xor_1.sol
index a96e2efe8..4153aa5cf 100644
--- a/test/libsolidity/smtCheckerTests/operators/compound_bitwise_xor_1.sol
+++ b/test/libsolidity/smtCheckerTests/operators/compound_bitwise_xor_1.sol
@@ -10,4 +10,4 @@ contract C {
 }
 // ----
 // Warning: (106-112): Assertion checker does not yet implement this assignment operator.
-// Warning: (116-130): Assertion violation happens here
+// Warning: (116-130): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/operators/compound_mul.sol b/test/libsolidity/smtCheckerTests/operators/compound_mul.sol
index a62cefa06..ee888a2c9 100644
--- a/test/libsolidity/smtCheckerTests/operators/compound_mul.sol
+++ b/test/libsolidity/smtCheckerTests/operators/compound_mul.sol
@@ -11,4 +11,4 @@ contract C
 	}
 }
 // ----
-// Warning: (150-164): Assertion violation happens here
+// Warning: (150-164): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/operators/compound_mul_array_index.sol b/test/libsolidity/smtCheckerTests/operators/compound_mul_array_index.sol
index 110eb868e..34a2e1aa1 100644
--- a/test/libsolidity/smtCheckerTests/operators/compound_mul_array_index.sol
+++ b/test/libsolidity/smtCheckerTests/operators/compound_mul_array_index.sol
@@ -12,4 +12,4 @@ contract C
 	}
 }
 // ----
-// Warning: (191-212): Assertion violation happens here
+// Warning: (191-212): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/operators/compound_mul_mapping.sol b/test/libsolidity/smtCheckerTests/operators/compound_mul_mapping.sol
index cd73bc687..50646b495 100644
--- a/test/libsolidity/smtCheckerTests/operators/compound_mul_mapping.sol
+++ b/test/libsolidity/smtCheckerTests/operators/compound_mul_mapping.sol
@@ -12,4 +12,4 @@ contract C
 	}
 }
 // ----
-// Warning: (197-216): Assertion violation happens here
+// Warning: (197-216): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/operators/compound_shl_1.sol b/test/libsolidity/smtCheckerTests/operators/compound_shl_1.sol
index 8f84e5127..da1b3f96b 100644
--- a/test/libsolidity/smtCheckerTests/operators/compound_shl_1.sol
+++ b/test/libsolidity/smtCheckerTests/operators/compound_shl_1.sol
@@ -10,4 +10,4 @@ contract C {
 }
 // ----
 // Warning: (112-119): Assertion checker does not yet implement this assignment operator.
-// Warning: (123-136): Assertion violation happens here
+// Warning: (123-136): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/operators/compound_shr_1.sol b/test/libsolidity/smtCheckerTests/operators/compound_shr_1.sol
index 8b58b79a0..810d03c38 100644
--- a/test/libsolidity/smtCheckerTests/operators/compound_shr_1.sol
+++ b/test/libsolidity/smtCheckerTests/operators/compound_shr_1.sol
@@ -10,4 +10,4 @@ contract C {
 }
 // ----
 // Warning: (106-113): Assertion checker does not yet implement this assignment operator.
-// Warning: (117-130): Assertion violation happens here
+// Warning: (117-130): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/operators/compound_sub.sol b/test/libsolidity/smtCheckerTests/operators/compound_sub.sol
index 6e9cfa3cd..a6ab45169 100644
--- a/test/libsolidity/smtCheckerTests/operators/compound_sub.sol
+++ b/test/libsolidity/smtCheckerTests/operators/compound_sub.sol
@@ -11,4 +11,4 @@ contract C
 	}
 }
 // ----
-// Warning: (150-164): Assertion violation happens here
+// Warning: (150-164): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/operators/compound_sub_array_index.sol b/test/libsolidity/smtCheckerTests/operators/compound_sub_array_index.sol
index 8c8f84627..0e9844370 100644
--- a/test/libsolidity/smtCheckerTests/operators/compound_sub_array_index.sol
+++ b/test/libsolidity/smtCheckerTests/operators/compound_sub_array_index.sol
@@ -12,4 +12,4 @@ contract C
 	}
 }
 // ----
-// Warning: (191-212): Assertion violation happens here
+// Warning: (191-212): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/operators/compound_sub_mapping.sol b/test/libsolidity/smtCheckerTests/operators/compound_sub_mapping.sol
index 92e315832..a218ae8af 100644
--- a/test/libsolidity/smtCheckerTests/operators/compound_sub_mapping.sol
+++ b/test/libsolidity/smtCheckerTests/operators/compound_sub_mapping.sol
@@ -12,4 +12,4 @@ contract C
 	}
 }
 // ----
-// Warning: (197-216): Assertion violation happens here
+// Warning: (197-216): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/operators/delete_struct.sol b/test/libsolidity/smtCheckerTests/operators/delete_struct.sol
index f5c048fc7..78117008c 100644
--- a/test/libsolidity/smtCheckerTests/operators/delete_struct.sol
+++ b/test/libsolidity/smtCheckerTests/operators/delete_struct.sol
@@ -27,4 +27,4 @@ contract C
 // Warning: (158-168): Assertion checker does not yet implement "delete" for this expression.
 // Warning: (179-182): Assertion checker does not yet support this expression.
 // Warning: (179-180): Assertion checker does not yet implement type "struct C.S memory".
-// Warning: (172-188): Assertion violation happens here
+// Warning: (172-188): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/operators/division_1.sol b/test/libsolidity/smtCheckerTests/operators/division_1.sol
index 9f434cbbc..6c44e0200 100644
--- a/test/libsolidity/smtCheckerTests/operators/division_1.sol
+++ b/test/libsolidity/smtCheckerTests/operators/division_1.sol
@@ -5,4 +5,4 @@ contract C {
 	}
 }
 // ----
-// Warning: (111-116): Division by zero happens here
+// Warning: (111-116): Division by zero happens here.
diff --git a/test/libsolidity/smtCheckerTests/operators/division_3.sol b/test/libsolidity/smtCheckerTests/operators/division_3.sol
index 348a2e183..0baf288af 100644
--- a/test/libsolidity/smtCheckerTests/operators/division_3.sol
+++ b/test/libsolidity/smtCheckerTests/operators/division_3.sol
@@ -6,4 +6,4 @@ contract C {
 	}
 }
 // ----
-// Warning: (127-132): Overflow (resulting value larger than 0x80 * 2**248 - 1) happens here
+// Warning: (127-132): Overflow (resulting value larger than 0x80 * 2**248 - 1) happens here.
diff --git a/test/libsolidity/smtCheckerTests/operators/unary_add.sol b/test/libsolidity/smtCheckerTests/operators/unary_add.sol
index 9cb463696..50966c1bd 100644
--- a/test/libsolidity/smtCheckerTests/operators/unary_add.sol
+++ b/test/libsolidity/smtCheckerTests/operators/unary_add.sol
@@ -14,4 +14,4 @@ contract C
 	}
 }
 // ----
-// Warning: (194-207): Assertion violation happens here
+// Warning: (194-207): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/operators/unary_add_array.sol b/test/libsolidity/smtCheckerTests/operators/unary_add_array.sol
index c6370b34f..0660519fd 100644
--- a/test/libsolidity/smtCheckerTests/operators/unary_add_array.sol
+++ b/test/libsolidity/smtCheckerTests/operators/unary_add_array.sol
@@ -15,4 +15,4 @@ contract C
 	}
 }
 // ----
-// Warning: (240-253): Assertion violation happens here
+// Warning: (240-253): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/operators/unary_add_mapping.sol b/test/libsolidity/smtCheckerTests/operators/unary_add_mapping.sol
index e75d5e113..f7504bc39 100644
--- a/test/libsolidity/smtCheckerTests/operators/unary_add_mapping.sol
+++ b/test/libsolidity/smtCheckerTests/operators/unary_add_mapping.sol
@@ -15,4 +15,4 @@ contract C
 	}
 }
 // ----
-// Warning: (244-257): Assertion violation happens here
+// Warning: (244-257): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/operators/unary_sub.sol b/test/libsolidity/smtCheckerTests/operators/unary_sub.sol
index 3a2aaf408..d9220999b 100644
--- a/test/libsolidity/smtCheckerTests/operators/unary_sub.sol
+++ b/test/libsolidity/smtCheckerTests/operators/unary_sub.sol
@@ -14,4 +14,4 @@ contract C
 	}
 }
 // ----
-// Warning: (194-207): Assertion violation happens here
+// Warning: (194-207): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/operators/unary_sub_array.sol b/test/libsolidity/smtCheckerTests/operators/unary_sub_array.sol
index 220ae0a44..634bc1672 100644
--- a/test/libsolidity/smtCheckerTests/operators/unary_sub_array.sol
+++ b/test/libsolidity/smtCheckerTests/operators/unary_sub_array.sol
@@ -15,4 +15,4 @@ contract C
 	}
 }
 // ----
-// Warning: (240-253): Assertion violation happens here
+// Warning: (240-253): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/operators/unary_sub_mapping.sol b/test/libsolidity/smtCheckerTests/operators/unary_sub_mapping.sol
index a1c3df860..95648736a 100644
--- a/test/libsolidity/smtCheckerTests/operators/unary_sub_mapping.sol
+++ b/test/libsolidity/smtCheckerTests/operators/unary_sub_mapping.sol
@@ -15,4 +15,4 @@ contract C
 	}
 }
 // ----
-// Warning: (244-257): Assertion violation happens here
+// Warning: (244-257): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/overflow/overflow_mul.sol b/test/libsolidity/smtCheckerTests/overflow/overflow_mul.sol
index 4d9177180..0f2438e0a 100644
--- a/test/libsolidity/smtCheckerTests/overflow/overflow_mul.sol
+++ b/test/libsolidity/smtCheckerTests/overflow/overflow_mul.sol
@@ -13,5 +13,5 @@ contract C
 	}
 }
 // ----
-// Warning: (120-125): Overflow (resulting value larger than 255) happens here
-// Warning: (163-168): Overflow (resulting value larger than 255) happens here
+// Warning: (120-125): Overflow (resulting value larger than 255) happens here.
+// Warning: (163-168): Overflow (resulting value larger than 255) happens here.
diff --git a/test/libsolidity/smtCheckerTests/overflow/overflow_mul_signed.sol b/test/libsolidity/smtCheckerTests/overflow/overflow_mul_signed.sol
index 5dc11647e..6a6d0b45a 100644
--- a/test/libsolidity/smtCheckerTests/overflow/overflow_mul_signed.sol
+++ b/test/libsolidity/smtCheckerTests/overflow/overflow_mul_signed.sol
@@ -12,5 +12,5 @@ contract C
 	}
 }
 // ----
-// Warning: (117-122): Overflow (resulting value larger than 127) happens here
-// Warning: (150-157): Overflow (resulting value larger than 127) happens here
+// Warning: (117-122): Overflow (resulting value larger than 127) happens here.
+// Warning: (150-157): Overflow (resulting value larger than 127) happens here.
diff --git a/test/libsolidity/smtCheckerTests/overflow/overflow_sum.sol b/test/libsolidity/smtCheckerTests/overflow/overflow_sum.sol
index 1f19f56fa..290ee1fca 100644
--- a/test/libsolidity/smtCheckerTests/overflow/overflow_sum.sol
+++ b/test/libsolidity/smtCheckerTests/overflow/overflow_sum.sol
@@ -14,5 +14,5 @@ contract C
 	}
 }
 // ----
-// Warning: (154-159): Overflow (resulting value larger than 255) happens here
-// Warning: (185-192): Overflow (resulting value larger than 255) happens here
+// Warning: (154-159): Overflow (resulting value larger than 255) happens here.
+// Warning: (185-192): Overflow (resulting value larger than 255) happens here.
diff --git a/test/libsolidity/smtCheckerTests/overflow/overflow_sum_signed.sol b/test/libsolidity/smtCheckerTests/overflow/overflow_sum_signed.sol
index 09ebb5944..488a1ef59 100644
--- a/test/libsolidity/smtCheckerTests/overflow/overflow_sum_signed.sol
+++ b/test/libsolidity/smtCheckerTests/overflow/overflow_sum_signed.sol
@@ -14,6 +14,6 @@ contract C
 	}
 }
 // ----
-// Warning: (117-122): Overflow (resulting value larger than 127) happens here
-// Warning: (151-158): Overflow (resulting value larger than 127) happens here
-// Warning: (197-205): Underflow (resulting value less than -128) happens here
+// Warning: (117-122): Overflow (resulting value larger than 127) happens here.
+// Warning: (151-158): Overflow (resulting value larger than 127) happens here.
+// Warning: (197-205): Underflow (resulting value less than -128) happens here.
diff --git a/test/libsolidity/smtCheckerTests/overflow/simple_overflow.sol b/test/libsolidity/smtCheckerTests/overflow/simple_overflow.sol
index ec819b80c..7973985fa 100644
--- a/test/libsolidity/smtCheckerTests/overflow/simple_overflow.sol
+++ b/test/libsolidity/smtCheckerTests/overflow/simple_overflow.sol
@@ -3,4 +3,4 @@ contract C {
     function f(uint a, uint b) public pure returns (uint) { return a + b; }
 }
 // ----
-// Warning: (112-117): Overflow (resulting value larger than 2**256 - 1) happens here
+// Warning: (112-117): Overflow (resulting value larger than 2**256 - 1) happens here.
diff --git a/test/libsolidity/smtCheckerTests/overflow/underflow_sub.sol b/test/libsolidity/smtCheckerTests/overflow/underflow_sub.sol
index d41cfaa71..be1c21483 100644
--- a/test/libsolidity/smtCheckerTests/overflow/underflow_sub.sol
+++ b/test/libsolidity/smtCheckerTests/overflow/underflow_sub.sol
@@ -12,5 +12,5 @@ contract C
 	}
 }
 // ----
-// Warning: (117-122): Underflow (resulting value less than 0) happens here
-// Warning: (150-157): Underflow (resulting value less than 0) happens here
+// Warning: (117-122): Underflow (resulting value less than 0) happens here.
+// Warning: (150-157): Underflow (resulting value less than 0) happens here.
diff --git a/test/libsolidity/smtCheckerTests/overflow/underflow_sub_signed.sol b/test/libsolidity/smtCheckerTests/overflow/underflow_sub_signed.sol
index 40416498d..41d3132b0 100644
--- a/test/libsolidity/smtCheckerTests/overflow/underflow_sub_signed.sol
+++ b/test/libsolidity/smtCheckerTests/overflow/underflow_sub_signed.sol
@@ -16,6 +16,6 @@ contract C
 	}
 }
 // ----
-// Warning: (116-123): Underflow (resulting value less than -128) happens here
-// Warning: (163-170): Underflow (resulting value less than -128) happens here
-// Warning: (207-217): Overflow (resulting value larger than 127) happens here
+// Warning: (116-123): Underflow (resulting value less than -128) happens here.
+// Warning: (163-170): Underflow (resulting value less than -128) happens here.
+// Warning: (207-217): Overflow (resulting value larger than 127) happens here.
diff --git a/test/libsolidity/smtCheckerTests/special/abi_decode_memory_v2_value_types.sol b/test/libsolidity/smtCheckerTests/special/abi_decode_memory_v2_value_types.sol
index 95e61b699..dce3b616f 100644
--- a/test/libsolidity/smtCheckerTests/special/abi_decode_memory_v2_value_types.sol
+++ b/test/libsolidity/smtCheckerTests/special/abi_decode_memory_v2_value_types.sol
@@ -16,4 +16,4 @@ contract C {
 // Warning: (136-167): Assertion checker does not yet implement this type of function call.
 // Warning: (194-197): Assertion checker does not yet implement type "abi".
 // Warning: (194-225): Assertion checker does not yet implement this type of function call.
-// Warning: (303-319): Assertion violation happens here
+// Warning: (303-319): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/special/abi_decode_simple.sol b/test/libsolidity/smtCheckerTests/special/abi_decode_simple.sol
index 15d913362..947a69bbc 100644
--- a/test/libsolidity/smtCheckerTests/special/abi_decode_simple.sol
+++ b/test/libsolidity/smtCheckerTests/special/abi_decode_simple.sol
@@ -20,5 +20,5 @@ contract C {
 // Warning: (181-184): Assertion checker does not yet implement type "abi".
 // Warning: (215-216): Assertion checker does not yet implement type "type(contract C)".
 // Warning: (181-218): Assertion checker does not yet implement this type of function call.
-// Warning: (296-312): Assertion violation happens here
-// Warning: (315-331): Assertion violation happens here
+// Warning: (296-312): Assertion violation happens here.
+// Warning: (315-331): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/special/blockhash.sol b/test/libsolidity/smtCheckerTests/special/blockhash.sol
index 59a529228..3e64979d4 100644
--- a/test/libsolidity/smtCheckerTests/special/blockhash.sol
+++ b/test/libsolidity/smtCheckerTests/special/blockhash.sol
@@ -10,5 +10,5 @@ contract C
 	}
 }
 // ----
-// Warning: (85-109): Assertion violation happens here
-// Warning: (113-137): Assertion violation happens here
+// Warning: (85-109): Assertion violation happens here.
+// Warning: (113-137): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/special/difficulty.sol b/test/libsolidity/smtCheckerTests/special/difficulty.sol
index 4469d4e57..89160feb2 100644
--- a/test/libsolidity/smtCheckerTests/special/difficulty.sol
+++ b/test/libsolidity/smtCheckerTests/special/difficulty.sol
@@ -7,4 +7,4 @@ contract C
 	}
 }
 // ----
-// Warning: (91-129): Assertion violation happens here
+// Warning: (91-129): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/special/gasleft.sol b/test/libsolidity/smtCheckerTests/special/gasleft.sol
index 857230feb..5d0355ad4 100644
--- a/test/libsolidity/smtCheckerTests/special/gasleft.sol
+++ b/test/libsolidity/smtCheckerTests/special/gasleft.sol
@@ -10,5 +10,5 @@ contract C
 	}
 }
 // ----
-// Warning: (76-97): Assertion violation happens here
-// Warning: (123-144): Assertion violation happens here
+// Warning: (76-97): Assertion violation happens here.
+// Warning: (123-144): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/special/many.sol b/test/libsolidity/smtCheckerTests/special/many.sol
index e9ef98b26..b8a27d901 100644
--- a/test/libsolidity/smtCheckerTests/special/many.sol
+++ b/test/libsolidity/smtCheckerTests/special/many.sol
@@ -15,11 +15,11 @@ contract C
 	}
 }
 // ----
-// Warning: (79-115): Assertion violation happens here
-// Warning: (119-161): Assertion violation happens here
-// Warning: (165-204): Assertion violation happens here
-// Warning: (208-240): Assertion violation happens here
-// Warning: (244-275): Assertion violation happens here
-// Warning: (304-332): Assertion violation happens here
-// Warning: (336-352): Assertion violation happens here
-// Warning: (356-379): Assertion violation happens here
+// Warning: (79-115): Assertion violation happens here.
+// Warning: (119-161): Assertion violation happens here.
+// Warning: (165-204): Assertion violation happens here.
+// Warning: (208-240): Assertion violation happens here.
+// Warning: (244-275): Assertion violation happens here.
+// Warning: (304-332): Assertion violation happens here.
+// Warning: (336-352): Assertion violation happens here.
+// Warning: (356-379): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/special/msg_data.sol b/test/libsolidity/smtCheckerTests/special/msg_data.sol
index dff997395..02899c303 100644
--- a/test/libsolidity/smtCheckerTests/special/msg_data.sol
+++ b/test/libsolidity/smtCheckerTests/special/msg_data.sol
@@ -8,4 +8,4 @@ contract C
 }
 // ----
 // Warning: (86-101): Assertion checker does not yet support this expression.
-// Warning: (79-106): Assertion violation happens here
+// Warning: (79-106): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/special/msg_sender_fail_1.sol b/test/libsolidity/smtCheckerTests/special/msg_sender_fail_1.sol
index 9a4eefd52..e3a68f5ce 100644
--- a/test/libsolidity/smtCheckerTests/special/msg_sender_fail_1.sol
+++ b/test/libsolidity/smtCheckerTests/special/msg_sender_fail_1.sol
@@ -10,4 +10,4 @@ contract C
 	}
 }
 // ----
-// Warning: (155-178): Assertion violation happens here
+// Warning: (155-178): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/special/msg_sig.sol b/test/libsolidity/smtCheckerTests/special/msg_sig.sol
index 109470a83..6cfb6d558 100644
--- a/test/libsolidity/smtCheckerTests/special/msg_sig.sol
+++ b/test/libsolidity/smtCheckerTests/special/msg_sig.sol
@@ -7,4 +7,4 @@ contract C
 	}
 }
 // ----
-// Warning: (79-108): Assertion violation happens here
+// Warning: (79-108): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/special/this.sol b/test/libsolidity/smtCheckerTests/special/this.sol
index 06fc07404..2b3485b38 100644
--- a/test/libsolidity/smtCheckerTests/special/this.sol
+++ b/test/libsolidity/smtCheckerTests/special/this.sol
@@ -7,4 +7,4 @@ contract C
 	}
 }
 // ----
-// Warning: (85-111): Assertion violation happens here
+// Warning: (85-111): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/typecast/cast_different_size_1.sol b/test/libsolidity/smtCheckerTests/typecast/cast_different_size_1.sol
index 6676c4d68..604485cc9 100644
--- a/test/libsolidity/smtCheckerTests/typecast/cast_different_size_1.sol
+++ b/test/libsolidity/smtCheckerTests/typecast/cast_different_size_1.sol
@@ -21,6 +21,6 @@ contract C
 // Warning: (186-195): Type conversion is not yet fully supported and might yield false positives.
 // Warning: (317-333): Type conversion is not yet fully supported and might yield false positives.
 // Warning: (451-460): Type conversion is not yet fully supported and might yield false positives.
-// Warning: (280-303): Assertion violation happens here
-// Warning: (414-431): Assertion violation happens here
-// Warning: (542-559): Assertion violation happens here
+// Warning: (280-303): Assertion violation happens here.
+// Warning: (414-431): Assertion violation happens here.
+// Warning: (542-559): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/typecast/cast_larger_2_fail.sol b/test/libsolidity/smtCheckerTests/typecast/cast_larger_2_fail.sol
index 7f7073816..123c4c911 100644
--- a/test/libsolidity/smtCheckerTests/typecast/cast_larger_2_fail.sol
+++ b/test/libsolidity/smtCheckerTests/typecast/cast_larger_2_fail.sol
@@ -10,4 +10,4 @@ contract C
 }
 // ----
 // Warning: (108-117): Type conversion is not yet fully supported and might yield false positives.
-// Warning: (149-163): Assertion violation happens here
+// Warning: (149-163): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/typecast/cast_larger_3.sol b/test/libsolidity/smtCheckerTests/typecast/cast_larger_3.sol
index cc51639ed..ddd7aba97 100644
--- a/test/libsolidity/smtCheckerTests/typecast/cast_larger_3.sol
+++ b/test/libsolidity/smtCheckerTests/typecast/cast_larger_3.sol
@@ -13,5 +13,5 @@ contract C
 }
 // ----
 // Warning: (108-117): Type conversion is not yet fully supported and might yield false positives.
-// Warning: (207-230): Assertion violation happens here
-// Warning: (273-287): Assertion violation happens here
+// Warning: (207-230): Assertion violation happens here.
+// Warning: (273-287): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/typecast/cast_smaller_2.sol b/test/libsolidity/smtCheckerTests/typecast/cast_smaller_2.sol
index 252701086..8cf555157 100644
--- a/test/libsolidity/smtCheckerTests/typecast/cast_smaller_2.sol
+++ b/test/libsolidity/smtCheckerTests/typecast/cast_smaller_2.sol
@@ -11,4 +11,4 @@ contract C
 }
 // ----
 // Warning: (112-121): Type conversion is not yet fully supported and might yield false positives.
-// Warning: (208-227): Assertion violation happens here
+// Warning: (208-227): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/typecast/cast_smaller_3.sol b/test/libsolidity/smtCheckerTests/typecast/cast_smaller_3.sol
index 1c9ea545a..f2909c6d9 100644
--- a/test/libsolidity/smtCheckerTests/typecast/cast_smaller_3.sol
+++ b/test/libsolidity/smtCheckerTests/typecast/cast_smaller_3.sol
@@ -11,4 +11,4 @@ contract C
 }
 // ----
 // Warning: (108-117): Type conversion is not yet fully supported and might yield false positives.
-// Warning: (198-215): Assertion violation happens here
+// Warning: (198-215): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/typecast/enum_from_uint.sol b/test/libsolidity/smtCheckerTests/typecast/enum_from_uint.sol
index 3672376f3..fd2593099 100644
--- a/test/libsolidity/smtCheckerTests/typecast/enum_from_uint.sol
+++ b/test/libsolidity/smtCheckerTests/typecast/enum_from_uint.sol
@@ -12,4 +12,4 @@ contract C
 // ----
 // Warning: (132-133): Assertion checker does not yet implement type "type(enum C.D)".
 // Warning: (132-136): Type conversion is not yet fully supported and might yield false positives.
-// Warning: (140-160): Assertion violation happens here
+// Warning: (140-160): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/typecast/function_type_to_function_type_external.sol b/test/libsolidity/smtCheckerTests/typecast/function_type_to_function_type_external.sol
index 799852592..f309f7a01 100644
--- a/test/libsolidity/smtCheckerTests/typecast/function_type_to_function_type_external.sol
+++ b/test/libsolidity/smtCheckerTests/typecast/function_type_to_function_type_external.sol
@@ -5,4 +5,4 @@ contract C {
     }
 }
 // ----
-// Warning: (155-175): Assertion violation happens here
+// Warning: (155-175): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/typecast/function_type_to_function_type_internal.sol b/test/libsolidity/smtCheckerTests/typecast/function_type_to_function_type_internal.sol
index 4b10639a7..365fa797b 100644
--- a/test/libsolidity/smtCheckerTests/typecast/function_type_to_function_type_internal.sol
+++ b/test/libsolidity/smtCheckerTests/typecast/function_type_to_function_type_internal.sol
@@ -9,5 +9,5 @@ contract C {
 // Warning: (146-150): Assertion checker does not yet implement this type of function call.
 // Warning: (154-158): Assertion checker does not yet implement this type of function call.
 // Warning: (170-176): Assertion checker does not yet implement the type "function (uint256) returns (uint256)" for comparisons.
-// Warning: (139-159): Assertion violation happens here
-// Warning: (163-177): Assertion violation happens here
+// Warning: (139-159): Assertion violation happens here.
+// Warning: (163-177): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/typecast/string_literal_to_fixed_bytes_function_call.sol b/test/libsolidity/smtCheckerTests/typecast/string_literal_to_fixed_bytes_function_call.sol
index b2701fdf9..ae668d46f 100644
--- a/test/libsolidity/smtCheckerTests/typecast/string_literal_to_fixed_bytes_function_call.sol
+++ b/test/libsolidity/smtCheckerTests/typecast/string_literal_to_fixed_bytes_function_call.sol
@@ -9,6 +9,6 @@ contract B {
 	}
 }
 // ----
-// Warning: (162-184): Assertion violation happens here
-// Warning: (136-158): Assertion violation happens here
-// Warning: (162-184): Assertion violation happens here
+// Warning: (162-184): Assertion violation happens here.
+// Warning: (136-158): Assertion violation happens here.
+// Warning: (162-184): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/typecast/string_literal_to_fixed_bytes_modifier.sol b/test/libsolidity/smtCheckerTests/typecast/string_literal_to_fixed_bytes_modifier.sol
index 41459169f..7141e6c00 100644
--- a/test/libsolidity/smtCheckerTests/typecast/string_literal_to_fixed_bytes_modifier.sol
+++ b/test/libsolidity/smtCheckerTests/typecast/string_literal_to_fixed_bytes_modifier.sol
@@ -8,4 +8,4 @@ contract B {
 	}
 }
 // ----
-// Warning: (152-174): Assertion violation happens here
+// Warning: (152-174): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/typecast/string_literal_to_fixed_bytes_return.sol b/test/libsolidity/smtCheckerTests/typecast/string_literal_to_fixed_bytes_return.sol
index 09fd68ef6..67a446f94 100644
--- a/test/libsolidity/smtCheckerTests/typecast/string_literal_to_fixed_bytes_return.sol
+++ b/test/libsolidity/smtCheckerTests/typecast/string_literal_to_fixed_bytes_return.sol
@@ -9,4 +9,4 @@ contract C {
 	}
 }
 // ----
-// Warning: (238-259): Assertion violation happens here
+// Warning: (238-259): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/typecast/string_literal_to_fixed_bytes_return_multi.sol b/test/libsolidity/smtCheckerTests/typecast/string_literal_to_fixed_bytes_return_multi.sol
index f2ba3ce23..a87fbadfc 100644
--- a/test/libsolidity/smtCheckerTests/typecast/string_literal_to_fixed_bytes_return_multi.sol
+++ b/test/libsolidity/smtCheckerTests/typecast/string_literal_to_fixed_bytes_return_multi.sol
@@ -12,4 +12,4 @@ contract C {
 	}
 }
 // ----
-// Warning: (442-461): Assertion violation happens here
+// Warning: (442-461): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/address_balance.sol b/test/libsolidity/smtCheckerTests/types/address_balance.sol
index 4464cfdee..dc9211ed4 100644
--- a/test/libsolidity/smtCheckerTests/types/address_balance.sol
+++ b/test/libsolidity/smtCheckerTests/types/address_balance.sol
@@ -9,5 +9,5 @@ contract C
 }
 // ----
 // Warning: (96-102): Unused local variable.
-// Warning: (105-127): Overflow (resulting value larger than 2**256 - 1) happens here
-// Warning: (131-160): Assertion violation happens here
+// Warning: (105-127): Overflow (resulting value larger than 2**256 - 1) happens here.
+// Warning: (131-160): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/address_call.sol b/test/libsolidity/smtCheckerTests/types/address_call.sol
index da87778e6..823b877da 100644
--- a/test/libsolidity/smtCheckerTests/types/address_call.sol
+++ b/test/libsolidity/smtCheckerTests/types/address_call.sol
@@ -19,7 +19,7 @@ contract C
 // EVMVersion: >spuriousDragon
 // ----
 // Warning: (224-240): Unused local variable.
-// Warning: (260-275): Assertion violation happens here
-// Warning: (279-293): Assertion violation happens here
-// Warning: (297-316): Assertion violation happens here
-// Warning: (320-344): Assertion violation happens here
+// Warning: (260-275): Assertion violation happens here.
+// Warning: (279-293): Assertion violation happens here.
+// Warning: (297-316): Assertion violation happens here.
+// Warning: (320-344): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/address_delegatecall.sol b/test/libsolidity/smtCheckerTests/types/address_delegatecall.sol
index b9d3bcaea..c70c35909 100644
--- a/test/libsolidity/smtCheckerTests/types/address_delegatecall.sol
+++ b/test/libsolidity/smtCheckerTests/types/address_delegatecall.sol
@@ -19,7 +19,7 @@ contract C
 // EVMVersion: >spuriousDragon
 // ----
 // Warning: (224-240): Unused local variable.
-// Warning: (268-283): Assertion violation happens here
-// Warning: (287-301): Assertion violation happens here
-// Warning: (305-324): Assertion violation happens here
-// Warning: (328-352): Assertion violation happens here
+// Warning: (268-283): Assertion violation happens here.
+// Warning: (287-301): Assertion violation happens here.
+// Warning: (305-324): Assertion violation happens here.
+// Warning: (328-352): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/address_staticcall.sol b/test/libsolidity/smtCheckerTests/types/address_staticcall.sol
index 32e4cbb9a..1b4ec0e1d 100644
--- a/test/libsolidity/smtCheckerTests/types/address_staticcall.sol
+++ b/test/libsolidity/smtCheckerTests/types/address_staticcall.sol
@@ -19,7 +19,7 @@ contract C
 // EVMVersion: >spuriousDragon
 // ----
 // Warning: (224-240): Unused local variable.
-// Warning: (266-281): Assertion violation happens here
-// Warning: (285-299): Assertion violation happens here
-// Warning: (303-322): Assertion violation happens here
-// Warning: (326-350): Assertion violation happens here
+// Warning: (266-281): Assertion violation happens here.
+// Warning: (285-299): Assertion violation happens here.
+// Warning: (303-322): Assertion violation happens here.
+// Warning: (326-350): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/address_transfer.sol b/test/libsolidity/smtCheckerTests/types/address_transfer.sol
index 80abfbc38..60bc37da6 100644
--- a/test/libsolidity/smtCheckerTests/types/address_transfer.sol
+++ b/test/libsolidity/smtCheckerTests/types/address_transfer.sol
@@ -11,5 +11,5 @@ contract C
 	}
 }
 // ----
-// Warning: (131-146): Insufficient funds happens here
-// Warning: (195-219): Assertion violation happens here
+// Warning: (131-146): Insufficient funds happens here.
+// Warning: (195-219): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/address_transfer_2.sol b/test/libsolidity/smtCheckerTests/types/address_transfer_2.sol
index a83ed00ad..2a89ef6b5 100644
--- a/test/libsolidity/smtCheckerTests/types/address_transfer_2.sol
+++ b/test/libsolidity/smtCheckerTests/types/address_transfer_2.sol
@@ -14,6 +14,6 @@ contract C
 	}
 }
 // ----
-// Warning: (217-232): Insufficient funds happens here
-// Warning: (236-251): Insufficient funds happens here
-// Warning: (295-324): Assertion violation happens here
+// Warning: (217-232): Insufficient funds happens here.
+// Warning: (236-251): Insufficient funds happens here.
+// Warning: (295-324): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/address_transfer_insufficient.sol b/test/libsolidity/smtCheckerTests/types/address_transfer_insufficient.sol
index d0df06e22..a10e72520 100644
--- a/test/libsolidity/smtCheckerTests/types/address_transfer_insufficient.sol
+++ b/test/libsolidity/smtCheckerTests/types/address_transfer_insufficient.sol
@@ -11,6 +11,6 @@ contract C
 	}
 }
 // ----
-// Warning: (134-149): Insufficient funds happens here
-// Warning: (153-169): Insufficient funds happens here
-// Warning: (213-237): Assertion violation happens here
+// Warning: (134-149): Insufficient funds happens here.
+// Warning: (153-169): Insufficient funds happens here.
+// Warning: (213-237): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/array_aliasing_memory_1.sol b/test/libsolidity/smtCheckerTests/types/array_aliasing_memory_1.sol
index 8cd468652..1c17d3614 100644
--- a/test/libsolidity/smtCheckerTests/types/array_aliasing_memory_1.sol
+++ b/test/libsolidity/smtCheckerTests/types/array_aliasing_memory_1.sol
@@ -26,6 +26,6 @@ contract C
 	}
 }
 // ----
-// Warning: (345-362): Assertion violation happens here
-// Warning: (409-431): Assertion violation happens here
-// Warning: (571-597): Assertion violation happens here
+// Warning: (345-362): Assertion violation happens here.
+// Warning: (409-431): Assertion violation happens here.
+// Warning: (571-597): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/array_aliasing_memory_2.sol b/test/libsolidity/smtCheckerTests/types/array_aliasing_memory_2.sol
index d015d1471..113a93c8e 100644
--- a/test/libsolidity/smtCheckerTests/types/array_aliasing_memory_2.sol
+++ b/test/libsolidity/smtCheckerTests/types/array_aliasing_memory_2.sol
@@ -15,4 +15,4 @@ contract C
 	}
 }
 // ----
-// Warning: (314-331): Assertion violation happens here
+// Warning: (314-331): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/array_aliasing_memory_3.sol b/test/libsolidity/smtCheckerTests/types/array_aliasing_memory_3.sol
index f6d6b1977..156a357b1 100644
--- a/test/libsolidity/smtCheckerTests/types/array_aliasing_memory_3.sol
+++ b/test/libsolidity/smtCheckerTests/types/array_aliasing_memory_3.sol
@@ -19,4 +19,4 @@ contract C
 	}
 }
 // ----
-// Warning: (469-486): Assertion violation happens here
+// Warning: (469-486): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/array_aliasing_storage_1.sol b/test/libsolidity/smtCheckerTests/types/array_aliasing_storage_1.sol
index 6461634e1..3c4da9b4b 100644
--- a/test/libsolidity/smtCheckerTests/types/array_aliasing_storage_1.sol
+++ b/test/libsolidity/smtCheckerTests/types/array_aliasing_storage_1.sol
@@ -38,8 +38,8 @@ contract C
 	}
 }
 // ----
-// Warning: (489-506): Assertion violation happens here
-// Warning: (553-575): Assertion violation happens here
-// Warning: (627-654): Assertion violation happens here
-// Warning: (795-817): Assertion violation happens here
-// Warning: (957-983): Assertion violation happens here
+// Warning: (489-506): Assertion violation happens here.
+// Warning: (553-575): Assertion violation happens here.
+// Warning: (627-654): Assertion violation happens here.
+// Warning: (795-817): Assertion violation happens here.
+// Warning: (957-983): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/array_aliasing_storage_2.sol b/test/libsolidity/smtCheckerTests/types/array_aliasing_storage_2.sol
index 4b134e58e..49b4ab92a 100644
--- a/test/libsolidity/smtCheckerTests/types/array_aliasing_storage_2.sol
+++ b/test/libsolidity/smtCheckerTests/types/array_aliasing_storage_2.sol
@@ -15,4 +15,4 @@ contract C
 	}
 }
 // ----
-// Warning: (347-364): Assertion violation happens here
+// Warning: (347-364): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/array_aliasing_storage_3.sol b/test/libsolidity/smtCheckerTests/types/array_aliasing_storage_3.sol
index d70cc18bb..fd30d6d6b 100644
--- a/test/libsolidity/smtCheckerTests/types/array_aliasing_storage_3.sol
+++ b/test/libsolidity/smtCheckerTests/types/array_aliasing_storage_3.sol
@@ -19,4 +19,4 @@ contract C
 	}
 }
 // ----
-// Warning: (497-514): Assertion violation happens here
+// Warning: (497-514): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/array_aliasing_storage_4.sol b/test/libsolidity/smtCheckerTests/types/array_aliasing_storage_4.sol
index 13dc6fcc2..f8003253f 100644
--- a/test/libsolidity/smtCheckerTests/types/array_aliasing_storage_4.sol
+++ b/test/libsolidity/smtCheckerTests/types/array_aliasing_storage_4.sol
@@ -15,5 +15,5 @@ contract C
 	}
 }
 // ----
-// Warning: (226-243): Assertion violation happens here
-// Warning: (290-308): Assertion violation happens here
+// Warning: (226-243): Assertion violation happens here.
+// Warning: (290-308): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/array_aliasing_storage_5.sol b/test/libsolidity/smtCheckerTests/types/array_aliasing_storage_5.sol
index ff47cc0e4..fb730b80e 100644
--- a/test/libsolidity/smtCheckerTests/types/array_aliasing_storage_5.sol
+++ b/test/libsolidity/smtCheckerTests/types/array_aliasing_storage_5.sol
@@ -20,4 +20,4 @@ contract C
 	}
 }
 // ----
-// Warning: (446-463): Assertion violation happens here
+// Warning: (446-463): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/array_branch_1d.sol b/test/libsolidity/smtCheckerTests/types/array_branch_1d.sol
index d24312e7f..c3642c0d8 100644
--- a/test/libsolidity/smtCheckerTests/types/array_branch_1d.sol
+++ b/test/libsolidity/smtCheckerTests/types/array_branch_1d.sol
@@ -11,4 +11,4 @@ contract C
 }
 // ----
 // Warning: (47-148): Function state mutability can be restricted to "pure".
-// Warning: (128-144): Assertion violation happens here
+// Warning: (128-144): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/array_branch_2d.sol b/test/libsolidity/smtCheckerTests/types/array_branch_2d.sol
index a68ea8b60..44ab6d391 100644
--- a/test/libsolidity/smtCheckerTests/types/array_branch_2d.sol
+++ b/test/libsolidity/smtCheckerTests/types/array_branch_2d.sol
@@ -11,4 +11,4 @@ contract C
 	}
 }
 // ----
-// Warning: (130-149): Assertion violation happens here
+// Warning: (130-149): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/array_branch_3d.sol b/test/libsolidity/smtCheckerTests/types/array_branch_3d.sol
index 87eda064c..fefcfe9a9 100644
--- a/test/libsolidity/smtCheckerTests/types/array_branch_3d.sol
+++ b/test/libsolidity/smtCheckerTests/types/array_branch_3d.sol
@@ -11,4 +11,4 @@ contract C
 	}
 }
 // ----
-// Warning: (138-160): Assertion violation happens here
+// Warning: (138-160): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/array_dynamic_1_fail.sol b/test/libsolidity/smtCheckerTests/types/array_dynamic_1_fail.sol
index 79864d35a..5b227434f 100644
--- a/test/libsolidity/smtCheckerTests/types/array_dynamic_1_fail.sol
+++ b/test/libsolidity/smtCheckerTests/types/array_dynamic_1_fail.sol
@@ -10,4 +10,4 @@ contract C
 	}
 }
 // ----
-// Warning: (137-159): Assertion violation happens here
+// Warning: (137-159): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/array_dynamic_2_fail.sol b/test/libsolidity/smtCheckerTests/types/array_dynamic_2_fail.sol
index 8555b0613..494c5658d 100644
--- a/test/libsolidity/smtCheckerTests/types/array_dynamic_2_fail.sol
+++ b/test/libsolidity/smtCheckerTests/types/array_dynamic_2_fail.sol
@@ -11,4 +11,4 @@ contract C
 	}
 }
 // ----
-// Warning: (243-268): Assertion violation happens here
+// Warning: (243-268): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/array_dynamic_3_fail.sol b/test/libsolidity/smtCheckerTests/types/array_dynamic_3_fail.sol
index d7eb8bccb..f5caa9a0b 100644
--- a/test/libsolidity/smtCheckerTests/types/array_dynamic_3_fail.sol
+++ b/test/libsolidity/smtCheckerTests/types/array_dynamic_3_fail.sol
@@ -11,4 +11,4 @@ contract C
 	}
 }
 // ----
-// Warning: (274-302): Assertion violation happens here
+// Warning: (274-302): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/array_dynamic_parameter_1_fail.sol b/test/libsolidity/smtCheckerTests/types/array_dynamic_parameter_1_fail.sol
index a9754b611..d84bdeda0 100644
--- a/test/libsolidity/smtCheckerTests/types/array_dynamic_parameter_1_fail.sol
+++ b/test/libsolidity/smtCheckerTests/types/array_dynamic_parameter_1_fail.sol
@@ -9,4 +9,4 @@ contract C
 	}
 }
 // ----
-// Warning: (148-170): Assertion violation happens here
+// Warning: (148-170): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/array_mapping_aliasing_1.sol b/test/libsolidity/smtCheckerTests/types/array_mapping_aliasing_1.sol
index 062e9776d..54bd332c3 100644
--- a/test/libsolidity/smtCheckerTests/types/array_mapping_aliasing_1.sol
+++ b/test/libsolidity/smtCheckerTests/types/array_mapping_aliasing_1.sol
@@ -20,5 +20,5 @@ contract C
 	}
 }
 // ----
-// Warning: (451-482): Assertion violation happens here
-// Warning: (665-701): Assertion violation happens here
+// Warning: (451-482): Assertion violation happens here.
+// Warning: (665-701): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/array_mapping_aliasing_2.sol b/test/libsolidity/smtCheckerTests/types/array_mapping_aliasing_2.sol
index 1d5ab2687..7781e3030 100644
--- a/test/libsolidity/smtCheckerTests/types/array_mapping_aliasing_2.sol
+++ b/test/libsolidity/smtCheckerTests/types/array_mapping_aliasing_2.sol
@@ -23,4 +23,4 @@ contract C
 	}
 }
 // ----
-// Warning: (807-827): Assertion violation happens here
+// Warning: (807-827): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/array_static_1_fail.sol b/test/libsolidity/smtCheckerTests/types/array_static_1_fail.sol
index 017df8f29..e691e507e 100644
--- a/test/libsolidity/smtCheckerTests/types/array_static_1_fail.sol
+++ b/test/libsolidity/smtCheckerTests/types/array_static_1_fail.sol
@@ -10,4 +10,4 @@ contract C
 	}
 }
 // ----
-// Warning: (139-161): Assertion violation happens here
+// Warning: (139-161): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/array_static_2_fail.sol b/test/libsolidity/smtCheckerTests/types/array_static_2_fail.sol
index b230886de..c2aa8b92e 100644
--- a/test/libsolidity/smtCheckerTests/types/array_static_2_fail.sol
+++ b/test/libsolidity/smtCheckerTests/types/array_static_2_fail.sol
@@ -10,4 +10,4 @@ contract C
 	}
 }
 // ----
-// Warning: (186-211): Assertion violation happens here
+// Warning: (186-211): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/array_static_3_fail.sol b/test/libsolidity/smtCheckerTests/types/array_static_3_fail.sol
index 22a2f0506..0f3af321e 100644
--- a/test/libsolidity/smtCheckerTests/types/array_static_3_fail.sol
+++ b/test/libsolidity/smtCheckerTests/types/array_static_3_fail.sol
@@ -11,4 +11,4 @@ contract C
 	}
 }
 // ----
-// Warning: (280-308): Assertion violation happens here
+// Warning: (280-308): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/array_static_aliasing_memory_5.sol b/test/libsolidity/smtCheckerTests/types/array_static_aliasing_memory_5.sol
index 99e993032..2de36223e 100644
--- a/test/libsolidity/smtCheckerTests/types/array_static_aliasing_memory_5.sol
+++ b/test/libsolidity/smtCheckerTests/types/array_static_aliasing_memory_5.sol
@@ -14,5 +14,5 @@ contract C
 	}
 }
 // ----
-// Warning: (230-248): Assertion violation happens here
-// Warning: (295-312): Assertion violation happens here
+// Warning: (230-248): Assertion violation happens here.
+// Warning: (295-312): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/array_static_aliasing_storage_5.sol b/test/libsolidity/smtCheckerTests/types/array_static_aliasing_storage_5.sol
index fa0c5eae1..01fb6cc48 100644
--- a/test/libsolidity/smtCheckerTests/types/array_static_aliasing_storage_5.sol
+++ b/test/libsolidity/smtCheckerTests/types/array_static_aliasing_storage_5.sol
@@ -16,4 +16,4 @@ contract C
 	}
 }
 // ----
-// Warning: (342-359): Assertion violation happens here
+// Warning: (342-359): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/array_static_mapping_aliasing_1.sol b/test/libsolidity/smtCheckerTests/types/array_static_mapping_aliasing_1.sol
index a675c29e2..53f7f76b5 100644
--- a/test/libsolidity/smtCheckerTests/types/array_static_mapping_aliasing_1.sol
+++ b/test/libsolidity/smtCheckerTests/types/array_static_mapping_aliasing_1.sol
@@ -20,5 +20,5 @@ contract C
 	}
 }
 // ----
-// Warning: (455-486): Assertion violation happens here
-// Warning: (669-705): Assertion violation happens here
+// Warning: (455-486): Assertion violation happens here.
+// Warning: (669-705): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/array_static_mapping_aliasing_2.sol b/test/libsolidity/smtCheckerTests/types/array_static_mapping_aliasing_2.sol
index c9c96a0a7..c5068d545 100644
--- a/test/libsolidity/smtCheckerTests/types/array_static_mapping_aliasing_2.sol
+++ b/test/libsolidity/smtCheckerTests/types/array_static_mapping_aliasing_2.sol
@@ -23,4 +23,4 @@ contract C
 	}
 }
 // ----
-// Warning: (811-831): Assertion violation happens here
+// Warning: (811-831): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/array_struct_array_branches_2d.sol b/test/libsolidity/smtCheckerTests/types/array_struct_array_branches_2d.sol
index 8fbecdaed..71b1a3696 100644
--- a/test/libsolidity/smtCheckerTests/types/array_struct_array_branches_2d.sol
+++ b/test/libsolidity/smtCheckerTests/types/array_struct_array_branches_2d.sol
@@ -29,4 +29,4 @@ contract C
 // Warning: (209-215): Assertion checker does not yet support this expression.
 // Warning: (209-213): Assertion checker does not yet implement type "struct C.S memory".
 // Warning: (209-218): Assertion checker does not yet implement this expression.
-// Warning: (202-226): Assertion violation happens here
+// Warning: (202-226): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/bool_simple_1.sol b/test/libsolidity/smtCheckerTests/types/bool_simple_1.sol
index 76b4b08b8..7806a7caf 100644
--- a/test/libsolidity/smtCheckerTests/types/bool_simple_1.sol
+++ b/test/libsolidity/smtCheckerTests/types/bool_simple_1.sol
@@ -5,4 +5,4 @@ contract C {
     }
 }
 // ----
-// Warning: (90-99): Assertion violation happens here
+// Warning: (90-99): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/bool_simple_2.sol b/test/libsolidity/smtCheckerTests/types/bool_simple_2.sol
index 5c166c022..279392ab1 100644
--- a/test/libsolidity/smtCheckerTests/types/bool_simple_2.sol
+++ b/test/libsolidity/smtCheckerTests/types/bool_simple_2.sol
@@ -5,4 +5,4 @@ contract C {
     }
 }
 // ----
-// Warning: (98-112): Assertion violation happens here
+// Warning: (98-112): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/bytes_2_fail.sol b/test/libsolidity/smtCheckerTests/types/bytes_2_fail.sol
index e5f1b3a80..3565fcc5a 100644
--- a/test/libsolidity/smtCheckerTests/types/bytes_2_fail.sol
+++ b/test/libsolidity/smtCheckerTests/types/bytes_2_fail.sol
@@ -8,4 +8,4 @@ contract C
 	}
 }
 // ----
-// Warning: (119-141): Assertion violation happens here
+// Warning: (119-141): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/contract.sol b/test/libsolidity/smtCheckerTests/types/contract.sol
index 3d8af499e..4433c0589 100644
--- a/test/libsolidity/smtCheckerTests/types/contract.sol
+++ b/test/libsolidity/smtCheckerTests/types/contract.sol
@@ -7,4 +7,4 @@ contract C
 	}
 }
 // ----
-// Warning: (84-98): Assertion violation happens here
+// Warning: (84-98): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/contract_2.sol b/test/libsolidity/smtCheckerTests/types/contract_2.sol
index 8cb8bc9cf..f53203459 100644
--- a/test/libsolidity/smtCheckerTests/types/contract_2.sol
+++ b/test/libsolidity/smtCheckerTests/types/contract_2.sol
@@ -12,4 +12,4 @@ contract C
 	}
 }
 // ----
-// Warning: (109-123): Assertion violation happens here
+// Warning: (109-123): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/contract_address_conversion.sol b/test/libsolidity/smtCheckerTests/types/contract_address_conversion.sol
index 96baf62a5..9be6cfda9 100644
--- a/test/libsolidity/smtCheckerTests/types/contract_address_conversion.sol
+++ b/test/libsolidity/smtCheckerTests/types/contract_address_conversion.sol
@@ -7,4 +7,4 @@ contract C
 	}
 }
 // ----
-// Warning: (90-113): Assertion violation happens here
+// Warning: (90-113): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/enum_explicit_values_2.sol b/test/libsolidity/smtCheckerTests/types/enum_explicit_values_2.sol
index 3fd43ac9f..d911566a3 100644
--- a/test/libsolidity/smtCheckerTests/types/enum_explicit_values_2.sol
+++ b/test/libsolidity/smtCheckerTests/types/enum_explicit_values_2.sol
@@ -11,4 +11,4 @@ contract C
 	}
 }
 // ----
-// Warning: (144-159): Assertion violation happens here
+// Warning: (144-159): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/enum_in_library_2.sol b/test/libsolidity/smtCheckerTests/types/enum_in_library_2.sol
index 2bd2afbda..007135e56 100644
--- a/test/libsolidity/smtCheckerTests/types/enum_in_library_2.sol
+++ b/test/libsolidity/smtCheckerTests/types/enum_in_library_2.sol
@@ -14,4 +14,4 @@ contract C
 	}
 }
 // ----
-// Warning: (161-181): Assertion violation happens here
+// Warning: (161-181): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/enum_in_struct.sol b/test/libsolidity/smtCheckerTests/types/enum_in_struct.sol
index c5a0789de..bfa01a266 100644
--- a/test/libsolidity/smtCheckerTests/types/enum_in_struct.sol
+++ b/test/libsolidity/smtCheckerTests/types/enum_in_struct.sol
@@ -16,4 +16,4 @@ contract C
 // Warning: (139-151): Assertion checker does not yet implement such assignments.
 // Warning: (162-165): Assertion checker does not yet support this expression.
 // Warning: (162-163): Assertion checker does not yet implement type "struct C.S memory".
-// Warning: (155-176): Assertion violation happens here
+// Warning: (155-176): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/enum_storage_eq.sol b/test/libsolidity/smtCheckerTests/types/enum_storage_eq.sol
index 0d8b13627..536289add 100644
--- a/test/libsolidity/smtCheckerTests/types/enum_storage_eq.sol
+++ b/test/libsolidity/smtCheckerTests/types/enum_storage_eq.sol
@@ -10,4 +10,4 @@ contract C
 	}
 }
 // ----
-// Warning: (115-130): Assertion violation happens here
+// Warning: (115-130): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/fixed_bytes_1.sol b/test/libsolidity/smtCheckerTests/types/fixed_bytes_1.sol
index 541fff54e..d519566b8 100644
--- a/test/libsolidity/smtCheckerTests/types/fixed_bytes_1.sol
+++ b/test/libsolidity/smtCheckerTests/types/fixed_bytes_1.sol
@@ -12,5 +12,5 @@ contract C
 	}
 }
 // ----
-// Warning: (96-110): Assertion violation happens here
-// Warning: (114-130): Assertion violation happens here
+// Warning: (96-110): Assertion violation happens here.
+// Warning: (114-130): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/function_type_external_address.sol b/test/libsolidity/smtCheckerTests/types/function_type_external_address.sol
index 5f10ccf59..f4d950efd 100644
--- a/test/libsolidity/smtCheckerTests/types/function_type_external_address.sol
+++ b/test/libsolidity/smtCheckerTests/types/function_type_external_address.sol
@@ -7,4 +7,4 @@ contract C {
 }
 // ----
 // Warning: (128-137): Assertion checker does not yet support this expression.
-// Warning: (141-155): Assertion violation happens here
+// Warning: (141-155): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/mapping_1_fail.sol b/test/libsolidity/smtCheckerTests/types/mapping_1_fail.sol
index 83c963ad7..7a7ba8543 100644
--- a/test/libsolidity/smtCheckerTests/types/mapping_1_fail.sol
+++ b/test/libsolidity/smtCheckerTests/types/mapping_1_fail.sol
@@ -10,4 +10,4 @@ contract C
 	}
 }
 // ----
-// Warning: (134-153): Assertion violation happens here
+// Warning: (134-153): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/mapping_2.sol b/test/libsolidity/smtCheckerTests/types/mapping_2.sol
index 06d618bda..65f9b0333 100644
--- a/test/libsolidity/smtCheckerTests/types/mapping_2.sol
+++ b/test/libsolidity/smtCheckerTests/types/mapping_2.sol
@@ -8,4 +8,4 @@ contract C
 	}
 }
 // ----
-// Warning: (111-130): Assertion violation happens here
+// Warning: (111-130): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/mapping_2d_1_fail.sol b/test/libsolidity/smtCheckerTests/types/mapping_2d_1_fail.sol
index 6072d3f2e..b6d7c840a 100644
--- a/test/libsolidity/smtCheckerTests/types/mapping_2d_1_fail.sol
+++ b/test/libsolidity/smtCheckerTests/types/mapping_2d_1_fail.sol
@@ -10,4 +10,4 @@ contract C
 	}
 }
 // ----
-// Warning: (154-178): Assertion violation happens here
+// Warning: (154-178): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/mapping_3d_1_fail.sol b/test/libsolidity/smtCheckerTests/types/mapping_3d_1_fail.sol
index aed10ca1f..f1fba67f7 100644
--- a/test/libsolidity/smtCheckerTests/types/mapping_3d_1_fail.sol
+++ b/test/libsolidity/smtCheckerTests/types/mapping_3d_1_fail.sol
@@ -10,4 +10,4 @@ contract C
 	}
 }
 // ----
-// Warning: (176-204): Assertion violation happens here
+// Warning: (176-204): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/mapping_5.sol b/test/libsolidity/smtCheckerTests/types/mapping_5.sol
index 4acea501e..e1aadf5f0 100644
--- a/test/libsolidity/smtCheckerTests/types/mapping_5.sol
+++ b/test/libsolidity/smtCheckerTests/types/mapping_5.sol
@@ -8,4 +8,4 @@ contract C
 	}
 }
 // ----
-// Warning: (125-144): Assertion violation happens here
+// Warning: (125-144): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/mapping_aliasing_1.sol b/test/libsolidity/smtCheckerTests/types/mapping_aliasing_1.sol
index 39d096f59..5bf55d6ca 100644
--- a/test/libsolidity/smtCheckerTests/types/mapping_aliasing_1.sol
+++ b/test/libsolidity/smtCheckerTests/types/mapping_aliasing_1.sol
@@ -15,4 +15,4 @@ contract C
 	}
 }
 // ----
-// Warning: (261-281): Assertion violation happens here
+// Warning: (261-281): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/mapping_aliasing_2.sol b/test/libsolidity/smtCheckerTests/types/mapping_aliasing_2.sol
index 86af187ad..9cc85dc56 100644
--- a/test/libsolidity/smtCheckerTests/types/mapping_aliasing_2.sol
+++ b/test/libsolidity/smtCheckerTests/types/mapping_aliasing_2.sol
@@ -23,6 +23,6 @@ contract C
 	}
 }
 // ----
-// Warning: (437-457): Assertion violation happens here
-// Warning: (503-521): Assertion violation happens here
-// Warning: (573-597): Assertion violation happens here
+// Warning: (437-457): Assertion violation happens here.
+// Warning: (503-521): Assertion violation happens here.
+// Warning: (573-597): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/mapping_as_local_var_1.sol b/test/libsolidity/smtCheckerTests/types/mapping_as_local_var_1.sol
index e005fbef1..04ac93693 100644
--- a/test/libsolidity/smtCheckerTests/types/mapping_as_local_var_1.sol
+++ b/test/libsolidity/smtCheckerTests/types/mapping_as_local_var_1.sol
@@ -17,5 +17,5 @@ contract c {
 }
 // ----
 // Warning: (166-178): Internal error: Expression undefined for SMT solver.
-// Warning: (288-324): Assertion violation happens here
-// Warning: (336-372): Assertion violation happens here
+// Warning: (288-324): Assertion violation happens here.
+// Warning: (336-372): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/mapping_as_parameter_1.sol b/test/libsolidity/smtCheckerTests/types/mapping_as_parameter_1.sol
index 9aeed32b7..1b529b463 100644
--- a/test/libsolidity/smtCheckerTests/types/mapping_as_parameter_1.sol
+++ b/test/libsolidity/smtCheckerTests/types/mapping_as_parameter_1.sol
@@ -12,4 +12,4 @@ contract c {
 	}
 }
 // ----
-// Warning: (289-306): Assertion violation happens here
+// Warning: (289-306): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/mapping_equal_keys_2.sol b/test/libsolidity/smtCheckerTests/types/mapping_equal_keys_2.sol
index 93b249df0..788065997 100644
--- a/test/libsolidity/smtCheckerTests/types/mapping_equal_keys_2.sol
+++ b/test/libsolidity/smtCheckerTests/types/mapping_equal_keys_2.sol
@@ -9,4 +9,4 @@ contract C
 	}
 }
 // ----
-// Warning: (119-133): Assertion violation happens here
+// Warning: (119-133): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/rational_large_1.sol b/test/libsolidity/smtCheckerTests/types/rational_large_1.sol
index 152b29f09..de6a77575 100644
--- a/test/libsolidity/smtCheckerTests/types/rational_large_1.sol
+++ b/test/libsolidity/smtCheckerTests/types/rational_large_1.sol
@@ -7,4 +7,4 @@ contract c {
 	}
 }
 // ----
-// Warning: (128-142): Assertion violation happens here
+// Warning: (128-142): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/storage_value_vars_1.sol b/test/libsolidity/smtCheckerTests/types/storage_value_vars_1.sol
index 84f6c77e4..1f9c01743 100644
--- a/test/libsolidity/smtCheckerTests/types/storage_value_vars_1.sol
+++ b/test/libsolidity/smtCheckerTests/types/storage_value_vars_1.sol
@@ -19,4 +19,4 @@ contract C
     }
 }
 // ----
-// Warning: (362-421): Assertion violation happens here
+// Warning: (362-421): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/storage_value_vars_2.sol b/test/libsolidity/smtCheckerTests/types/storage_value_vars_2.sol
index bceddb380..85ed51bc0 100644
--- a/test/libsolidity/smtCheckerTests/types/storage_value_vars_2.sol
+++ b/test/libsolidity/smtCheckerTests/types/storage_value_vars_2.sol
@@ -9,4 +9,4 @@ contract C
     }
 }
 // ----
-// Warning: (123-136): Assertion violation happens here
+// Warning: (123-136): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/storage_value_vars_4.sol b/test/libsolidity/smtCheckerTests/types/storage_value_vars_4.sol
index 88b6b0aea..aa5f7e394 100644
--- a/test/libsolidity/smtCheckerTests/types/storage_value_vars_4.sol
+++ b/test/libsolidity/smtCheckerTests/types/storage_value_vars_4.sol
@@ -7,4 +7,4 @@ contract C
     uint c;
 }
 // ----
-// Warning: (84-97): Assertion violation happens here
+// Warning: (84-97): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/string_1.sol b/test/libsolidity/smtCheckerTests/types/string_1.sol
index 7f03c29da..7b1882fa9 100644
--- a/test/libsolidity/smtCheckerTests/types/string_1.sol
+++ b/test/libsolidity/smtCheckerTests/types/string_1.sol
@@ -9,4 +9,4 @@ contract C
 // ----
 // Warning: (117-133): Assertion checker does not yet support this expression.
 // Warning: (137-153): Assertion checker does not yet support this expression.
-// Warning: (110-154): Assertion violation happens here
+// Warning: (110-154): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/string_literal_assignment_1.sol b/test/libsolidity/smtCheckerTests/types/string_literal_assignment_1.sol
index 2e805ab7e..6e1246b9b 100644
--- a/test/libsolidity/smtCheckerTests/types/string_literal_assignment_1.sol
+++ b/test/libsolidity/smtCheckerTests/types/string_literal_assignment_1.sol
@@ -10,4 +10,4 @@ contract C {
 	}
 }
 // ----
-// Warning: (175-190): Assertion violation happens here
+// Warning: (175-190): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/string_literal_assignment_2.sol b/test/libsolidity/smtCheckerTests/types/string_literal_assignment_2.sol
index bd9efea5e..bbe17c8b9 100644
--- a/test/libsolidity/smtCheckerTests/types/string_literal_assignment_2.sol
+++ b/test/libsolidity/smtCheckerTests/types/string_literal_assignment_2.sol
@@ -9,4 +9,4 @@ contract C {
 	}
 }
 // ----
-// Warning: (176-191): Assertion violation happens here
+// Warning: (176-191): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/string_literal_assignment_3.sol b/test/libsolidity/smtCheckerTests/types/string_literal_assignment_3.sol
index 730f05cd5..0abc0e505 100644
--- a/test/libsolidity/smtCheckerTests/types/string_literal_assignment_3.sol
+++ b/test/libsolidity/smtCheckerTests/types/string_literal_assignment_3.sol
@@ -11,4 +11,4 @@ contract C {
 	}
 }
 // ----
-// Warning: (186-201): Assertion violation happens here
+// Warning: (186-201): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/string_literal_assignment_4.sol b/test/libsolidity/smtCheckerTests/types/string_literal_assignment_4.sol
index 5c1ae89b9..a29bfb811 100644
--- a/test/libsolidity/smtCheckerTests/types/string_literal_assignment_4.sol
+++ b/test/libsolidity/smtCheckerTests/types/string_literal_assignment_4.sol
@@ -15,4 +15,4 @@ contract C {
 	}
 }
 // ----
-// Warning: (261-276): Assertion violation happens here
+// Warning: (261-276): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/string_literal_assignment_5.sol b/test/libsolidity/smtCheckerTests/types/string_literal_assignment_5.sol
index 668246647..64ea4a9bf 100644
--- a/test/libsolidity/smtCheckerTests/types/string_literal_assignment_5.sol
+++ b/test/libsolidity/smtCheckerTests/types/string_literal_assignment_5.sol
@@ -13,4 +13,4 @@ contract C {
 	}
 }
 // ----
-// Warning: (251-266): Assertion violation happens here
+// Warning: (251-266): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/string_literal_comparison_1.sol b/test/libsolidity/smtCheckerTests/types/string_literal_comparison_1.sol
index 5f79de141..bf2c1256f 100644
--- a/test/libsolidity/smtCheckerTests/types/string_literal_comparison_1.sol
+++ b/test/libsolidity/smtCheckerTests/types/string_literal_comparison_1.sol
@@ -10,4 +10,4 @@ contract C {
 	}
 }
 // ----
-// Warning: (170-190): Assertion violation happens here
+// Warning: (170-190): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/string_literal_comparison_2.sol b/test/libsolidity/smtCheckerTests/types/string_literal_comparison_2.sol
index 4a9291f89..0c593e362 100644
--- a/test/libsolidity/smtCheckerTests/types/string_literal_comparison_2.sol
+++ b/test/libsolidity/smtCheckerTests/types/string_literal_comparison_2.sol
@@ -10,4 +10,4 @@ contract C {
 	}
 }
 // ----
-// Warning: (147-166): Assertion violation happens here
+// Warning: (147-166): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/struct_array_branches_1d.sol b/test/libsolidity/smtCheckerTests/types/struct_array_branches_1d.sol
index 17b98eb87..181bda176 100644
--- a/test/libsolidity/smtCheckerTests/types/struct_array_branches_1d.sol
+++ b/test/libsolidity/smtCheckerTests/types/struct_array_branches_1d.sol
@@ -31,4 +31,4 @@ contract C
 // Warning: (182-185): Assertion checker does not yet support this expression.
 // Warning: (182-183): Assertion checker does not yet implement type "struct C.S memory".
 // Warning: (182-188): Assertion checker does not yet implement this expression.
-// Warning: (175-193): Assertion violation happens here
+// Warning: (175-193): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/struct_array_branches_2d.sol b/test/libsolidity/smtCheckerTests/types/struct_array_branches_2d.sol
index 5554d58ba..f839e76cc 100644
--- a/test/libsolidity/smtCheckerTests/types/struct_array_branches_2d.sol
+++ b/test/libsolidity/smtCheckerTests/types/struct_array_branches_2d.sol
@@ -31,4 +31,4 @@ contract C
 // Warning: (193-196): Assertion checker does not yet support this expression.
 // Warning: (193-194): Assertion checker does not yet implement type "struct C.S memory".
 // Warning: (193-199): Assertion checker does not yet implement this expression.
-// Warning: (186-207): Assertion violation happens here
+// Warning: (186-207): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/struct_array_branches_3d.sol b/test/libsolidity/smtCheckerTests/types/struct_array_branches_3d.sol
index a84bfb770..89b207aef 100644
--- a/test/libsolidity/smtCheckerTests/types/struct_array_branches_3d.sol
+++ b/test/libsolidity/smtCheckerTests/types/struct_array_branches_3d.sol
@@ -30,4 +30,4 @@ contract C
 // Warning: (209-212): Assertion checker does not yet support this expression.
 // Warning: (209-210): Assertion checker does not yet implement type "struct C.S memory".
 // Warning: (209-215): Assertion checker does not yet implement this expression.
-// Warning: (202-226): Assertion violation happens here
+// Warning: (202-226): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/tuple_assignment_array_empty.sol b/test/libsolidity/smtCheckerTests/types/tuple_assignment_array_empty.sol
index fcdbf816d..65f3a517f 100644
--- a/test/libsolidity/smtCheckerTests/types/tuple_assignment_array_empty.sol
+++ b/test/libsolidity/smtCheckerTests/types/tuple_assignment_array_empty.sol
@@ -11,4 +11,4 @@ contract C
 	}
 }
 // ----
-// Warning: (136-153): Assertion violation happens here
+// Warning: (136-153): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/tuple_assignment_compound.sol b/test/libsolidity/smtCheckerTests/types/tuple_assignment_compound.sol
index 68b4f9d68..f015c5e5c 100644
--- a/test/libsolidity/smtCheckerTests/types/tuple_assignment_compound.sol
+++ b/test/libsolidity/smtCheckerTests/types/tuple_assignment_compound.sol
@@ -10,4 +10,4 @@ contract C
 	}
 }
 // ----
-// Warning: (122-136): Assertion violation happens here
+// Warning: (122-136): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/tuple_assignment_empty.sol b/test/libsolidity/smtCheckerTests/types/tuple_assignment_empty.sol
index 79020452e..0ac0bafe3 100644
--- a/test/libsolidity/smtCheckerTests/types/tuple_assignment_empty.sol
+++ b/test/libsolidity/smtCheckerTests/types/tuple_assignment_empty.sol
@@ -11,4 +11,4 @@ contract C
 	}
 }
 // ----
-// Warning: (132-146): Assertion violation happens here
+// Warning: (132-146): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/tuple_declarations_function_2.sol b/test/libsolidity/smtCheckerTests/types/tuple_declarations_function_2.sol
index 4ae855137..734d086bc 100644
--- a/test/libsolidity/smtCheckerTests/types/tuple_declarations_function_2.sol
+++ b/test/libsolidity/smtCheckerTests/types/tuple_declarations_function_2.sol
@@ -15,4 +15,4 @@ contract C
 	}
 }
 // ----
-// Warning: (152-157): Overflow (resulting value larger than 2**256 - 1) happens here
+// Warning: (152-157): Overflow (resulting value larger than 2**256 - 1) happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/tuple_declarations_function_empty.sol b/test/libsolidity/smtCheckerTests/types/tuple_declarations_function_empty.sol
index 1d4c333be..75bcfca48 100644
--- a/test/libsolidity/smtCheckerTests/types/tuple_declarations_function_empty.sol
+++ b/test/libsolidity/smtCheckerTests/types/tuple_declarations_function_empty.sol
@@ -14,4 +14,4 @@ contract C
 	}
 }
 // ----
-// Warning: (224-234): Assertion violation happens here
+// Warning: (224-234): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/tuple_function.sol b/test/libsolidity/smtCheckerTests/types/tuple_function.sol
index 53b197395..e91d7d062 100644
--- a/test/libsolidity/smtCheckerTests/types/tuple_function.sol
+++ b/test/libsolidity/smtCheckerTests/types/tuple_function.sol
@@ -14,4 +14,4 @@ contract C
 	}
 }
 // ----
-// Warning: (182-196): Assertion violation happens here
+// Warning: (182-196): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/tuple_function_2.sol b/test/libsolidity/smtCheckerTests/types/tuple_function_2.sol
index 54223bea0..846de7103 100644
--- a/test/libsolidity/smtCheckerTests/types/tuple_function_2.sol
+++ b/test/libsolidity/smtCheckerTests/types/tuple_function_2.sol
@@ -14,4 +14,4 @@ contract C
 	}
 }
 // ----
-// Warning: (199-213): Assertion violation happens here
+// Warning: (199-213): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/types/tuple_function_3.sol b/test/libsolidity/smtCheckerTests/types/tuple_function_3.sol
index 1e548403d..67e697076 100644
--- a/test/libsolidity/smtCheckerTests/types/tuple_function_3.sol
+++ b/test/libsolidity/smtCheckerTests/types/tuple_function_3.sol
@@ -16,4 +16,4 @@ contract C
 	}
 }
 // ----
-// Warning: (205-219): Assertion violation happens here
+// Warning: (205-219): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTests/verification_target/simple_assert.sol b/test/libsolidity/smtCheckerTests/verification_target/simple_assert.sol
index 8bd6e61a6..fd31769fb 100644
--- a/test/libsolidity/smtCheckerTests/verification_target/simple_assert.sol
+++ b/test/libsolidity/smtCheckerTests/verification_target/simple_assert.sol
@@ -3,4 +3,4 @@ contract C {
     function f(uint a) public pure { assert(a == 2); }
 }
 // ----
-// Warning: (82-96): Assertion violation happens here
+// Warning: (82-96): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTestsJSON/multi.sol b/test/libsolidity/smtCheckerTestsJSON/multi.sol
index d81d76cb0..156c386bf 100644
--- a/test/libsolidity/smtCheckerTestsJSON/multi.sol
+++ b/test/libsolidity/smtCheckerTestsJSON/multi.sol
@@ -10,5 +10,5 @@ contract C
 	}
 }
 // ----
-// Warning: (82-95): Assertion violation happens here
-// Warning: (99-114): Assertion violation happens here
+// Warning: (82-95): Assertion violation happens here.
+// Warning: (99-114): Assertion violation happens here.
diff --git a/test/libsolidity/smtCheckerTestsJSON/simple.sol b/test/libsolidity/smtCheckerTestsJSON/simple.sol
index f93c8fd79..8faaf8ef1 100644
--- a/test/libsolidity/smtCheckerTestsJSON/simple.sol
+++ b/test/libsolidity/smtCheckerTestsJSON/simple.sol
@@ -8,4 +8,4 @@ contract C
 	}
 }
 // ----
-// Warning: (82-95): Assertion violation happens here
+// Warning: (82-95): Assertion violation happens here.
diff --git a/test/libsolidity/syntaxTests/emit/emit_non_event.sol b/test/libsolidity/syntaxTests/emit/emit_non_event.sol
index d5045ddf9..451295249 100644
--- a/test/libsolidity/syntaxTests/emit/emit_non_event.sol
+++ b/test/libsolidity/syntaxTests/emit/emit_non_event.sol
@@ -6,5 +6,5 @@ contract C {
   }
 }
 // ----
-// TypeError: (63-69): Type is not callable
+// TypeError: (63-69): Type is not callable.
 // TypeError: (63-67): Expression has to be an event invocation.
diff --git a/test/libsolidity/syntaxTests/inheritance/override/function_pointer.sol b/test/libsolidity/syntaxTests/inheritance/override/function_pointer.sol
index 61016ec22..059b38c82 100644
--- a/test/libsolidity/syntaxTests/inheritance/override/function_pointer.sol
+++ b/test/libsolidity/syntaxTests/inheritance/override/function_pointer.sol
@@ -4,4 +4,4 @@ contract C {
 	function() external override virtual fp3;
 }
 // ----
-// ParserError: (34-41): Expected identifier but got "virtual"
+// ParserError: (34-41): Expected identifier but got "virtual".
diff --git a/test/libsolidity/syntaxTests/inheritance/override/override_empty_list.sol b/test/libsolidity/syntaxTests/inheritance/override/override_empty_list.sol
index c964156e6..bc50c5427 100644
--- a/test/libsolidity/syntaxTests/inheritance/override/override_empty_list.sol
+++ b/test/libsolidity/syntaxTests/inheritance/override/override_empty_list.sol
@@ -7,4 +7,4 @@ contract X is A {
 	function test() internal override() returns (uint256);
 }
 // ----
-// ParserError: (164-165): Expected identifier but got ")"
+// ParserError: (164-165): Expected identifier but got ")".
diff --git a/test/libsolidity/syntaxTests/inheritance/override/override_multiple_fail1.sol b/test/libsolidity/syntaxTests/inheritance/override/override_multiple_fail1.sol
index d22c02598..0aa3d1ec6 100644
--- a/test/libsolidity/syntaxTests/inheritance/override/override_multiple_fail1.sol
+++ b/test/libsolidity/syntaxTests/inheritance/override/override_multiple_fail1.sol
@@ -5,4 +5,4 @@ contract X {
 	int public override(A,) testvar;
 }
 // ----
-// ParserError: (95-96): Expected identifier but got ")"
+// ParserError: (95-96): Expected identifier but got ")".
diff --git a/test/libsolidity/syntaxTests/inheritance/override/override_multiple_fail2.sol b/test/libsolidity/syntaxTests/inheritance/override/override_multiple_fail2.sol
index 4346c33bf..7c46b61a3 100644
--- a/test/libsolidity/syntaxTests/inheritance/override/override_multiple_fail2.sol
+++ b/test/libsolidity/syntaxTests/inheritance/override/override_multiple_fail2.sol
@@ -5,4 +5,4 @@ contract X {
 	function test() internal override(,) returns (uint256);
 }
 // ----
-// ParserError: (107-108): Expected identifier but got ","
+// ParserError: (107-108): Expected identifier but got ",".
diff --git a/test/libsolidity/syntaxTests/inheritance/override/override_multiple_fail3.sol b/test/libsolidity/syntaxTests/inheritance/override/override_multiple_fail3.sol
index fc7154eaa..5d2d3a1c5 100644
--- a/test/libsolidity/syntaxTests/inheritance/override/override_multiple_fail3.sol
+++ b/test/libsolidity/syntaxTests/inheritance/override/override_multiple_fail3.sol
@@ -5,4 +5,4 @@ contract X {
 	function foo() internal override(X, address) returns (uint256);
 }
 // ----
-// ParserError: (109-116): Expected identifier but got "address"
+// ParserError: (109-116): Expected identifier but got "address".
diff --git a/test/libsolidity/syntaxTests/inheritance/override/override_multiple_fail4.sol b/test/libsolidity/syntaxTests/inheritance/override/override_multiple_fail4.sol
index f504426a0..4cb9d9e3e 100644
--- a/test/libsolidity/syntaxTests/inheritance/override/override_multiple_fail4.sol
+++ b/test/libsolidity/syntaxTests/inheritance/override/override_multiple_fail4.sol
@@ -5,4 +5,4 @@ contract X {
 	int public override() testvar;
 }
 // ----
-// ParserError: (93-94): Expected identifier but got ")"
+// ParserError: (93-94): Expected identifier but got ")".
diff --git a/test/libsolidity/syntaxTests/inlineAssembly/invalid/bare_instructions_disallowed.sol b/test/libsolidity/syntaxTests/inlineAssembly/invalid/bare_instructions_disallowed.sol
index 76fd48024..da7216a52 100644
--- a/test/libsolidity/syntaxTests/inlineAssembly/invalid/bare_instructions_disallowed.sol
+++ b/test/libsolidity/syntaxTests/inlineAssembly/invalid/bare_instructions_disallowed.sol
@@ -7,4 +7,4 @@ contract C {
     }
 }
 // ----
-// ParserError: (95-98): Expected "(" but got identifier
+// ParserError: (95-98): Expected "(" but got identifier.
diff --git a/test/libsolidity/syntaxTests/inlineAssembly/invalid/empty_function_name.sol b/test/libsolidity/syntaxTests/inlineAssembly/invalid/empty_function_name.sol
index 077703fff..7dfde4f39 100644
--- a/test/libsolidity/syntaxTests/inlineAssembly/invalid/empty_function_name.sol
+++ b/test/libsolidity/syntaxTests/inlineAssembly/invalid/empty_function_name.sol
@@ -6,4 +6,4 @@ contract C {
   }
 }
 // ----
-// ParserError: (72-73): Expected identifier but got "("
+// ParserError: (72-73): Expected identifier but got "(".
diff --git a/test/libsolidity/syntaxTests/inlineAssembly/invalid/unbalanced_negative_stack.sol b/test/libsolidity/syntaxTests/inlineAssembly/invalid/unbalanced_negative_stack.sol
index 28e6f90ec..5e4df334c 100644
--- a/test/libsolidity/syntaxTests/inlineAssembly/invalid/unbalanced_negative_stack.sol
+++ b/test/libsolidity/syntaxTests/inlineAssembly/invalid/unbalanced_negative_stack.sol
@@ -6,4 +6,4 @@ contract test {
     }
 }
 // ----
-// ParserError: (85-86): Expected "(" but got "}"
+// ParserError: (85-86): Expected "(" but got "}".
diff --git a/test/libsolidity/syntaxTests/inlineAssembly/istanbul_on_petersburg.sol b/test/libsolidity/syntaxTests/inlineAssembly/istanbul_on_petersburg.sol
index 249a79cc0..34297f51f 100644
--- a/test/libsolidity/syntaxTests/inlineAssembly/istanbul_on_petersburg.sol
+++ b/test/libsolidity/syntaxTests/inlineAssembly/istanbul_on_petersburg.sol
@@ -14,6 +14,6 @@ contract C {
 // EVMVersion: =petersburg
 // ----
 // TypeError: (101-108): The "chainid" instruction is only available for Istanbul-compatible VMs  (you are currently compiling for "petersburg").
-// DeclarationError: (95-110): Variable count does not match number of values (1 vs. 0)
+// DeclarationError: (95-110): Variable count does not match number of values (1 vs. 0).
 // TypeError: (215-226): The "selfbalance" instruction is only available for Istanbul-compatible VMs  (you are currently compiling for "petersburg").
-// DeclarationError: (209-228): Variable count does not match number of values (1 vs. 0)
+// DeclarationError: (209-228): Variable count does not match number of values (1 vs. 0).
diff --git a/test/libsolidity/syntaxTests/metaTypes/typeNotRegularIdentifierContractName.sol b/test/libsolidity/syntaxTests/metaTypes/typeNotRegularIdentifierContractName.sol
index 16f567761..1b65c6d93 100644
--- a/test/libsolidity/syntaxTests/metaTypes/typeNotRegularIdentifierContractName.sol
+++ b/test/libsolidity/syntaxTests/metaTypes/typeNotRegularIdentifierContractName.sol
@@ -1,3 +1,3 @@
 contract type { }
 // ----
-// ParserError: (9-13): Expected identifier but got "type"
+// ParserError: (9-13): Expected identifier but got "type".
diff --git a/test/libsolidity/syntaxTests/metaTypes/typeNotRegularIdentifierFunction.sol b/test/libsolidity/syntaxTests/metaTypes/typeNotRegularIdentifierFunction.sol
index 8f8835a6f..12d4aa471 100644
--- a/test/libsolidity/syntaxTests/metaTypes/typeNotRegularIdentifierFunction.sol
+++ b/test/libsolidity/syntaxTests/metaTypes/typeNotRegularIdentifierFunction.sol
@@ -3,4 +3,4 @@ contract Test {
     }
 }
 // ----
-// ParserError: (29-33): Expected identifier but got "type"
+// ParserError: (29-33): Expected identifier but got "type".
diff --git a/test/libsolidity/syntaxTests/metaTypes/typeNotRegularIdentifierParameter.sol b/test/libsolidity/syntaxTests/metaTypes/typeNotRegularIdentifierParameter.sol
index 8387ec142..bc58a516d 100644
--- a/test/libsolidity/syntaxTests/metaTypes/typeNotRegularIdentifierParameter.sol
+++ b/test/libsolidity/syntaxTests/metaTypes/typeNotRegularIdentifierParameter.sol
@@ -3,4 +3,4 @@ contract Test {
     }
 }
 // ----
-// ParserError: (36-40): Expected "," but got "type"
+// ParserError: (36-40): Expected "," but got "type".
diff --git a/test/libsolidity/syntaxTests/metaTypes/typeNotRegularIdentifierStateVariable.sol b/test/libsolidity/syntaxTests/metaTypes/typeNotRegularIdentifierStateVariable.sol
index 9407e3d4c..061dc3aea 100644
--- a/test/libsolidity/syntaxTests/metaTypes/typeNotRegularIdentifierStateVariable.sol
+++ b/test/libsolidity/syntaxTests/metaTypes/typeNotRegularIdentifierStateVariable.sol
@@ -2,4 +2,4 @@ contract Test {
     uint type;
 }
 // ----
-// ParserError: (25-29): Expected identifier but got "type"
+// ParserError: (25-29): Expected identifier but got "type".
diff --git a/test/libsolidity/syntaxTests/metaTypes/typeNotRegularIdentifierVariable.sol b/test/libsolidity/syntaxTests/metaTypes/typeNotRegularIdentifierVariable.sol
index 782c298bd..16871b326 100644
--- a/test/libsolidity/syntaxTests/metaTypes/typeNotRegularIdentifierVariable.sol
+++ b/test/libsolidity/syntaxTests/metaTypes/typeNotRegularIdentifierVariable.sol
@@ -4,4 +4,4 @@ contract Test {
     }
 }
 // ----
-// ParserError: (60-64): Expected ";" but got "type"
+// ParserError: (60-64): Expected ";" but got "type".
diff --git a/test/libsolidity/syntaxTests/nameAndTypeResolution/056_cyclic_inheritance.sol b/test/libsolidity/syntaxTests/nameAndTypeResolution/056_cyclic_inheritance.sol
index 0e1ec4cb5..bcfec5bc2 100644
--- a/test/libsolidity/syntaxTests/nameAndTypeResolution/056_cyclic_inheritance.sol
+++ b/test/libsolidity/syntaxTests/nameAndTypeResolution/056_cyclic_inheritance.sol
@@ -1,4 +1,4 @@
 contract A is B { }
 contract B is A { }
 // ----
-// TypeError: (14-15): Definition of base has to precede definition of derived contract
+// TypeError: (14-15): Definition of base has to precede definition of derived contract.
diff --git a/test/libsolidity/syntaxTests/nameAndTypeResolution/227_library_having_variables.sol b/test/libsolidity/syntaxTests/nameAndTypeResolution/227_library_having_variables.sol
index 804ef3d38..48607d75e 100644
--- a/test/libsolidity/syntaxTests/nameAndTypeResolution/227_library_having_variables.sol
+++ b/test/libsolidity/syntaxTests/nameAndTypeResolution/227_library_having_variables.sol
@@ -1,3 +1,3 @@
 library Lib { uint x; }
 // ----
-// TypeError: (14-20): Library cannot have non-constant state variables
+// TypeError: (14-20): Library cannot have non-constant state variables.
diff --git a/test/libsolidity/syntaxTests/nameAndTypeResolution/237_cyclic_binary_dependency_via_inheritance.sol b/test/libsolidity/syntaxTests/nameAndTypeResolution/237_cyclic_binary_dependency_via_inheritance.sol
index 00ee536ec..687a01c77 100644
--- a/test/libsolidity/syntaxTests/nameAndTypeResolution/237_cyclic_binary_dependency_via_inheritance.sol
+++ b/test/libsolidity/syntaxTests/nameAndTypeResolution/237_cyclic_binary_dependency_via_inheritance.sol
@@ -2,4 +2,4 @@ contract A is B { }
 contract B { function f() public { new C(); } }
 contract C { function f() public { new A(); } }
 // ----
-// TypeError: (14-15): Definition of base has to precede definition of derived contract
+// TypeError: (14-15): Definition of base has to precede definition of derived contract.
diff --git a/test/libsolidity/syntaxTests/nameAndTypeResolution/406_invalid_address_checksum.sol b/test/libsolidity/syntaxTests/nameAndTypeResolution/406_invalid_address_checksum.sol
index 9ca145d4e..1f1eac1e6 100644
--- a/test/libsolidity/syntaxTests/nameAndTypeResolution/406_invalid_address_checksum.sol
+++ b/test/libsolidity/syntaxTests/nameAndTypeResolution/406_invalid_address_checksum.sol
@@ -5,4 +5,4 @@ contract C {
     }
 }
 // ----
-// SyntaxError: (64-106): This looks like an address but has an invalid checksum. Correct checksummed address: "0xfA0bFc97E48458494Ccd857e1A85DC91F7F0046E". If this is not used as an address, please prepend "00". For more information please see https://solidity.readthedocs.io/en/develop/types.html#address-literals
+// SyntaxError: (64-106): This looks like an address but has an invalid checksum. Correct checksummed address: "0xfA0bFc97E48458494Ccd857e1A85DC91F7F0046E". If this is not used as an address, please prepend "00". Please see https://solidity.readthedocs.io/en/develop/types.html#address-literals for more information.
diff --git a/test/libsolidity/syntaxTests/nameAndTypeResolution/407_invalid_address_no_checksum.sol b/test/libsolidity/syntaxTests/nameAndTypeResolution/407_invalid_address_no_checksum.sol
index cc924ae3b..373c081a1 100644
--- a/test/libsolidity/syntaxTests/nameAndTypeResolution/407_invalid_address_no_checksum.sol
+++ b/test/libsolidity/syntaxTests/nameAndTypeResolution/407_invalid_address_no_checksum.sol
@@ -5,4 +5,4 @@ contract C {
     }
 }
 // ----
-// SyntaxError: (64-106): This looks like an address but has an invalid checksum. Correct checksummed address: "0xfA0bFc97E48458494Ccd857e1A85DC91F7F0046E". If this is not used as an address, please prepend "00". For more information please see https://solidity.readthedocs.io/en/develop/types.html#address-literals
+// SyntaxError: (64-106): This looks like an address but has an invalid checksum. Correct checksummed address: "0xfA0bFc97E48458494Ccd857e1A85DC91F7F0046E". If this is not used as an address, please prepend "00". Please see https://solidity.readthedocs.io/en/develop/types.html#address-literals for more information.
diff --git a/test/libsolidity/syntaxTests/nameAndTypeResolution/408_invalid_address_length_short.sol b/test/libsolidity/syntaxTests/nameAndTypeResolution/408_invalid_address_length_short.sol
index 4b3a4cb57..7da343fdd 100644
--- a/test/libsolidity/syntaxTests/nameAndTypeResolution/408_invalid_address_length_short.sol
+++ b/test/libsolidity/syntaxTests/nameAndTypeResolution/408_invalid_address_length_short.sol
@@ -5,4 +5,4 @@ contract C {
     }
 }
 // ----
-// SyntaxError: (64-105): This looks like an address but is not exactly 40 hex digits. It is 39 hex digits. If this is not used as an address, please prepend "00". For more information please see https://solidity.readthedocs.io/en/develop/types.html#address-literals
+// SyntaxError: (64-105): This looks like an address but is not exactly 40 hex digits. It is 39 hex digits. If this is not used as an address, please prepend "00". Please see https://solidity.readthedocs.io/en/develop/types.html#address-literals for more information.
diff --git a/test/libsolidity/syntaxTests/nameAndTypeResolution/409_invalid_address_length_long.sol b/test/libsolidity/syntaxTests/nameAndTypeResolution/409_invalid_address_length_long.sol
index 3eba2f489..26c8c3e31 100644
--- a/test/libsolidity/syntaxTests/nameAndTypeResolution/409_invalid_address_length_long.sol
+++ b/test/libsolidity/syntaxTests/nameAndTypeResolution/409_invalid_address_length_long.sol
@@ -5,4 +5,4 @@ contract C {
     }
 }
 // ----
-// SyntaxError: (64-107): This looks like an address but is not exactly 40 hex digits. It is 41 hex digits. If this is not used as an address, please prepend "00". For more information please see https://solidity.readthedocs.io/en/develop/types.html#address-literals
+// SyntaxError: (64-107): This looks like an address but is not exactly 40 hex digits. It is 41 hex digits. If this is not used as an address, please prepend "00". Please see https://solidity.readthedocs.io/en/develop/types.html#address-literals for more information.
diff --git a/test/libsolidity/syntaxTests/nameAndTypeResolution/462_callable_crash.sol b/test/libsolidity/syntaxTests/nameAndTypeResolution/462_callable_crash.sol
index 188d00e0f..951040d69 100644
--- a/test/libsolidity/syntaxTests/nameAndTypeResolution/462_callable_crash.sol
+++ b/test/libsolidity/syntaxTests/nameAndTypeResolution/462_callable_crash.sol
@@ -6,4 +6,4 @@ contract C {
     }
 }
 // ----
-// TypeError: (97-115): Type is not callable
+// TypeError: (97-115): Type is not callable.
diff --git a/test/libsolidity/syntaxTests/nameAndTypeResolution/492_do_not_crash_on_not_lvalue.sol b/test/libsolidity/syntaxTests/nameAndTypeResolution/492_do_not_crash_on_not_lvalue.sol
index 61c89832f..2d9f28730 100644
--- a/test/libsolidity/syntaxTests/nameAndTypeResolution/492_do_not_crash_on_not_lvalue.sol
+++ b/test/libsolidity/syntaxTests/nameAndTypeResolution/492_do_not_crash_on_not_lvalue.sol
@@ -6,6 +6,6 @@ contract C {
     }
 }
 // ----
-// TypeError: (153-157): Type is not callable
+// TypeError: (153-157): Type is not callable.
 // TypeError: (153-157): Expression has to be an lvalue.
 // TypeError: (160-161): Type "int_const 2" is not implicitly convertible to expected type "tuple()".
diff --git a/test/libsolidity/syntaxTests/parsing/address_constant_payable.sol b/test/libsolidity/syntaxTests/parsing/address_constant_payable.sol
index 860f387aa..100ae8e09 100644
--- a/test/libsolidity/syntaxTests/parsing/address_constant_payable.sol
+++ b/test/libsolidity/syntaxTests/parsing/address_constant_payable.sol
@@ -2,4 +2,4 @@ contract C {
     address constant payable b = address(0);
 }
 // ----
-// ParserError: (34-41): Expected identifier but got "payable"
+// ParserError: (34-41): Expected identifier but got "payable".
diff --git a/test/libsolidity/syntaxTests/parsing/address_payable_conversion.sol b/test/libsolidity/syntaxTests/parsing/address_payable_conversion.sol
index 554678c44..6c622fc6e 100644
--- a/test/libsolidity/syntaxTests/parsing/address_payable_conversion.sol
+++ b/test/libsolidity/syntaxTests/parsing/address_payable_conversion.sol
@@ -4,4 +4,4 @@ contract C {
     }
 }
 // ----
-// ParserError: (80-87): Expected ";" but got "payable"
+// ParserError: (80-87): Expected ";" but got "payable".
diff --git a/test/libsolidity/syntaxTests/parsing/address_payable_type_expression.sol b/test/libsolidity/syntaxTests/parsing/address_payable_type_expression.sol
index 7a39adec6..51ad94c57 100644
--- a/test/libsolidity/syntaxTests/parsing/address_payable_type_expression.sol
+++ b/test/libsolidity/syntaxTests/parsing/address_payable_type_expression.sol
@@ -4,4 +4,4 @@ contract C {
     }
 }
 // ----
-// ParserError: (67-68): Expected identifier but got ";"
+// ParserError: (67-68): Expected identifier but got ";".
diff --git a/test/libsolidity/syntaxTests/parsing/address_public_payable_error.sol b/test/libsolidity/syntaxTests/parsing/address_public_payable_error.sol
index 545e52e66..46a23e8b3 100644
--- a/test/libsolidity/syntaxTests/parsing/address_public_payable_error.sol
+++ b/test/libsolidity/syntaxTests/parsing/address_public_payable_error.sol
@@ -2,4 +2,4 @@ contract C {
     address public payable a;
 }
 // ----
-// ParserError: (32-39): Expected identifier but got "payable"
+// ParserError: (32-39): Expected identifier but got "payable".
diff --git a/test/libsolidity/syntaxTests/parsing/constant_is_keyword.sol b/test/libsolidity/syntaxTests/parsing/constant_is_keyword.sol
index 85203cd3f..7fa99ff76 100644
--- a/test/libsolidity/syntaxTests/parsing/constant_is_keyword.sol
+++ b/test/libsolidity/syntaxTests/parsing/constant_is_keyword.sol
@@ -2,4 +2,4 @@ contract Foo {
 	uint constant = 4;
 }
 // ----
-// ParserError: (30-31): Expected identifier but got "="
+// ParserError: (30-31): Expected identifier but got "=".
diff --git a/test/libsolidity/syntaxTests/parsing/emit_without_event.sol b/test/libsolidity/syntaxTests/parsing/emit_without_event.sol
index 39ba891f2..e7610a857 100644
--- a/test/libsolidity/syntaxTests/parsing/emit_without_event.sol
+++ b/test/libsolidity/syntaxTests/parsing/emit_without_event.sol
@@ -5,4 +5,4 @@ contract C {
 	}
 }
 // ----
-// ParserError: (49-50): Expected "(" but got ";"
+// ParserError: (49-50): Expected "(" but got ";".
diff --git a/test/libsolidity/syntaxTests/parsing/event_with_no_argument_list.sol b/test/libsolidity/syntaxTests/parsing/event_with_no_argument_list.sol
index a3f2e82f3..5496384f9 100644
--- a/test/libsolidity/syntaxTests/parsing/event_with_no_argument_list.sol
+++ b/test/libsolidity/syntaxTests/parsing/event_with_no_argument_list.sol
@@ -2,4 +2,4 @@ contract c {
 	event e;
 }
 // ----
-// ParserError: (21-22): Expected "(" but got ";"
+// ParserError: (21-22): Expected "(" but got ";".
diff --git a/test/libsolidity/syntaxTests/parsing/external_variable.sol b/test/libsolidity/syntaxTests/parsing/external_variable.sol
index e9e20ef5f..76d514db7 100644
--- a/test/libsolidity/syntaxTests/parsing/external_variable.sol
+++ b/test/libsolidity/syntaxTests/parsing/external_variable.sol
@@ -2,4 +2,4 @@ contract c {
 	uint external x;
 }
 // ----
-// ParserError: (19-27): Expected identifier but got "external"
+// ParserError: (19-27): Expected identifier but got "external".
diff --git a/test/libsolidity/syntaxTests/parsing/fixed_literal_with_double_radix.sol b/test/libsolidity/syntaxTests/parsing/fixed_literal_with_double_radix.sol
index 743210c2b..2308b6434 100644
--- a/test/libsolidity/syntaxTests/parsing/fixed_literal_with_double_radix.sol
+++ b/test/libsolidity/syntaxTests/parsing/fixed_literal_with_double_radix.sol
@@ -2,4 +2,4 @@ contract A {
 	fixed40x40 pi = 3.14.15;
 }
 // ----
-// ParserError: (34-37): Expected ";" but got "Number"
+// ParserError: (34-37): Expected ";" but got "Number".
diff --git a/test/libsolidity/syntaxTests/parsing/function_type_as_storage_variable_with_modifiers.sol b/test/libsolidity/syntaxTests/parsing/function_type_as_storage_variable_with_modifiers.sol
index 808d14d00..234573480 100644
--- a/test/libsolidity/syntaxTests/parsing/function_type_as_storage_variable_with_modifiers.sol
+++ b/test/libsolidity/syntaxTests/parsing/function_type_as_storage_variable_with_modifiers.sol
@@ -2,4 +2,4 @@ contract test {
 	function (uint, uint) modifier1() returns (uint) f1;
 }
 // ----
-// ParserError: (48-49): Expected ";" but got "("
+// ParserError: (48-49): Expected ";" but got "(".
diff --git a/test/libsolidity/syntaxTests/parsing/local_const_variable.sol b/test/libsolidity/syntaxTests/parsing/local_const_variable.sol
index 95da8ce47..89b0f172b 100644
--- a/test/libsolidity/syntaxTests/parsing/local_const_variable.sol
+++ b/test/libsolidity/syntaxTests/parsing/local_const_variable.sol
@@ -6,4 +6,4 @@ contract Foo {
 	}
 }
 // ----
-// ParserError: (67-75): Expected ";" but got "constant"
+// ParserError: (67-75): Expected ";" but got "constant".
diff --git a/test/libsolidity/syntaxTests/parsing/location_specifiers_for_state_variables.sol b/test/libsolidity/syntaxTests/parsing/location_specifiers_for_state_variables.sol
index 7bcaaddda..32ae36f72 100644
--- a/test/libsolidity/syntaxTests/parsing/location_specifiers_for_state_variables.sol
+++ b/test/libsolidity/syntaxTests/parsing/location_specifiers_for_state_variables.sol
@@ -2,4 +2,4 @@ contract Foo {
 	uint[] memory x;
 }
 // ----
-// ParserError: (23-29): Expected identifier but got "memory"
+// ParserError: (23-29): Expected identifier but got "memory".
diff --git a/test/libsolidity/syntaxTests/parsing/location_specifiers_for_state_variables_multi.sol b/test/libsolidity/syntaxTests/parsing/location_specifiers_for_state_variables_multi.sol
index 3c24150ad..48621e269 100644
--- a/test/libsolidity/syntaxTests/parsing/location_specifiers_for_state_variables_multi.sol
+++ b/test/libsolidity/syntaxTests/parsing/location_specifiers_for_state_variables_multi.sol
@@ -2,4 +2,4 @@ contract Foo {
 	uint[] memory storage calldata x;
 }
 // ----
-// ParserError: (23-29): Expected identifier but got "memory"
+// ParserError: (23-29): Expected identifier but got "memory".
diff --git a/test/libsolidity/syntaxTests/parsing/mapping_from_address_payable.sol b/test/libsolidity/syntaxTests/parsing/mapping_from_address_payable.sol
index 04c854d84..512c873c1 100644
--- a/test/libsolidity/syntaxTests/parsing/mapping_from_address_payable.sol
+++ b/test/libsolidity/syntaxTests/parsing/mapping_from_address_payable.sol
@@ -2,4 +2,4 @@ contract C {
     mapping(address payable => uint) m;
 }
 // ----
-// ParserError: (33-40): Expected "=>" but got "payable"
+// ParserError: (33-40): Expected "=>" but got "payable".
diff --git a/test/libsolidity/syntaxTests/parsing/mapping_nonelementary_key_1.sol b/test/libsolidity/syntaxTests/parsing/mapping_nonelementary_key_1.sol
index 870f6d18d..2f7de9f30 100644
--- a/test/libsolidity/syntaxTests/parsing/mapping_nonelementary_key_1.sol
+++ b/test/libsolidity/syntaxTests/parsing/mapping_nonelementary_key_1.sol
@@ -2,4 +2,4 @@ contract c {
 	mapping(uint[] => uint) data;
 }
 // ----
-// ParserError: (26-27): Expected "=>" but got "["
+// ParserError: (26-27): Expected "=>" but got "[".
diff --git a/test/libsolidity/syntaxTests/parsing/mapping_nonelementary_key_2.sol b/test/libsolidity/syntaxTests/parsing/mapping_nonelementary_key_2.sol
index 713cddeb3..fb5576866 100644
--- a/test/libsolidity/syntaxTests/parsing/mapping_nonelementary_key_2.sol
+++ b/test/libsolidity/syntaxTests/parsing/mapping_nonelementary_key_2.sol
@@ -5,4 +5,4 @@ contract c {
 	mapping(S => uint) data;
 }
 // ----
-// ParserError: (47-48): Expected elementary type name for mapping key type
+// ParserError: (47-48): Expected elementary type name for mapping key type.
diff --git a/test/libsolidity/syntaxTests/parsing/mapping_nonelementary_key_3.sol b/test/libsolidity/syntaxTests/parsing/mapping_nonelementary_key_3.sol
index 655af9de7..6732ef5d5 100644
--- a/test/libsolidity/syntaxTests/parsing/mapping_nonelementary_key_3.sol
+++ b/test/libsolidity/syntaxTests/parsing/mapping_nonelementary_key_3.sol
@@ -5,4 +5,4 @@ contract c {
 	mapping(S => uint) data;
 }
 // ----
-// ParserError: (49-50): Expected elementary type name for mapping key type
+// ParserError: (49-50): Expected elementary type name for mapping key type.
diff --git a/test/libsolidity/syntaxTests/parsing/mapping_nonelementary_key_4.sol b/test/libsolidity/syntaxTests/parsing/mapping_nonelementary_key_4.sol
index ec53b4c74..7b80a9bf5 100644
--- a/test/libsolidity/syntaxTests/parsing/mapping_nonelementary_key_4.sol
+++ b/test/libsolidity/syntaxTests/parsing/mapping_nonelementary_key_4.sol
@@ -2,4 +2,4 @@ contract c {
 	mapping(string[] => uint) data;
 }
 // ----
-// ParserError: (28-29): Expected "=>" but got "["
+// ParserError: (28-29): Expected "=>" but got "[".
diff --git a/test/libsolidity/syntaxTests/parsing/missing_parameter_name_in_named_args.sol b/test/libsolidity/syntaxTests/parsing/missing_parameter_name_in_named_args.sol
index 96b238ba0..0dda5f5aa 100644
--- a/test/libsolidity/syntaxTests/parsing/missing_parameter_name_in_named_args.sol
+++ b/test/libsolidity/syntaxTests/parsing/missing_parameter_name_in_named_args.sol
@@ -3,4 +3,4 @@ contract test {
 	function b() returns (uint r) { r = a({: 1, : 2, : 3}); }
 }
 // ----
-// ParserError: (143-144): Expected identifier but got ":"
+// ParserError: (143-144): Expected identifier but got ":".
diff --git a/test/libsolidity/syntaxTests/parsing/missing_variable_name_in_declaration.sol b/test/libsolidity/syntaxTests/parsing/missing_variable_name_in_declaration.sol
index 73ced3acd..3d13b6301 100644
--- a/test/libsolidity/syntaxTests/parsing/missing_variable_name_in_declaration.sol
+++ b/test/libsolidity/syntaxTests/parsing/missing_variable_name_in_declaration.sol
@@ -2,4 +2,4 @@ contract test {
     uint256 ;
 }
 // ----
-// ParserError: (28-29): Expected identifier but got ";"
+// ParserError: (28-29): Expected identifier but got ";".
diff --git a/test/libsolidity/syntaxTests/parsing/modifier_without_semicolon.sol b/test/libsolidity/syntaxTests/parsing/modifier_without_semicolon.sol
index c6c035513..79c53db9a 100644
--- a/test/libsolidity/syntaxTests/parsing/modifier_without_semicolon.sol
+++ b/test/libsolidity/syntaxTests/parsing/modifier_without_semicolon.sol
@@ -2,4 +2,4 @@ contract c {
 	modifier mod { if (msg.sender == 0) _ }
 }
 // ----
-// ParserError: (52-53): Expected ";" but got "}"
+// ParserError: (52-53): Expected ";" but got "}".
diff --git a/test/libsolidity/syntaxTests/parsing/payable_without_arguments.sol b/test/libsolidity/syntaxTests/parsing/payable_without_arguments.sol
index d53f36e8d..29d47b282 100644
--- a/test/libsolidity/syntaxTests/parsing/payable_without_arguments.sol
+++ b/test/libsolidity/syntaxTests/parsing/payable_without_arguments.sol
@@ -4,4 +4,4 @@ contract C {
 	}
 }
 // ----
-// ParserError: (70-71): Expected "(" but got ";"
+// ParserError: (70-71): Expected "(" but got ";".
diff --git a/test/libsolidity/syntaxTests/parsing/trailing_dot2.sol b/test/libsolidity/syntaxTests/parsing/trailing_dot2.sol
index 7f8696f7f..33160a0a2 100644
--- a/test/libsolidity/syntaxTests/parsing/trailing_dot2.sol
+++ b/test/libsolidity/syntaxTests/parsing/trailing_dot2.sol
@@ -4,4 +4,4 @@ contract test {
 	uint256 c = 2 + 2.;
 }
 // ----
-// ParserError: (76-77): Expected identifier but got ";"
+// ParserError: (76-77): Expected identifier but got ";".
diff --git a/test/libsolidity/syntaxTests/parsing/trailing_dot3.sol b/test/libsolidity/syntaxTests/parsing/trailing_dot3.sol
index 6a126cb3a..8564bb876 100644
--- a/test/libsolidity/syntaxTests/parsing/trailing_dot3.sol
+++ b/test/libsolidity/syntaxTests/parsing/trailing_dot3.sol
@@ -1,4 +1,4 @@
 contract test {
 	uint a = 2.
 // ----
-// ParserError: (29-29): Expected identifier but got end of source
+// ParserError: (29-29): Expected identifier but got end of source.
diff --git a/test/libsolidity/syntaxTests/parsing/tuples_decl_without_rhs.sol b/test/libsolidity/syntaxTests/parsing/tuples_decl_without_rhs.sol
index 40650f715..c38e16a4c 100644
--- a/test/libsolidity/syntaxTests/parsing/tuples_decl_without_rhs.sol
+++ b/test/libsolidity/syntaxTests/parsing/tuples_decl_without_rhs.sol
@@ -4,4 +4,4 @@ contract C {
     }
 }
 // ----
-// ParserError: (76-77): Expected "=" but got ";"
+// ParserError: (76-77): Expected "=" but got ";".
diff --git a/test/libsolidity/syntaxTests/parsing/tuples_without_commas.sol b/test/libsolidity/syntaxTests/parsing/tuples_without_commas.sol
index dcfa8a342..b8521fd86 100644
--- a/test/libsolidity/syntaxTests/parsing/tuples_without_commas.sol
+++ b/test/libsolidity/syntaxTests/parsing/tuples_without_commas.sol
@@ -4,4 +4,4 @@ contract C {
 	}
 }
 // ----
-// ParserError: (42-43): Expected "," but got "Number"
+// ParserError: (42-43): Expected "," but got "Number".
diff --git a/test/libsolidity/syntaxTests/parsing/var_array.sol b/test/libsolidity/syntaxTests/parsing/var_array.sol
index 17e915163..a26f54195 100644
--- a/test/libsolidity/syntaxTests/parsing/var_array.sol
+++ b/test/libsolidity/syntaxTests/parsing/var_array.sol
@@ -2,4 +2,4 @@ contract Foo {
 	function f() { var[] a; }
 }
 // ----
-// ParserError: (34-35): Expected identifier but got "["
+// ParserError: (34-35): Expected identifier but got "[".
diff --git a/test/libsolidity/syntaxTests/parsing/variable_definition_in_mapping.sol b/test/libsolidity/syntaxTests/parsing/variable_definition_in_mapping.sol
index 61f5be532..002e5aad9 100644
--- a/test/libsolidity/syntaxTests/parsing/variable_definition_in_mapping.sol
+++ b/test/libsolidity/syntaxTests/parsing/variable_definition_in_mapping.sol
@@ -4,4 +4,4 @@ contract test {
 	}
 }
 // ----
-// ParserError: (44-47): Expected elementary type name for mapping key type
+// ParserError: (44-47): Expected elementary type name for mapping key type.
diff --git a/test/libsolidity/syntaxTests/scoping/state_variable_function_conflict_former_crash.sol b/test/libsolidity/syntaxTests/scoping/state_variable_function_conflict_former_crash.sol
index fb9180c69..0e669cdba 100644
--- a/test/libsolidity/syntaxTests/scoping/state_variable_function_conflict_former_crash.sol
+++ b/test/libsolidity/syntaxTests/scoping/state_variable_function_conflict_former_crash.sol
@@ -11,4 +11,4 @@ contract SomeContract {
 }
 // ----
 // DeclarationError: (106-145): Identifier already declared.
-// TypeError: (185-195): Type is not callable
+// TypeError: (185-195): Type is not callable.
diff --git a/test/libsolidity/syntaxTests/specialFunctions/abidecode/abi_decode_calldata.sol b/test/libsolidity/syntaxTests/specialFunctions/abidecode/abi_decode_calldata.sol
index 6964b0b89..530efbd7f 100644
--- a/test/libsolidity/syntaxTests/specialFunctions/abidecode/abi_decode_calldata.sol
+++ b/test/libsolidity/syntaxTests/specialFunctions/abidecode/abi_decode_calldata.sol
@@ -5,4 +5,4 @@ contract C {
   }
 }
 // ----
-// ParserError: (121-129): Expected "," but got "calldata"
+// ParserError: (121-129): Expected "," but got "calldata".
diff --git a/test/libsolidity/syntaxTests/specialFunctions/abidecode/abi_decode_memory.sol b/test/libsolidity/syntaxTests/specialFunctions/abidecode/abi_decode_memory.sol
index 2935327bc..3ccdb0bbe 100644
--- a/test/libsolidity/syntaxTests/specialFunctions/abidecode/abi_decode_memory.sol
+++ b/test/libsolidity/syntaxTests/specialFunctions/abidecode/abi_decode_memory.sol
@@ -4,4 +4,4 @@ contract C {
   }
 }
 // ----
-// ParserError: (71-77): Expected "," but got "memory"
+// ParserError: (71-77): Expected "," but got "memory".
diff --git a/test/libsolidity/syntaxTests/specialFunctions/abidecode/abi_decode_storage.sol b/test/libsolidity/syntaxTests/specialFunctions/abidecode/abi_decode_storage.sol
index 2848bd18b..a5174f8a0 100644
--- a/test/libsolidity/syntaxTests/specialFunctions/abidecode/abi_decode_storage.sol
+++ b/test/libsolidity/syntaxTests/specialFunctions/abidecode/abi_decode_storage.sol
@@ -5,4 +5,4 @@ contract C {
   }
 }
 // ----
-// ParserError: (109-116): Expected "," but got "storage"
+// ParserError: (109-116): Expected "," but got "storage".
diff --git a/test/libsolidity/syntaxTests/string/string_multipart_newline_without_hex_prefix.sol b/test/libsolidity/syntaxTests/string/string_multipart_newline_without_hex_prefix.sol
index 75adc6fd4..e938d0343 100644
--- a/test/libsolidity/syntaxTests/string/string_multipart_newline_without_hex_prefix.sol
+++ b/test/libsolidity/syntaxTests/string/string_multipart_newline_without_hex_prefix.sol
@@ -7,4 +7,4 @@ contract test {
     }
 }
 // ----
-// ParserError: (118-124): Expected ";" but got "StringLiteral"
+// ParserError: (118-124): Expected ";" but got "StringLiteral".
diff --git a/test/libsolidity/syntaxTests/string/string_multipart_only_hex.sol b/test/libsolidity/syntaxTests/string/string_multipart_only_hex.sol
index 8f22b4ad1..e3714ffb2 100644
--- a/test/libsolidity/syntaxTests/string/string_multipart_only_hex.sol
+++ b/test/libsolidity/syntaxTests/string/string_multipart_only_hex.sol
@@ -5,4 +5,4 @@ contract test {
     }
 }
 // ----
-// ParserError: (116-120): Expected ";" but got "StringLiteral"
+// ParserError: (116-120): Expected ";" but got "StringLiteral".
diff --git a/test/libsolidity/syntaxTests/string/string_multipart_only_regular.sol b/test/libsolidity/syntaxTests/string/string_multipart_only_regular.sol
index f1193d563..fd16fa669 100644
--- a/test/libsolidity/syntaxTests/string/string_multipart_only_regular.sol
+++ b/test/libsolidity/syntaxTests/string/string_multipart_only_regular.sol
@@ -5,4 +5,4 @@ contract test {
     }
 }
 // ----
-// ParserError: (112-119): Expected ";" but got "HexStringLiteral"
+// ParserError: (112-119): Expected ";" but got "HexStringLiteral".
diff --git a/test/libsolidity/syntaxTests/structs/address_member_declaration.sol b/test/libsolidity/syntaxTests/structs/address_member_declaration.sol
index 4f6af21f3..e139a2523 100644
--- a/test/libsolidity/syntaxTests/structs/address_member_declaration.sol
+++ b/test/libsolidity/syntaxTests/structs/address_member_declaration.sol
@@ -2,4 +2,4 @@ contract C {
     struct S { uint address; }
 }
 // ----
-// ParserError: (33-40): Expected identifier but got "address"
+// ParserError: (33-40): Expected identifier but got "address".
diff --git a/test/libsolidity/syntaxTests/tryCatch/empty_catch.sol b/test/libsolidity/syntaxTests/tryCatch/empty_catch.sol
index ee887fe1a..32436ad8a 100644
--- a/test/libsolidity/syntaxTests/tryCatch/empty_catch.sol
+++ b/test/libsolidity/syntaxTests/tryCatch/empty_catch.sol
@@ -8,4 +8,4 @@ contract C {
     }
 }
 // ----
-// ParserError: (101-102): Expected type name
+// ParserError: (101-102): Expected type name.
diff --git a/test/libsolidity/syntaxTests/tryCatch/empty_returns.sol b/test/libsolidity/syntaxTests/tryCatch/empty_returns.sol
index ba1ba2202..649b6ca5a 100644
--- a/test/libsolidity/syntaxTests/tryCatch/empty_returns.sol
+++ b/test/libsolidity/syntaxTests/tryCatch/empty_returns.sol
@@ -8,4 +8,4 @@ contract C {
     }
 }
 // ----
-// ParserError: (69-70): Expected type name
+// ParserError: (69-70): Expected type name.
diff --git a/test/libsolidity/syntaxTests/tryCatch/no_catch.sol b/test/libsolidity/syntaxTests/tryCatch/no_catch.sol
index b229e6907..36c6bf5c3 100644
--- a/test/libsolidity/syntaxTests/tryCatch/no_catch.sol
+++ b/test/libsolidity/syntaxTests/tryCatch/no_catch.sol
@@ -5,4 +5,4 @@ contract C {
     }
 }
 // ----
-// ParserError: (97-98): Expected reserved keyword "catch" but got "}"
+// ParserError: (97-98): Expected reserved keyword "catch" but got "}".
diff --git a/test/libsolidity/syntaxTests/tupleAssignments/double_storage_crash.sol b/test/libsolidity/syntaxTests/tupleAssignments/double_storage_crash.sol
index 0789981fb..699a6151a 100644
--- a/test/libsolidity/syntaxTests/tupleAssignments/double_storage_crash.sol
+++ b/test/libsolidity/syntaxTests/tupleAssignments/double_storage_crash.sol
@@ -7,5 +7,5 @@ contract CrashContract {
        }
 }
 // ----
-// TypeError: (170-177): Type is not callable
+// TypeError: (170-177): Type is not callable.
 // TypeError: (170-177): Type "tuple()" is not implicitly convertible to expected type "tuple(struct CrashContract.S storage ref,struct CrashContract.S storage ref)".
diff --git a/test/libsolidity/syntaxTests/types/function_call_fail.sol b/test/libsolidity/syntaxTests/types/function_call_fail.sol
index 97c2d6e4b..2dd88dc46 100644
--- a/test/libsolidity/syntaxTests/types/function_call_fail.sol
+++ b/test/libsolidity/syntaxTests/types/function_call_fail.sol
@@ -4,6 +4,6 @@ contract C {
     }
 }
 // ----
-// TypeError: (59-63): Type is not callable
+// TypeError: (59-63): Type is not callable.
 // TypeError: (59-63): Expression has to be an lvalue.
 // TypeError: (67-68): Type "int_const 2" is not implicitly convertible to expected type "tuple()".
diff --git a/test/libsolidity/syntaxTests/unterminatedBlocks/one_dot.sol b/test/libsolidity/syntaxTests/unterminatedBlocks/one_dot.sol
index a678f0042..837432de0 100644
--- a/test/libsolidity/syntaxTests/unterminatedBlocks/one_dot.sol
+++ b/test/libsolidity/syntaxTests/unterminatedBlocks/one_dot.sol
@@ -1,4 +1,4 @@
 contract c {
     function f() pure public { 1.
 // ----
-// ParserError: (47-47): Expected identifier but got end of source
\ No newline at end of file
+// ParserError: (47-47): Expected identifier but got end of source.
diff --git a/test/libsolidity/syntaxTests/unterminatedBlocks/zero_dot.sol b/test/libsolidity/syntaxTests/unterminatedBlocks/zero_dot.sol
index 6ba2b4c22..0cd2f555e 100644
--- a/test/libsolidity/syntaxTests/unterminatedBlocks/zero_dot.sol
+++ b/test/libsolidity/syntaxTests/unterminatedBlocks/zero_dot.sol
@@ -1,4 +1,4 @@
 contract c {
     function f() pure public { 0.
 // ----
-// ParserError: (47-47): Expected identifier but got end of source
\ No newline at end of file
+// ParserError: (47-47): Expected identifier but got end of source.
diff --git a/test/libyul/Parser.cpp b/test/libyul/Parser.cpp
index 14c0d06d9..cbb176598 100644
--- a/test/libyul/Parser.cpp
+++ b/test/libyul/Parser.cpp
@@ -156,14 +156,14 @@ BOOST_AUTO_TEST_CASE(period_in_identifier)
 
 BOOST_AUTO_TEST_CASE(period_not_as_identifier_start)
 {
-	CHECK_ERROR("{ let .y:u256 }", ParserError, "Expected identifier but got " + quote("."));
+	CHECK_ERROR("{ let .y:u256 }", ParserError, "Expected identifier but got " + quote(".") + ".");
 }
 
 BOOST_AUTO_TEST_CASE(period_in_identifier_spaced)
 {
-	CHECK_ERROR("{ let x. y:u256 }", ParserError, "Expected" + quoteSpace(":") + "but got identifier");
-	CHECK_ERROR("{ let x .y:u256 }", ParserError, "Expected" + quoteSpace(":") + "but got " + quote("."));
-	CHECK_ERROR("{ let x . y:u256 }", ParserError, "Expected" + quoteSpace(":") + "but got " + quote("."));
+	CHECK_ERROR("{ let x. y:u256 }", ParserError, "Expected" + quoteSpace(":") + "but got identifier.");
+	CHECK_ERROR("{ let x .y:u256 }", ParserError, "Expected" + quoteSpace(":") + "but got " + quote(".") + ".");
+	CHECK_ERROR("{ let x . y:u256 }", ParserError, "Expected" + quoteSpace(":") + "but got " + quote(".") + ".");
 }
 
 BOOST_AUTO_TEST_CASE(period_in_identifier_start)
@@ -236,10 +236,10 @@ BOOST_AUTO_TEST_CASE(tokens_as_identifers)
 
 BOOST_AUTO_TEST_CASE(lacking_types)
 {
-	CHECK_ERROR("{ let x := 1:u256 }", ParserError, "Expected" + quoteSpace(":") + "but got " + quote(":="));
-	CHECK_ERROR("{ let x:u256 := 1 }", ParserError, "Expected" + quoteSpace(":") + "but got " + quote("}"));
-	CHECK_ERROR("{ function f(a) {} }", ParserError, "Expected" + quoteSpace(":") + "but got " + quote(")"));
-	CHECK_ERROR("{ function f(a:u256) -> b {} }", ParserError, "Expected" + quoteSpace(":") + "but got " + quote("{"));
+	CHECK_ERROR("{ let x := 1:u256 }", ParserError, "Expected" + quoteSpace(":") + "but got " + quote(":=") + ".");
+	CHECK_ERROR("{ let x:u256 := 1 }", ParserError, "Expected" + quoteSpace(":") + "but got " + quote("}") + ".");
+	CHECK_ERROR("{ function f(a) {} }", ParserError, "Expected" + quoteSpace(":") + "but got " + quote(")") + ".");
+	CHECK_ERROR("{ function f(a:u256) -> b {} }", ParserError, "Expected" + quoteSpace(":") + "but got " + quote("{") + ".");
 }
 
 BOOST_AUTO_TEST_CASE(invalid_types)
@@ -258,7 +258,7 @@ BOOST_AUTO_TEST_CASE(number_literals)
 	CHECK_ERROR("{ let x:u256 := .1:u256 }", ParserError, "Invalid number literal.");
 	CHECK_ERROR("{ let x:u256 := 1e5:u256 }", ParserError, "Invalid number literal.");
 	CHECK_ERROR("{ let x:u256 := 67.235:u256 }", ParserError, "Invalid number literal.");
-	CHECK_ERROR("{ let x:u256 := 0x1ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:u256 }", TypeError, "Number literal too large (> 256 bits)");
+	CHECK_ERROR("{ let x:u256 := 0x1ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:u256 }", TypeError, "Number literal too large (> 256 bits).");
 }
 
 BOOST_AUTO_TEST_CASE(builtin_types)
@@ -491,7 +491,7 @@ BOOST_AUTO_TEST_CASE(function_defined_in_init_nested)
 BOOST_AUTO_TEST_CASE(if_statement_invalid)
 {
 	CHECK_ERROR("{ if let x:u256 {} }", ParserError, "Literal or identifier expected.");
-	CHECK_ERROR("{ if true:bool let x:u256 := 3:u256 }", ParserError, "Expected" + quoteSpace("{") + "but got reserved keyword " + quote("let"));
+	CHECK_ERROR("{ if true:bool let x:u256 := 3:u256 }", ParserError, "Expected" + quoteSpace("{") + "but got reserved keyword " + quote("let") + ".");
 	// TODO change this to an error once we check types.
 	BOOST_CHECK(successParse("{ if 42:u256 { } }"));
 }
@@ -518,12 +518,12 @@ BOOST_AUTO_TEST_CASE(switch_duplicate_case_different_literal)
 BOOST_AUTO_TEST_CASE(switch_case_string_literal_too_long)
 {
 	BOOST_CHECK(successParse("{let x:u256 switch x case \"01234567890123456789012345678901\":u256 {}}"));
-	CHECK_ERROR("{let x:u256 switch x case \"012345678901234567890123456789012\":u256 {}}", TypeError, "String literal too long (33 > 32)");
+	CHECK_ERROR("{let x:u256 switch x case \"012345678901234567890123456789012\":u256 {}}", TypeError, "String literal too long (33 > 32).");
 }
 
 BOOST_AUTO_TEST_CASE(function_shadowing_outside_vars)
 {
-	CHECK_ERROR("{ let x:u256 function f() -> x:u256 {} }", DeclarationError, "already taken in this scope");
+	CHECK_ERROR("{ let x:u256 function f() -> x:u256 {} }", DeclarationError, "already taken in this scope.");
 	BOOST_CHECK(successParse("{ { let x:u256 } function f() -> x:u256 {} }"));
 }
 
@@ -542,7 +542,7 @@ BOOST_AUTO_TEST_CASE(builtins_parser)
 	SimpleDialect dialect;
 	CHECK_ERROR_DIALECT("{ let builtin := 6 }", ParserError, "Cannot use builtin function name" + quoteSpace("builtin") + "as identifier name.", dialect);
 	CHECK_ERROR_DIALECT("{ function builtin() {} }", ParserError, "Cannot use builtin function name" + quoteSpace("builtin") + "as identifier name.", dialect);
-	CHECK_ERROR_DIALECT("{ function f(x) { f(builtin) } }", ParserError, "Expected" + quote("(") + "but got " + quote(")"), dialect);
+	CHECK_ERROR_DIALECT("{ function f(x) { f(builtin) } }", ParserError, "Expected" + quote("(") + "but got " + quote(")") + ".", dialect);
 	CHECK_ERROR_DIALECT("{ function f(builtin) {}", ParserError, "Cannot use builtin function name" + quoteSpace("builtin") + "as identifier name.", dialect);
 	CHECK_ERROR_DIALECT("{ function f() -> builtin {}", ParserError, "Cannot use builtin function name" + quoteSpace("builtin") + "as identifier name.", dialect);
 }
@@ -561,7 +561,7 @@ BOOST_AUTO_TEST_CASE(builtins_analysis)
 
 	SimpleDialect dialect;
 	BOOST_CHECK(successParse("{ let a, b, c := builtin(1, 2) }", dialect));
-	CHECK_ERROR_DIALECT("{ let a, b, c := builtin(1) }", TypeError, "Function expects 2 arguments but got 1", dialect);
+	CHECK_ERROR_DIALECT("{ let a, b, c := builtin(1) }", TypeError, "Function expects 2 arguments but got 1.", dialect);
 	CHECK_ERROR_DIALECT("{ let a, b := builtin(1, 2) }", DeclarationError, "Variable count mismatch: 2 variables and 3 values.", dialect);
 }