From 00f6b303b1c8af205b3f6c04617585aebebcdf56 Mon Sep 17 00:00:00 2001 From: Leonardo Alt Date: Wed, 9 Sep 2020 16:12:55 +0200 Subject: [PATCH] [SMTChecker] Change warning message --- libsolidity/formal/BMC.cpp | 7 ++---- libsolidity/formal/CHC.cpp | 12 +++++----- .../array_members/array_pop_length_1.sol | 2 +- .../array_members/array_pop_length_2.sol | 2 +- .../array_members/array_pop_length_3.sol | 4 ++-- .../array_members/array_pop_length_4.sol | 2 +- .../array_members/array_pop_length_5.sol | 2 +- .../array_members/array_pop_length_6.sol | 2 +- .../array_members/array_pop_length_8.sol | 2 +- .../array_members/length_basic.sol | 2 +- .../length_same_after_assignment_2_fail.sol | 6 ++--- .../length_same_after_assignment_3_fail.sol | 8 +++---- .../array_members/pop_1_unsafe.sol | 2 +- .../array_members/pop_2d_unsafe.sol | 2 +- .../array_members/pop_constructor_unsafe.sol | 2 +- .../array_members/pop_loop_unsafe.sol | 2 +- .../array_members/push_2d_arg_1_unsafe.sol | 4 ++-- .../push_push_no_args_1_fail.sol | 4 ++-- .../push_push_no_args_2_fail.sol | 6 ++--- .../push_storage_ref_safe_aliasing.sol | 4 ++-- .../push_storage_ref_unsafe_aliasing.sol | 2 +- .../push_storage_ref_unsafe_length.sol | 6 ++--- .../array_members/push_zero_2d_unsafe.sol | 2 +- .../array_members/push_zero_unsafe.sol | 2 +- .../array_members/storage_pointer_push_1.sol | 2 +- .../complex/slither/const_state_variables.sol | 2 +- .../control_flow/short_circuit_and_fail.sol | 2 +- .../short_circuit_and_inside_branch.sol | 4 ++-- .../short_circuit_and_need_both_fail.sol | 2 +- .../control_flow/short_circuit_or_fail.sol | 2 +- .../short_circuit_or_inside_branch.sol | 2 +- .../short_circuit_or_need_both_fail.sol | 2 +- .../ways_to_merge_variables_1.sol | 2 +- .../ways_to_merge_variables_2.sol | 2 +- .../ways_to_merge_variables_3.sol | 2 +- .../external_calls/external.sol | 2 +- .../external_calls/external_hash.sol | 2 +- .../external_hash_known_code_pure.sol | 2 +- .../external_hash_known_code_state.sol | 2 +- ...ernal_hash_known_code_state_reentrancy.sol | 2 +- ...h_known_code_state_reentrancy_indirect.sol | 4 ++-- ...ash_known_code_state_reentrancy_unsafe.sol | 4 ++-- .../external_hash_known_code_state_unsafe.sol | 4 ++-- .../external_calls/external_inc.sol | 4 ++-- .../external_calls/external_inc1_inc2.sol | 2 +- .../external_calls/external_single_inc.sol | 2 +- .../external_calls/mutex_f_no_guard.sol | 2 +- .../functions/constructor_hierarchy.sol | 2 +- .../functions/constructor_hierarchy_2.sol | 2 +- .../functions/constructor_hierarchy_3.sol | 6 ++--- .../functions/constructor_hierarchy_4.sol | 6 ++--- .../constructor_hierarchy_diamond.sol | 6 ++--- .../constructor_hierarchy_diamond_2.sol | 6 ++--- .../constructor_hierarchy_diamond_3.sol | 8 +++---- ...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 | 2 +- .../constructor_hierarchy_modifier.sol | 2 +- .../constructor_hierarchy_same_var.sol | 4 ++-- .../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 | 2 +- ...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_2.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 +- .../functions/internal_call_inheritance.sol | 2 +- .../functions/internal_call_inheritance_2.sol | 2 +- .../internal_call_with_assertion_1.sol | 4 ++-- .../internal_call_with_assertion_1_fail.sol | 14 +++++------ ...rnal_call_with_assertion_inheritance_1.sol | 4 ++-- ...call_with_assertion_inheritance_1_fail.sol | 10 ++++---- ...ternal_multiple_calls_with_assertion_1.sol | 8 +++---- ...l_multiple_calls_with_assertion_1_fail.sol | 14 +++++------ .../functions/library_constant.sol | 4 ++-- .../functions/this_external_call.sol | 2 +- .../functions/this_external_call_return.sol | 2 +- .../smtCheckerTests/functions/this_fake.sol | 2 +- .../smtCheckerTests/functions/this_state.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 | 14 +++++------ ...or_state_variable_init_chain_run_all_2.sol | 12 +++++----- ...onstructor_state_variable_init_diamond.sol | 2 +- ...tor_state_variable_init_diamond_middle.sol | 2 +- .../smtCheckerTests/inheritance/fallback.sol | 6 ++--- .../inheritance/fallback_receive.sol | 6 ++--- .../inheritance/functions_1.sol | 6 ++--- .../inheritance/functions_2.sol | 6 ++--- .../inheritance/functions_3.sol | 12 +++++----- .../smtCheckerTests/inheritance/receive.sol | 6 ++--- .../inheritance/receive_fallback.sol | 6 ++--- .../invariants/aon_blog_post.sol | 2 +- .../invariants/state_machine_1_fail.sol | 2 +- .../smtCheckerTests/loops/do_while_1_fail.sol | 2 +- .../loops/do_while_break_2_fail.sol | 2 +- .../loops/do_while_break_fail.sol | 2 +- .../loops/for_1_break_fail.sol | 2 +- .../loops/for_1_continue_fail.sol | 2 +- .../smtCheckerTests/loops/for_1_fail.sol | 4 ++-- .../loops/for_1_false_positive.sol | 4 ++-- .../smtCheckerTests/loops/for_loop_4.sol | 2 +- .../smtCheckerTests/loops/for_loop_5.sol | 2 +- ...or_loop_array_assignment_memory_memory.sol | 6 ++--- ...r_loop_array_assignment_memory_storage.sol | 4 ++-- ...r_loop_array_assignment_storage_memory.sol | 4 ++-- ..._loop_array_assignment_storage_storage.sol | 6 ++--- .../loops/while_1_break_fail.sol | 2 +- .../loops/while_1_continue_fail.sol | 2 +- .../smtCheckerTests/loops/while_1_fail.sol | 2 +- .../loops/while_2_break_fail.sol | 2 +- ...le_loop_array_assignment_memory_memory.sol | 6 ++--- ...e_loop_array_assignment_memory_storage.sol | 4 ++-- ..._loop_array_assignment_storage_storage.sol | 6 ++--- .../loops/while_loop_simple_1.sol | 2 +- .../loops/while_loop_simple_3.sol | 2 +- .../loops/while_loop_simple_5.sol | 2 +- .../loops/while_nested_break_fail.sol | 4 ++-- .../loops/while_nested_continue_fail.sol | 4 ++-- .../modifier_code_after_placeholder.sol | 2 +- .../modifiers/modifier_control_flow.sol | 2 +- .../modifier_inside_branch_assignment.sol | 2 +- ...nside_branch_assignment_multi_branches.sol | 4 ++-- .../modifiers/modifier_multi.sol | 2 +- .../modifiers/modifier_multi_functions.sol | 2 +- .../modifiers/modifier_multi_parameters.sol | 2 +- .../modifiers/modifier_parameter_copy.sol | 2 +- .../modifier_same_local_variables.sol | 2 +- .../modifiers/modifier_two_placeholders.sol | 2 +- .../operators/bitwise_and_int.sol | 2 +- .../operators/bitwise_and_rational.sol | 2 +- .../operators/bitwise_and_uint.sol | 6 ++--- .../operators/bitwise_not_int.sol | 8 +++---- .../operators/bitwise_not_uint.sol | 4 ++-- .../operators/bitwise_or_int.sol | 4 ++-- .../operators/bitwise_or_uint.sol | 4 ++-- .../operators/bitwise_rational_1.sol | 2 +- .../operators/bitwise_rational_2.sol | 2 +- .../operators/bitwise_xor_int.sol | 4 ++-- .../operators/bitwise_xor_uint.sol | 4 ++-- .../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_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/conditional_assignment_1.sol | 2 +- .../operators/conditional_assignment_2.sol | 2 +- .../operators/conditional_assignment_3.sol | 2 +- .../operators/conditional_assignment_5.sol | 2 +- .../conditional_assignment_always_true.sol | 2 +- .../conditional_assignment_function_1.sol | 2 +- .../conditional_assignment_function_2.sol | 2 +- .../conditional_assignment_nested_unsafe.sol | 2 +- .../operators/delete_array_index_2d.sol | 2 +- .../operators/delete_multid_array.sol | 4 ++-- .../smtCheckerTests/operators/division_1.sol | 2 +- .../smtCheckerTests/operators/division_3.sol | 2 +- .../operators/fixed_point_add.sol | 2 +- .../operators/index_access_side_effect.sol | 2 +- .../smtCheckerTests/operators/unary_add.sol | 2 +- .../operators/unary_add_array.sol | 2 +- .../operators/unary_add_mapping.sol | 2 +- .../operators/unary_operators_tuple_3.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/signed_div_overflow.sol | 4 ++-- .../overflow/signed_guard_sub_overflow.sol | 2 +- .../overflow/signed_guard_sum_overflow.sol | 4 ++-- .../overflow/signed_mod_overflow.sol | 2 +- .../overflow/signed_mul_overflow.sol | 4 ++-- .../overflow/signed_sub_overflow.sol | 4 ++-- .../overflow/signed_sum_overflow.sol | 4 ++-- .../overflow/simple_overflow.sol | 2 +- .../overflow/underflow_sub.sol | 4 ++-- .../overflow/underflow_sub_signed.sol | 6 ++--- .../overflow/unsigned_div_overflow.sol | 2 +- .../overflow/unsigned_mod_overflow.sol | 2 +- .../overflow/unsigned_mul_overflow.sol | 2 +- .../overflow/unsigned_sub_overflow.sol | 2 +- .../overflow/unsigned_sum_overflow.sol | 2 +- .../abi_decode_memory_v2_value_types.sol | 2 +- .../special/abi_decode_simple.sol | 4 ++-- .../smtCheckerTests/special/blockhash.sol | 6 ++--- .../smtCheckerTests/special/difficulty.sol | 2 +- .../smtCheckerTests/special/gasleft.sol | 4 ++-- .../smtCheckerTests/special/many.sol | 18 +++++++------- .../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 | 4 ++-- ...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 | 2 +- .../types/address_transfer.sol | 4 ++-- .../types/address_transfer_2.sol | 6 ++--- .../types/address_transfer_insufficient.sol | 6 ++--- .../types/array_aliasing_memory_1.sol | 2 +- .../types/array_aliasing_memory_2.sol | 2 +- .../types/array_aliasing_memory_3.sol | 2 +- .../types/array_aliasing_storage_2.sol | 2 +- .../types/array_aliasing_storage_3.sol | 4 ++-- .../types/array_aliasing_storage_4.sol | 4 ++-- .../types/array_aliasing_storage_5.sol | 4 ++-- .../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 +- .../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_storage_eq.sol | 2 +- .../smtCheckerTests/types/fixed_bytes_1.sol | 4 ++-- .../smtCheckerTests/types/fixed_bytes_2.sol | 2 +- .../types/fixed_bytes_access_2.sol | 2 +- .../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_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 | 4 ++-- ...rray_struct_array_struct_memory_unsafe.sol | 10 ++++---- .../types/struct/struct_aliasing_memory.sol | 6 ++--- .../types/struct/struct_aliasing_storage.sol | 6 ++--- ...uct_array_struct_array_memory_unsafe_1.sol | 10 ++++---- ...uct_array_struct_array_memory_unsafe_2.sol | 10 ++++---- ...ct_array_struct_array_storage_unsafe_1.sol | 8 +++---- .../types/struct/struct_delete_memory.sol | 4 ++-- .../types/struct/struct_delete_storage.sol | 4 ++-- .../types/struct/struct_mapping.sol | 2 +- .../types/struct/struct_recursive_1.sol | 4 ++-- .../types/struct/struct_recursive_2.sol | 6 ++--- .../types/struct/struct_recursive_3.sol | 10 ++++---- .../types/struct/struct_recursive_4.sol | 6 ++--- .../types/struct/struct_recursive_5.sol | 2 +- .../types/struct/struct_recursive_6.sol | 24 +++++++++---------- .../struct/struct_recursive_indirect_1.sol | 4 ++-- .../struct/struct_recursive_indirect_2.sol | 2 +- .../types/struct/struct_return.sol | 2 +- .../struct/struct_state_var_array_pop_1.sol | 4 ++-- .../struct/struct_state_var_array_pop_2.sol | 2 +- .../types/struct/struct_unary_add.sol | 2 +- .../types/struct/struct_unary_sub.sol | 2 +- .../types/tuple_array_pop_1.sol | 2 +- .../types/tuple_array_pop_2.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 +- .../tuple_different_count_assignment_1.sol | 2 +- .../tuple_different_count_assignment_2.sol | 2 +- .../smtCheckerTests/types/tuple_function.sol | 4 ++-- .../types/tuple_function_2.sol | 2 +- .../types/tuple_function_3.sol | 4 ++-- .../verification_target/simple_assert.sol | 2 +- 334 files changed, 547 insertions(+), 550 deletions(-) diff --git a/libsolidity/formal/BMC.cpp b/libsolidity/formal/BMC.cpp index a47ca647f..a681c1c10 100644 --- a/libsolidity/formal/BMC.cpp +++ b/libsolidity/formal/BMC.cpp @@ -836,11 +836,11 @@ void BMC::checkCondition( case smtutil::CheckResult::SATISFIABLE: { std::ostringstream message; - message << _description << " happens here"; + message << _description << " happens here."; if (_callStack.size()) { std::ostringstream modelMessage; - modelMessage << " for:\n"; + modelMessage << "\nCounterexample:\n"; solAssert(values.size() == expressionNames.size(), ""); map sortedModel; for (size_t i = 0; i < values.size(); ++i) @@ -859,10 +859,7 @@ void BMC::checkCondition( ); } else - { - message << "."; m_errorReporter.warning(6084_error, _location, message.str(), secondaryLocation); - } break; } case smtutil::CheckResult::UNSATISFIABLE: diff --git a/libsolidity/formal/CHC.cpp b/libsolidity/formal/CHC.cpp index f6a3b5aae..fb63c4536 100644 --- a/libsolidity/formal/CHC.cpp +++ b/libsolidity/formal/CHC.cpp @@ -1251,7 +1251,7 @@ void CHC::checkVerificationTargets() if (target.type == VerificationTarget::Type::PopEmptyArray) { solAssert(dynamic_cast(scope), ""); - satMsg = "Empty array \"pop\" detected here"; + satMsg = "Empty array \"pop\" detected here."; unknownMsg = "Empty array \"pop\" might happen here."; errorReporterId = 2529_error; } @@ -1267,8 +1267,8 @@ void CHC::checkVerificationTargets() if (!intType) intType = TypeProvider::uint256(); - satMsgUnderflow = "Underflow (resulting value less than " + formatNumberReadable(intType->minValue()) + ") happens here"; - satMsgOverflow = "Overflow (resulting value larger than " + formatNumberReadable(intType->maxValue()) + ") happens here"; + satMsgUnderflow = "Underflow (resulting value less than " + formatNumberReadable(intType->minValue()) + ") happens here."; + satMsgOverflow = "Overflow (resulting value larger than " + formatNumberReadable(intType->maxValue()) + ") happens here."; if (target.type == VerificationTarget::Type::Underflow) { satMsg = satMsgUnderflow; @@ -1314,7 +1314,7 @@ void CHC::checkAssertTarget(ASTNode const* _scope, CHCVerificationTarget const& solAssert(it != m_errorIds.end(), ""); unsigned errorId = it->second; - checkAndReportTarget(assertion, _target, errorId, 6328_error, "Assertion violation happens here"); + checkAndReportTarget(assertion, _target, errorId, 6328_error, "Assertion violation happens here."); } } @@ -1345,13 +1345,13 @@ void CHC::checkAndReportTarget( _errorReporterId, _scope->location(), _satMsg, - SecondarySourceLocation().append(" for:\n" + *cex, SourceLocation{}) + SecondarySourceLocation().append("\nCounterexample:\n" + *cex, SourceLocation{}) ); else m_outerErrorReporter.warning( _errorReporterId, _scope->location(), - _satMsg + "." + _satMsg ); } else if (!_unknownMsg.empty()) diff --git a/test/libsolidity/smtCheckerTests/array_members/array_pop_length_1.sol b/test/libsolidity/smtCheckerTests/array_members/array_pop_length_1.sol index 28d671780..4cc8ac01d 100644 --- a/test/libsolidity/smtCheckerTests/array_members/array_pop_length_1.sol +++ b/test/libsolidity/smtCheckerTests/array_members/array_pop_length_1.sol @@ -8,4 +8,4 @@ contract C { } } // ---- -// Warning 2529: (82-89): Empty array "pop" detected here +// Warning 2529: (82-89): Empty array "pop" detected here. diff --git a/test/libsolidity/smtCheckerTests/array_members/array_pop_length_2.sol b/test/libsolidity/smtCheckerTests/array_members/array_pop_length_2.sol index 5567afa87..fc1f02b0c 100644 --- a/test/libsolidity/smtCheckerTests/array_members/array_pop_length_2.sol +++ b/test/libsolidity/smtCheckerTests/array_members/array_pop_length_2.sol @@ -8,4 +8,4 @@ contract C { } } // ---- -// Warning 2529: (82-89): Empty array "pop" detected here +// Warning 2529: (82-89): Empty array "pop" detected here. diff --git a/test/libsolidity/smtCheckerTests/array_members/array_pop_length_3.sol b/test/libsolidity/smtCheckerTests/array_members/array_pop_length_3.sol index 0cbb15ea0..c58e5c42f 100644 --- a/test/libsolidity/smtCheckerTests/array_members/array_pop_length_3.sol +++ b/test/libsolidity/smtCheckerTests/array_members/array_pop_length_3.sol @@ -8,5 +8,5 @@ contract C { } } // ---- -// Warning 2529: (82-89): Empty array "pop" detected here -// Warning 2529: (93-100): Empty array "pop" detected here +// Warning 2529: (82-89): Empty array "pop" detected here. +// Warning 2529: (93-100): Empty array "pop" detected here. diff --git a/test/libsolidity/smtCheckerTests/array_members/array_pop_length_4.sol b/test/libsolidity/smtCheckerTests/array_members/array_pop_length_4.sol index 241d02c79..add041ced 100644 --- a/test/libsolidity/smtCheckerTests/array_members/array_pop_length_4.sol +++ b/test/libsolidity/smtCheckerTests/array_members/array_pop_length_4.sol @@ -8,4 +8,4 @@ contract C { } } // ---- -// Warning 2529: (94-101): Empty array "pop" detected here +// Warning 2529: (94-101): Empty array "pop" detected here. diff --git a/test/libsolidity/smtCheckerTests/array_members/array_pop_length_5.sol b/test/libsolidity/smtCheckerTests/array_members/array_pop_length_5.sol index 6a05d3af8..0dd257e1a 100644 --- a/test/libsolidity/smtCheckerTests/array_members/array_pop_length_5.sol +++ b/test/libsolidity/smtCheckerTests/array_members/array_pop_length_5.sol @@ -11,4 +11,4 @@ contract C { } } // ---- -// Warning 2529: (122-129): Empty array "pop" detected here +// Warning 2529: (122-129): Empty array "pop" detected here. diff --git a/test/libsolidity/smtCheckerTests/array_members/array_pop_length_6.sol b/test/libsolidity/smtCheckerTests/array_members/array_pop_length_6.sol index 40e081d30..149612613 100644 --- a/test/libsolidity/smtCheckerTests/array_members/array_pop_length_6.sol +++ b/test/libsolidity/smtCheckerTests/array_members/array_pop_length_6.sol @@ -11,4 +11,4 @@ contract C { } } // ---- -// Warning 2529: (127-134): Empty array "pop" detected here +// Warning 2529: (127-134): Empty array "pop" detected here. diff --git a/test/libsolidity/smtCheckerTests/array_members/array_pop_length_8.sol b/test/libsolidity/smtCheckerTests/array_members/array_pop_length_8.sol index 517755aca..00800bd1a 100644 --- a/test/libsolidity/smtCheckerTests/array_members/array_pop_length_8.sol +++ b/test/libsolidity/smtCheckerTests/array_members/array_pop_length_8.sol @@ -13,4 +13,4 @@ contract C { } } // ---- -// Warning 2529: (82-89): Empty array "pop" detected here +// Warning 2529: (82-89): Empty array "pop" detected here. diff --git a/test/libsolidity/smtCheckerTests/array_members/length_basic.sol b/test/libsolidity/smtCheckerTests/array_members/length_basic.sol index b5f4a07d3..5bbef1537 100644 --- a/test/libsolidity/smtCheckerTests/array_members/length_basic.sol +++ b/test/libsolidity/smtCheckerTests/array_members/length_basic.sol @@ -10,4 +10,4 @@ contract C { } } // ---- -// Warning 6328: (153-176): Assertion violation happens here +// Warning 6328: (153-176): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/array_members/length_same_after_assignment_2_fail.sol b/test/libsolidity/smtCheckerTests/array_members/length_same_after_assignment_2_fail.sol index 741ecff3d..ac92d92ed 100644 --- a/test/libsolidity/smtCheckerTests/array_members/length_same_after_assignment_2_fail.sol +++ b/test/libsolidity/smtCheckerTests/array_members/length_same_after_assignment_2_fail.sol @@ -14,6 +14,6 @@ contract C { } } // ---- -// Warning 6328: (198-224): Assertion violation happens here -// Warning 6328: (228-254): Assertion violation happens here -// Warning 6328: (258-281): Assertion violation happens here +// Warning 6328: (198-224): Assertion violation happens here. +// Warning 6328: (228-254): Assertion violation happens here. +// Warning 6328: (258-281): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/array_members/length_same_after_assignment_3_fail.sol b/test/libsolidity/smtCheckerTests/array_members/length_same_after_assignment_3_fail.sol index eff6b2fbd..b9d377959 100644 --- a/test/libsolidity/smtCheckerTests/array_members/length_same_after_assignment_3_fail.sol +++ b/test/libsolidity/smtCheckerTests/array_members/length_same_after_assignment_3_fail.sol @@ -16,7 +16,7 @@ contract C { } } // ---- -// Warning 6328: (222-248): Assertion violation happens here -// Warning 6328: (252-278): Assertion violation happens here -// Warning 6328: (282-305): Assertion violation happens here -// Warning 6328: (309-335): Assertion violation happens here +// Warning 6328: (222-248): Assertion violation happens here. +// Warning 6328: (252-278): Assertion violation happens here. +// Warning 6328: (282-305): Assertion violation happens here. +// Warning 6328: (309-335): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/array_members/pop_1_unsafe.sol b/test/libsolidity/smtCheckerTests/array_members/pop_1_unsafe.sol index 75e51df74..eb752828a 100644 --- a/test/libsolidity/smtCheckerTests/array_members/pop_1_unsafe.sol +++ b/test/libsolidity/smtCheckerTests/array_members/pop_1_unsafe.sol @@ -7,4 +7,4 @@ contract C { } } // ---- -// Warning 2529: (82-89): Empty array "pop" detected here +// Warning 2529: (82-89): Empty array "pop" detected here. diff --git a/test/libsolidity/smtCheckerTests/array_members/pop_2d_unsafe.sol b/test/libsolidity/smtCheckerTests/array_members/pop_2d_unsafe.sol index 5d4bd3a97..2795dfe51 100644 --- a/test/libsolidity/smtCheckerTests/array_members/pop_2d_unsafe.sol +++ b/test/libsolidity/smtCheckerTests/array_members/pop_2d_unsafe.sol @@ -9,4 +9,4 @@ contract C { } } // ---- -// Warning 2529: (111-121): Empty array "pop" detected here +// Warning 2529: (111-121): Empty array "pop" detected here. diff --git a/test/libsolidity/smtCheckerTests/array_members/pop_constructor_unsafe.sol b/test/libsolidity/smtCheckerTests/array_members/pop_constructor_unsafe.sol index bb9d37c0f..d7fc43fc4 100644 --- a/test/libsolidity/smtCheckerTests/array_members/pop_constructor_unsafe.sol +++ b/test/libsolidity/smtCheckerTests/array_members/pop_constructor_unsafe.sol @@ -7,4 +7,4 @@ contract C { } } // ---- -// Warning 2529: (76-83): Empty array "pop" detected here +// Warning 2529: (76-83): Empty array "pop" detected here. diff --git a/test/libsolidity/smtCheckerTests/array_members/pop_loop_unsafe.sol b/test/libsolidity/smtCheckerTests/array_members/pop_loop_unsafe.sol index ed1f8fc65..1564a2328 100644 --- a/test/libsolidity/smtCheckerTests/array_members/pop_loop_unsafe.sol +++ b/test/libsolidity/smtCheckerTests/array_members/pop_loop_unsafe.sol @@ -11,4 +11,4 @@ contract C { } } // ---- -// Warning 2529: (150-157): Empty array "pop" detected here +// Warning 2529: (150-157): Empty array "pop" detected here. diff --git a/test/libsolidity/smtCheckerTests/array_members/push_2d_arg_1_unsafe.sol b/test/libsolidity/smtCheckerTests/array_members/push_2d_arg_1_unsafe.sol index 866cfe1eb..d233442b1 100644 --- a/test/libsolidity/smtCheckerTests/array_members/push_2d_arg_1_unsafe.sol +++ b/test/libsolidity/smtCheckerTests/array_members/push_2d_arg_1_unsafe.sol @@ -10,5 +10,5 @@ contract C { } } // ---- -// Warning 3944: (162-177): Underflow (resulting value less than 0) happens here -// Warning 6328: (150-184): Assertion violation happens here +// Warning 3944: (162-177): Underflow (resulting value less than 0) happens here. +// Warning 6328: (150-184): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/array_members/push_push_no_args_1_fail.sol b/test/libsolidity/smtCheckerTests/array_members/push_push_no_args_1_fail.sol index 7827950d1..51c667f91 100644 --- a/test/libsolidity/smtCheckerTests/array_members/push_push_no_args_1_fail.sol +++ b/test/libsolidity/smtCheckerTests/array_members/push_push_no_args_1_fail.sol @@ -8,5 +8,5 @@ contract C { } } // ---- -// Warning 6328: (113-139): Assertion violation happens here -// Warning 6328: (143-189): Assertion violation happens here +// Warning 6328: (113-139): Assertion violation happens here. +// Warning 6328: (143-189): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/array_members/push_push_no_args_2_fail.sol b/test/libsolidity/smtCheckerTests/array_members/push_push_no_args_2_fail.sol index cfcbbfa68..7dd521560 100644 --- a/test/libsolidity/smtCheckerTests/array_members/push_push_no_args_2_fail.sol +++ b/test/libsolidity/smtCheckerTests/array_members/push_push_no_args_2_fail.sol @@ -10,6 +10,6 @@ contract C { } } // ---- -// Warning 6328: (122-148): Assertion violation happens here -// Warning 6328: (202-218): Assertion violation happens here -// Warning 6328: (222-278): Assertion violation happens here +// Warning 6328: (122-148): Assertion violation happens here. +// Warning 6328: (202-218): Assertion violation happens here. +// Warning 6328: (222-278): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/array_members/push_storage_ref_safe_aliasing.sol b/test/libsolidity/smtCheckerTests/array_members/push_storage_ref_safe_aliasing.sol index 5fa9ef7d9..e99bd96db 100644 --- a/test/libsolidity/smtCheckerTests/array_members/push_storage_ref_safe_aliasing.sol +++ b/test/libsolidity/smtCheckerTests/array_members/push_storage_ref_safe_aliasing.sol @@ -12,5 +12,5 @@ contract C { } } // ---- -// Warning 3944: (217-232): Underflow (resulting value less than 0) happens here -// Warning 6328: (205-239): Assertion violation happens here +// Warning 3944: (217-232): Underflow (resulting value less than 0) happens here. +// Warning 6328: (205-239): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/array_members/push_storage_ref_unsafe_aliasing.sol b/test/libsolidity/smtCheckerTests/array_members/push_storage_ref_unsafe_aliasing.sol index 89d89c108..7c21d52b4 100644 --- a/test/libsolidity/smtCheckerTests/array_members/push_storage_ref_unsafe_aliasing.sol +++ b/test/libsolidity/smtCheckerTests/array_members/push_storage_ref_unsafe_aliasing.sol @@ -12,4 +12,4 @@ contract C { } } // ---- -// Warning 6328: (167-188): Assertion violation happens here +// Warning 6328: (167-188): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/array_members/push_storage_ref_unsafe_length.sol b/test/libsolidity/smtCheckerTests/array_members/push_storage_ref_unsafe_length.sol index 61bdb3d5a..773e44872 100644 --- a/test/libsolidity/smtCheckerTests/array_members/push_storage_ref_unsafe_length.sol +++ b/test/libsolidity/smtCheckerTests/array_members/push_storage_ref_unsafe_length.sol @@ -18,6 +18,6 @@ contract C { } } // ---- -// Warning 6328: (193-217): Assertion violation happens here -// Warning 6328: (309-333): Assertion violation happens here -// Warning 6328: (419-436): Assertion violation happens here +// Warning 6328: (193-217): Assertion violation happens here. +// Warning 6328: (309-333): Assertion violation happens here. +// Warning 6328: (419-436): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/array_members/push_zero_2d_unsafe.sol b/test/libsolidity/smtCheckerTests/array_members/push_zero_2d_unsafe.sol index ac278a22a..81ce55ff4 100644 --- a/test/libsolidity/smtCheckerTests/array_members/push_zero_2d_unsafe.sol +++ b/test/libsolidity/smtCheckerTests/array_members/push_zero_2d_unsafe.sol @@ -9,4 +9,4 @@ contract C { } } // ---- -// Warning 6328: (111-144): Assertion violation happens here +// Warning 6328: (111-144): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/array_members/push_zero_unsafe.sol b/test/libsolidity/smtCheckerTests/array_members/push_zero_unsafe.sol index 504d5a95c..7cc664dda 100644 --- a/test/libsolidity/smtCheckerTests/array_members/push_zero_unsafe.sol +++ b/test/libsolidity/smtCheckerTests/array_members/push_zero_unsafe.sol @@ -8,4 +8,4 @@ contract C { } } // ---- -// Warning 6328: (94-124): Assertion violation happens here +// Warning 6328: (94-124): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/array_members/storage_pointer_push_1.sol b/test/libsolidity/smtCheckerTests/array_members/storage_pointer_push_1.sol index 721c4a8ba..a74c382b3 100644 --- a/test/libsolidity/smtCheckerTests/array_members/storage_pointer_push_1.sol +++ b/test/libsolidity/smtCheckerTests/array_members/storage_pointer_push_1.sol @@ -15,4 +15,4 @@ contract C { } } // ---- -// Warning 6328: (184-213): Assertion violation happens here +// Warning 6328: (184-213): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/complex/slither/const_state_variables.sol b/test/libsolidity/smtCheckerTests/complex/slither/const_state_variables.sol index 4e92b34eb..a0d60eaef 100644 --- a/test/libsolidity/smtCheckerTests/complex/slither/const_state_variables.sol +++ b/test/libsolidity/smtCheckerTests/complex/slither/const_state_variables.sol @@ -53,4 +53,4 @@ contract MyConc{ // ---- // Warning 2519: (773-792): This declaration shadows an existing declaration. // Warning 2018: (1009-1086): Function state mutability can be restricted to view -// Warning 4984: (985-1002): Overflow (resulting value larger than 2**256 - 1) happens here +// Warning 4984: (985-1002): 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 650bce10a..ba28729f5 100644 --- a/test/libsolidity/smtCheckerTests/control_flow/short_circuit_and_fail.sol +++ b/test/libsolidity/smtCheckerTests/control_flow/short_circuit_and_fail.sol @@ -15,4 +15,4 @@ contract c { } } // ---- -// Warning 6328: (227-236): Assertion violation happens here +// Warning 6328: (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 77e2f247f..b4f005237 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 @@ -17,5 +17,5 @@ contract c { } } // ---- -// Warning 6328: (202-218): Assertion violation happens here -// Warning 6328: (242-252): Assertion violation happens here +// Warning 6328: (202-218): Assertion violation happens here. +// Warning 6328: (242-252): Assertion violation 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 bc9c800af..3d1c99a0f 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,4 +15,4 @@ contract c { } } // ---- -// Warning 6328: (225-235): Assertion violation happens here +// Warning 6328: (225-235): Assertion violation 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 6640e399c..0fe58550d 100644 --- a/test/libsolidity/smtCheckerTests/control_flow/short_circuit_or_fail.sol +++ b/test/libsolidity/smtCheckerTests/control_flow/short_circuit_or_fail.sol @@ -15,4 +15,4 @@ contract c { } } // ---- -// Warning 6328: (225-235): Assertion violation happens here +// Warning 6328: (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 77ec37ebd..e3e268633 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,4 +24,4 @@ contract c { } } // ---- -// Warning 6328: (360-370): Assertion violation happens here +// Warning 6328: (360-370): Assertion violation 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 6615651fd..d39baf1b8 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,4 +15,4 @@ contract c { } } // ---- -// Warning 6328: (225-235): Assertion violation happens here +// Warning 6328: (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 37adaa0d3..1cb5c4dad 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 6328: (159-173): Assertion violation happens here +// Warning 6328: (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 44124a100..27cfcf989 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 6328: (159-173): Assertion violation happens here +// Warning 6328: (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 2369aa5a9..0b5407709 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 6328: (161-175): Assertion violation happens here +// Warning 6328: (161-175): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/external_calls/external.sol b/test/libsolidity/smtCheckerTests/external_calls/external.sol index 7e14fa927..a9774d6ab 100644 --- a/test/libsolidity/smtCheckerTests/external_calls/external.sol +++ b/test/libsolidity/smtCheckerTests/external_calls/external.sol @@ -17,4 +17,4 @@ contract C { } } // ---- -// Warning 6328: (200-214): Assertion violation happens here +// Warning 6328: (200-214): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/external_calls/external_hash.sol b/test/libsolidity/smtCheckerTests/external_calls/external_hash.sol index 322af8129..74d352619 100644 --- a/test/libsolidity/smtCheckerTests/external_calls/external_hash.sol +++ b/test/libsolidity/smtCheckerTests/external_calls/external_hash.sol @@ -26,4 +26,4 @@ contract C { } } // ---- -// Warning 6328: (423-445): Assertion violation happens here +// Warning 6328: (423-445): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_pure.sol b/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_pure.sol index 510950f41..4cd23898c 100644 --- a/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_pure.sol +++ b/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_pure.sol @@ -28,4 +28,4 @@ contract C { } } // ---- -// Warning 6328: (431-453): Assertion violation happens here +// Warning 6328: (431-453): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state.sol b/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state.sol index cd24a87fd..2ed28acfe 100644 --- a/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state.sol +++ b/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state.sol @@ -34,5 +34,5 @@ contract C { } } // ---- -// Warning 6328: (528-565): Assertion violation happens here +// Warning 6328: (528-565): Assertion violation happens here. // Warning 5084: (544-554): Type conversion is not yet fully supported and might yield false positives. diff --git a/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state_reentrancy.sol b/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state_reentrancy.sol index fd2198fe5..7a0aab951 100644 --- a/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state_reentrancy.sol +++ b/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state_reentrancy.sol @@ -29,4 +29,4 @@ contract C { } } // ---- -// Warning 6328: (299-313): Assertion violation happens here +// Warning 6328: (299-313): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state_reentrancy_indirect.sol b/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state_reentrancy_indirect.sol index 698a6c647..e4e32f894 100644 --- a/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state_reentrancy_indirect.sol +++ b/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state_reentrancy_indirect.sol @@ -42,6 +42,6 @@ contract C { } } // ---- -// Warning 6328: (452-466): Assertion violation happens here -// Warning 6328: (470-496): Assertion violation happens here +// Warning 6328: (452-466): Assertion violation happens here. +// Warning 6328: (470-496): Assertion violation happens here. // Warning 5084: (92-102): Type conversion is not yet fully supported and might yield false positives. diff --git a/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state_reentrancy_unsafe.sol b/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state_reentrancy_unsafe.sol index 74c71e398..92ecdccc5 100644 --- a/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state_reentrancy_unsafe.sol +++ b/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state_reentrancy_unsafe.sol @@ -34,6 +34,6 @@ contract C { } } // ---- -// Warning 6328: (381-395): Assertion violation happens here -// Warning 6328: (399-425): Assertion violation happens here +// Warning 6328: (381-395): Assertion violation happens here. +// Warning 6328: (399-425): Assertion violation happens here. // Warning 5084: (116-126): Type conversion is not yet fully supported and might yield false positives. diff --git a/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state_unsafe.sol b/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state_unsafe.sol index c37614fd6..580ae471b 100644 --- a/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state_unsafe.sol +++ b/test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state_unsafe.sol @@ -38,6 +38,6 @@ contract C { } } // ---- -// Warning 6328: (435-461): Assertion violation happens here -// Warning 6328: (594-631): Assertion violation happens here +// Warning 6328: (435-461): Assertion violation happens here. +// Warning 6328: (594-631): Assertion violation happens here. // Warning 5084: (610-620): Type conversion is not yet fully supported and might yield false positives. diff --git a/test/libsolidity/smtCheckerTests/external_calls/external_inc.sol b/test/libsolidity/smtCheckerTests/external_calls/external_inc.sol index 38b588463..d22c56acf 100644 --- a/test/libsolidity/smtCheckerTests/external_calls/external_inc.sol +++ b/test/libsolidity/smtCheckerTests/external_calls/external_inc.sol @@ -18,5 +18,5 @@ contract C { } } // ---- -// Warning 6328: (189-203): Assertion violation happens here -// Warning 2661: (146-149): Overflow (resulting value larger than 2**256 - 1) happens here +// Warning 6328: (189-203): Assertion violation happens here. +// Warning 2661: (146-149): Overflow (resulting value larger than 2**256 - 1) happens here. diff --git a/test/libsolidity/smtCheckerTests/external_calls/external_inc1_inc2.sol b/test/libsolidity/smtCheckerTests/external_calls/external_inc1_inc2.sol index e96f8b279..5af87ecb0 100644 --- a/test/libsolidity/smtCheckerTests/external_calls/external_inc1_inc2.sol +++ b/test/libsolidity/smtCheckerTests/external_calls/external_inc1_inc2.sol @@ -25,4 +25,4 @@ contract C { } } // ---- -// Warning 6328: (286-303): Assertion violation happens here +// Warning 6328: (286-303): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/external_calls/external_single_inc.sol b/test/libsolidity/smtCheckerTests/external_calls/external_single_inc.sol index a6e4917cc..0d78a6697 100644 --- a/test/libsolidity/smtCheckerTests/external_calls/external_single_inc.sol +++ b/test/libsolidity/smtCheckerTests/external_calls/external_single_inc.sol @@ -23,4 +23,4 @@ contract C { } } // ---- -// Warning 6328: (256-273): Assertion violation happens here +// Warning 6328: (256-273): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/external_calls/mutex_f_no_guard.sol b/test/libsolidity/smtCheckerTests/external_calls/mutex_f_no_guard.sol index 22e9d53f3..e9ce6a226 100644 --- a/test/libsolidity/smtCheckerTests/external_calls/mutex_f_no_guard.sol +++ b/test/libsolidity/smtCheckerTests/external_calls/mutex_f_no_guard.sol @@ -27,4 +27,4 @@ contract C { } } // ---- -// Warning 6328: (307-321): Assertion violation happens here +// Warning 6328: (307-321): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy.sol b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy.sol index f2d408cd6..64167ebd8 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 6328: (152-166): Assertion violation happens here +// Warning 6328: (152-166): 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 88c7722e4..2dbdf2e04 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) { assert(a == 2); } } contract B is C { constructor() C(3) { assert(a == 3); } } contract J is C { constructor() C(3) { assert(a == 4); } } // ---- -// Warning 6328: (243-257): Assertion violation happens here +// Warning 6328: (243-257): 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 789b98368..b1cf976bf 100644 --- a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_3.sol +++ b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_3.sol @@ -19,6 +19,6 @@ contract A is B { } } // ---- -// Warning 4984: (203-208): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 4984: (244-249): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 6328: (232-250): Assertion violation happens here +// Warning 4984: (203-208): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 4984: (244-249): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 6328: (232-250): 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 6e8c4fe95..c533b96a4 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 4984: (198-203): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 4984: (207-212): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 4984: (230-235): Overflow (resulting value larger than 2**256 - 1) happens here +// Warning 4984: (198-203): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 4984: (207-212): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 4984: (230-235): 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 e5c8d5b38..61890d78f 100644 --- a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_diamond.sol +++ b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_diamond.sol @@ -25,6 +25,6 @@ contract A is B2, B1 { } } // ---- -// Warning 4984: (200-205): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 4984: (314-319): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 6328: (302-320): Assertion violation happens here +// Warning 4984: (200-205): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 4984: (314-319): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 6328: (302-320): 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 b09b836ec..66b8c9ba0 100644 --- a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_diamond_2.sol +++ b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_diamond_2.sol @@ -25,6 +25,6 @@ contract A is B2, B1 { } } // ---- -// Warning 4984: (200-205): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 4984: (314-319): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 6328: (302-320): Assertion violation happens here +// Warning 4984: (200-205): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 4984: (314-319): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 6328: (302-320): 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 f6bfc6d94..d5fecc6a9 100644 --- a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_diamond_3.sol +++ b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_diamond_3.sol @@ -27,7 +27,7 @@ contract A is B2, B1 { } } // ---- -// Warning 4984: (160-165): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 4984: (225-230): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 4984: (241-246): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 6328: (334-350): Assertion violation happens here +// Warning 4984: (160-165): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 4984: (225-230): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 4984: (241-246): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 6328: (334-350): 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 64f0482f8..f68d0b083 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 5667: (164-170): Unused function parameter. Remove or comment out the variable name to silence this warning. -// Warning 6328: (194-208): Assertion violation happens here +// Warning 6328: (194-208): 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 d694b191a..2a1e5dd1b 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 5667: (194-200): Unused function parameter. Remove or comment out the variable name to silence this warning. -// Warning 6328: (224-238): Assertion violation happens here +// Warning 6328: (224-238): 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 c89cad884..868eb56d1 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 5667: (138-144): Unused function parameter. Remove or comment out the variable name to silence this warning. -// Warning 6328: (172-186): Assertion violation happens here +// Warning 6328: (172-186): 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 a5ac97344..1ab1ce91a 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 5667: (138-144): Unused function parameter. Remove or comment out the variable name to silence this warning. -// Warning 6328: (150-164): Assertion violation happens here +// Warning 6328: (150-164): 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 a5962165a..5f9d3b23b 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 5667: (254-260): Unused function parameter. Remove or comment out the variable name to silence this warning. -// Warning 6328: (284-298): Assertion violation happens here +// Warning 6328: (284-298): 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 72f849db3..9ddb71dcb 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 5667: (296-302): Unused function parameter. Remove or comment out the variable name to silence this warning. -// Warning 6328: (357-372): Assertion violation happens here +// Warning 6328: (357-372): 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 92e53f40c..407055390 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 4984: (247-252): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 6328: (328-342): Assertion violation happens here +// Warning 4984: (247-252): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 6328: (328-342): 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 685be3b96..7a444f12b 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,4 +23,4 @@ contract B is C { contract A is B { } // ---- -// Warning 6328: (266-280): Assertion violation happens here +// Warning 6328: (266-280): 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 8a67b7a8b..73479118b 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 6328: (188-202): Assertion violation happens here +// Warning 6328: (188-202): 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 f91439b77..44485dd95 100644 --- a/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_same_var.sol +++ b/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_same_var.sol @@ -13,5 +13,5 @@ contract A is C { } } // ---- -// Warning 6328: (134-148): Assertion violation happens here -// Warning 6328: (152-168): Assertion violation happens here +// Warning 6328: (134-148): Assertion violation happens here. +// Warning 6328: (152-168): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/functions/constructor_simple.sol b/test/libsolidity/smtCheckerTests/functions/constructor_simple.sol index 79fbb2714..caa5fd56d 100644 --- a/test/libsolidity/smtCheckerTests/functions/constructor_simple.sol +++ b/test/libsolidity/smtCheckerTests/functions/constructor_simple.sol @@ -13,4 +13,4 @@ contract C { } } // ---- -// Warning 6328: (141-155): Assertion violation happens here +// Warning 6328: (141-155): 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 e674dc70d..efcc836c1 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 6328: (145-159): Assertion violation happens here +// Warning 6328: (145-159): 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 e3b765264..17cb27728 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 6328: (165-179): Assertion violation happens here +// Warning 6328: (165-179): 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 6771f6a05..dafc8ba06 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 4984: (115-120): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 6328: (162-176): Assertion violation happens here +// Warning 4984: (115-120): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 6328: (162-176): Assertion violation 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 ba8b2638e..33cda2016 100644 --- a/test/libsolidity/smtCheckerTests/functions/function_call_state_var_init.sol +++ b/test/libsolidity/smtCheckerTests/functions/function_call_state_var_init.sol @@ -9,4 +9,4 @@ contract C { } } // ---- -// Warning 6328: (116-132): Assertion violation happens here +// Warning 6328: (116-132): 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 db3e7918c..40ea47451 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 6328: (209-223): Assertion violation happens here +// Warning 6328: (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 9a1aac540..f79779d6b 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 6328: (209-223): Assertion violation happens here -// Warning 6328: (321-335): Assertion violation happens here +// Warning 6328: (209-223): Assertion violation happens here. +// Warning 6328: (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 5c4d16cfd..0d94bd392 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 6328: (261-277): Assertion violation happens here +// Warning 6328: (261-277): 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 8da1b5e16..bc4694192 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 4661: (297-321): Assertion violation happens here +// Warning 4661: (297-321): 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 c75214b4f..4a89c4deb 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 6328: (191-206): Assertion violation happens here +// Warning 6328: (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 4931b8fec..535ead766 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 6328: (161-174): Assertion violation happens here +// Warning 6328: (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 29b422c7d..f2b784cb2 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 6328: (229-242): Assertion violation happens here +// Warning 6328: (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 87a027a9c..cf7941c64 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 6328: (163-176): Assertion violation happens here +// Warning 6328: (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 3c35898a2..b6ad5ddb1 100644 --- a/test/libsolidity/smtCheckerTests/functions/functions_library_1_fail.sol +++ b/test/libsolidity/smtCheckerTests/functions/functions_library_1_fail.sol @@ -17,5 +17,5 @@ contract C } } // ---- -// Warning 6328: (245-261): Assertion violation happens here +// Warning 6328: (245-261): Assertion violation happens here. // Warning 8364: (228-229): Assertion checker does not yet implement type type(library L) 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 93fa49176..dba289ceb 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 6328: (144-157): Assertion violation happens here +// Warning 6328: (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 5a7920122..318a5de11 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 6328: (152-165): Assertion violation happens here +// Warning 6328: (152-165): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/functions/internal_call_inheritance.sol b/test/libsolidity/smtCheckerTests/functions/internal_call_inheritance.sol index fe2e882a0..838e8a474 100644 --- a/test/libsolidity/smtCheckerTests/functions/internal_call_inheritance.sol +++ b/test/libsolidity/smtCheckerTests/functions/internal_call_inheritance.sol @@ -17,4 +17,4 @@ contract A is B { } } // ---- -// Warning 6328: (254-268): Assertion violation happens here +// Warning 6328: (254-268): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/functions/internal_call_inheritance_2.sol b/test/libsolidity/smtCheckerTests/functions/internal_call_inheritance_2.sol index c57fd1073..164c5d175 100644 --- a/test/libsolidity/smtCheckerTests/functions/internal_call_inheritance_2.sol +++ b/test/libsolidity/smtCheckerTests/functions/internal_call_inheritance_2.sol @@ -21,4 +21,4 @@ contract A is B { } } // ---- -// Warning 6328: (274-288): Assertion violation happens here +// Warning 6328: (274-288): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/functions/internal_call_with_assertion_1.sol b/test/libsolidity/smtCheckerTests/functions/internal_call_with_assertion_1.sol index 05d965aa3..d9aeb70a6 100644 --- a/test/libsolidity/smtCheckerTests/functions/internal_call_with_assertion_1.sol +++ b/test/libsolidity/smtCheckerTests/functions/internal_call_with_assertion_1.sol @@ -21,5 +21,5 @@ contract C{ } // ---- // Warning 5667: (70-76): Unused function parameter. Remove or comment out the variable name to silence this warning. -// Warning 2661: (156-159): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 4144: (238-241): Underflow (resulting value less than 0) happens here +// Warning 2661: (156-159): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 4144: (238-241): Underflow (resulting value less than 0) happens here. diff --git a/test/libsolidity/smtCheckerTests/functions/internal_call_with_assertion_1_fail.sol b/test/libsolidity/smtCheckerTests/functions/internal_call_with_assertion_1_fail.sol index 33fc53e4f..0d1c597f8 100644 --- a/test/libsolidity/smtCheckerTests/functions/internal_call_with_assertion_1_fail.sol +++ b/test/libsolidity/smtCheckerTests/functions/internal_call_with_assertion_1_fail.sol @@ -21,10 +21,10 @@ contract C{ } // ---- // Warning 5667: (70-76): Unused function parameter. Remove or comment out the variable name to silence this warning. -// Warning 6328: (138-152): Assertion violation happens here -// Warning 6328: (170-184): Assertion violation happens here -// Warning 6328: (220-234): Assertion violation happens here -// Warning 6328: (245-259): Assertion violation happens here -// Warning 6328: (82-96): Assertion violation happens here -// Warning 2661: (156-159): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 4144: (238-241): Underflow (resulting value less than 0) happens here +// Warning 6328: (138-152): Assertion violation happens here. +// Warning 6328: (170-184): Assertion violation happens here. +// Warning 6328: (220-234): Assertion violation happens here. +// Warning 6328: (245-259): Assertion violation happens here. +// Warning 6328: (82-96): Assertion violation happens here. +// Warning 2661: (156-159): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 4144: (238-241): Underflow (resulting value less than 0) happens here. diff --git a/test/libsolidity/smtCheckerTests/functions/internal_call_with_assertion_inheritance_1.sol b/test/libsolidity/smtCheckerTests/functions/internal_call_with_assertion_inheritance_1.sol index 067ce603b..5852c4f93 100644 --- a/test/libsolidity/smtCheckerTests/functions/internal_call_with_assertion_inheritance_1.sol +++ b/test/libsolidity/smtCheckerTests/functions/internal_call_with_assertion_inheritance_1.sol @@ -17,5 +17,5 @@ contract C is A { } } // ---- -// Warning 4144: (100-103): Underflow (resulting value less than 0) happens here -// Warning 4144: (100-103): Underflow (resulting value less than 0) happens here +// Warning 4144: (100-103): Underflow (resulting value less than 0) happens here. +// Warning 4144: (100-103): Underflow (resulting value less than 0) happens here. diff --git a/test/libsolidity/smtCheckerTests/functions/internal_call_with_assertion_inheritance_1_fail.sol b/test/libsolidity/smtCheckerTests/functions/internal_call_with_assertion_inheritance_1_fail.sol index d07c11465..5c68d6762 100644 --- a/test/libsolidity/smtCheckerTests/functions/internal_call_with_assertion_inheritance_1_fail.sol +++ b/test/libsolidity/smtCheckerTests/functions/internal_call_with_assertion_inheritance_1_fail.sol @@ -17,8 +17,8 @@ contract C is A { } } // ---- -// Warning 6328: (82-96): Assertion violation happens here -// Warning 6328: (148-162): Assertion violation happens here -// Warning 6328: (180-194): Assertion violation happens here -// Warning 4144: (100-103): Underflow (resulting value less than 0) happens here -// Warning 4144: (100-103): Underflow (resulting value less than 0) happens here +// Warning 6328: (82-96): Assertion violation happens here. +// Warning 6328: (148-162): Assertion violation happens here. +// Warning 6328: (180-194): Assertion violation happens here. +// Warning 4144: (100-103): Underflow (resulting value less than 0) happens here. +// Warning 4144: (100-103): Underflow (resulting value less than 0) happens here. diff --git a/test/libsolidity/smtCheckerTests/functions/internal_multiple_calls_with_assertion_1.sol b/test/libsolidity/smtCheckerTests/functions/internal_multiple_calls_with_assertion_1.sol index f8ec40ab7..2e7c78115 100644 --- a/test/libsolidity/smtCheckerTests/functions/internal_multiple_calls_with_assertion_1.sol +++ b/test/libsolidity/smtCheckerTests/functions/internal_multiple_calls_with_assertion_1.sol @@ -21,7 +21,7 @@ contract C{ } // ---- // Warning 5667: (70-76): Unused function parameter. Remove or comment out the variable name to silence this warning. -// Warning 2661: (156-159): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 2661: (163-166): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 2661: (234-237): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 4144: (234-237): Underflow (resulting value less than 0) happens here +// Warning 2661: (156-159): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 2661: (163-166): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 2661: (234-237): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 4144: (234-237): Underflow (resulting value less than 0) happens here. diff --git a/test/libsolidity/smtCheckerTests/functions/internal_multiple_calls_with_assertion_1_fail.sol b/test/libsolidity/smtCheckerTests/functions/internal_multiple_calls_with_assertion_1_fail.sol index 2c8647289..cc619dc0c 100644 --- a/test/libsolidity/smtCheckerTests/functions/internal_multiple_calls_with_assertion_1_fail.sol +++ b/test/libsolidity/smtCheckerTests/functions/internal_multiple_calls_with_assertion_1_fail.sol @@ -21,10 +21,10 @@ contract C{ } // ---- // Warning 5667: (70-76): Unused function parameter. Remove or comment out the variable name to silence this warning. -// Warning 6328: (138-152): Assertion violation happens here -// Warning 6328: (184-198): Assertion violation happens here -// Warning 6328: (82-96): Assertion violation happens here -// Warning 2661: (156-159): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 2661: (163-166): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 2661: (234-237): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 4144: (234-237): Underflow (resulting value less than 0) happens here +// Warning 6328: (138-152): Assertion violation happens here. +// Warning 6328: (184-198): Assertion violation happens here. +// Warning 6328: (82-96): Assertion violation happens here. +// Warning 2661: (156-159): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 2661: (163-166): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 2661: (234-237): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 4144: (234-237): Underflow (resulting value less than 0) happens here. diff --git a/test/libsolidity/smtCheckerTests/functions/library_constant.sol b/test/libsolidity/smtCheckerTests/functions/library_constant.sol index 2a72c5216..30dda5b2e 100644 --- a/test/libsolidity/smtCheckerTests/functions/library_constant.sol +++ b/test/libsolidity/smtCheckerTests/functions/library_constant.sol @@ -19,7 +19,7 @@ contract C { } } // ---- -// Warning 6328: (136-155): Assertion violation happens here -// Warning 4984: (229-234): Overflow (resulting value larger than 2**256 - 1) happens here +// Warning 6328: (136-155): Assertion violation happens here. +// Warning 4984: (229-234): Overflow (resulting value larger than 2**256 - 1) happens here. // Warning 4984: (327-332): Overflow (resulting value larger than 2**256 - 1) happens here. // Warning 8364: (300-302): Assertion checker does not yet implement type type(library l1) diff --git a/test/libsolidity/smtCheckerTests/functions/this_external_call.sol b/test/libsolidity/smtCheckerTests/functions/this_external_call.sol index 384281e8e..7caef2a5d 100644 --- a/test/libsolidity/smtCheckerTests/functions/this_external_call.sol +++ b/test/libsolidity/smtCheckerTests/functions/this_external_call.sol @@ -14,4 +14,4 @@ contract C } } // ---- -// Warning 6328: (227-243): Assertion violation happens here +// Warning 6328: (227-243): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/functions/this_external_call_return.sol b/test/libsolidity/smtCheckerTests/functions/this_external_call_return.sol index b43b95e79..388953fbe 100644 --- a/test/libsolidity/smtCheckerTests/functions/this_external_call_return.sol +++ b/test/libsolidity/smtCheckerTests/functions/this_external_call_return.sol @@ -15,4 +15,4 @@ contract C } } // ---- -// Warning 6328: (263-279): Assertion violation happens here +// Warning 6328: (263-279): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/functions/this_fake.sol b/test/libsolidity/smtCheckerTests/functions/this_fake.sol index 2227e9b3f..8a574f2c6 100644 --- a/test/libsolidity/smtCheckerTests/functions/this_fake.sol +++ b/test/libsolidity/smtCheckerTests/functions/this_fake.sol @@ -21,4 +21,4 @@ contract C } // ---- // Warning 2319: (160-166): This declaration shadows a builtin symbol. -// Warning 6328: (268-282): Assertion violation happens here +// Warning 6328: (268-282): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/functions/this_state.sol b/test/libsolidity/smtCheckerTests/functions/this_state.sol index b21c71972..b9c13be34 100644 --- a/test/libsolidity/smtCheckerTests/functions/this_state.sol +++ b/test/libsolidity/smtCheckerTests/functions/this_state.sol @@ -14,4 +14,4 @@ contract C } } // ---- -// Warning 6328: (186-200): Assertion violation happens here +// Warning 6328: (186-200): 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 92e53f40c..407055390 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 4984: (247-252): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 6328: (328-342): Assertion violation happens here +// Warning 4984: (247-252): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 6328: (328-342): 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 2cb40b5e9..d5ffc6dff 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 6328: (97-111): Assertion violation happens here +// Warning 6328: (97-111): 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 26e2df7b1..8d1a36d1a 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 6328: (117-131): Assertion violation happens here +// Warning 6328: (117-131): 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 2c43fb29d..b038d378c 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 6328: (211-225): Assertion violation happens here +// Warning 6328: (211-225): 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 fd04c33e9..c75d1c82b 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 6328: (185-199): Assertion violation happens here +// Warning 6328: (185-199): 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 5538b9ee8..a8820cef1 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,10 +22,10 @@ contract A is B { } // ---- -// Warning 4984: (157-162): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 4984: (216-221): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 4984: (239-244): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 4984: (261-266): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 4984: (261-270): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 4984: (287-292): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 6328: (275-293): Assertion violation happens here +// Warning 4984: (157-162): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 4984: (216-221): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 4984: (239-244): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 4984: (261-266): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 4984: (261-270): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 4984: (287-292): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 6328: (275-293): 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 f597d60e4..0bf91342c 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,9 +22,9 @@ contract A is B { } // ---- -// Warning 4984: (157-163): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 4984: (217-222): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 4984: (240-245): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 4984: (262-268): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 4984: (285-290): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 6328: (273-291): Assertion violation happens here +// Warning 4984: (157-163): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 4984: (217-222): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 4984: (240-245): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 4984: (262-268): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 4984: (285-290): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 6328: (273-291): 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 49f22bad7..31fae2b8b 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 6328: (162-176): Assertion violation happens here +// Warning 6328: (162-176): 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 8b54f27be..3e1315b19 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 6328: (214-228): Assertion violation happens here +// Warning 6328: (214-228): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/inheritance/fallback.sol b/test/libsolidity/smtCheckerTests/inheritance/fallback.sol index 1513f622f..5c7499d70 100644 --- a/test/libsolidity/smtCheckerTests/inheritance/fallback.sol +++ b/test/libsolidity/smtCheckerTests/inheritance/fallback.sol @@ -21,6 +21,6 @@ contract B is A { } } // ---- -// Warning 6328: (122-136): Assertion violation happens here -// Warning 6328: (171-185): Assertion violation happens here -// Warning 6328: (288-302): Assertion violation happens here +// Warning 6328: (122-136): Assertion violation happens here. +// Warning 6328: (171-185): Assertion violation happens here. +// Warning 6328: (288-302): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/inheritance/fallback_receive.sol b/test/libsolidity/smtCheckerTests/inheritance/fallback_receive.sol index 0fecccfb2..cb9266f79 100644 --- a/test/libsolidity/smtCheckerTests/inheritance/fallback_receive.sol +++ b/test/libsolidity/smtCheckerTests/inheritance/fallback_receive.sol @@ -21,6 +21,6 @@ contract B is A { } } // ---- -// Warning 6328: (114-128): Assertion violation happens here -// Warning 6328: (163-177): Assertion violation happens here -// Warning 6328: (289-303): Assertion violation happens here +// Warning 6328: (114-128): Assertion violation happens here. +// Warning 6328: (163-177): Assertion violation happens here. +// Warning 6328: (289-303): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/inheritance/functions_1.sol b/test/libsolidity/smtCheckerTests/inheritance/functions_1.sol index d8af4f292..78f9a2d39 100644 --- a/test/libsolidity/smtCheckerTests/inheritance/functions_1.sol +++ b/test/libsolidity/smtCheckerTests/inheritance/functions_1.sol @@ -19,6 +19,6 @@ contract B is A { } } // ---- -// Warning 6328: (121-135): Assertion violation happens here -// Warning 6328: (170-184): Assertion violation happens here -// Warning 6328: (276-290): Assertion violation happens here +// Warning 6328: (121-135): Assertion violation happens here. +// Warning 6328: (170-184): Assertion violation happens here. +// Warning 6328: (276-290): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/inheritance/functions_2.sol b/test/libsolidity/smtCheckerTests/inheritance/functions_2.sol index e4b7d34b5..eeebe6b88 100644 --- a/test/libsolidity/smtCheckerTests/inheritance/functions_2.sol +++ b/test/libsolidity/smtCheckerTests/inheritance/functions_2.sol @@ -21,6 +21,6 @@ contract B is A { } } // ---- -// Warning 6328: (121-135): Assertion violation happens here -// Warning 6328: (170-184): Assertion violation happens here -// Warning 6328: (286-300): Assertion violation happens here +// Warning 6328: (121-135): Assertion violation happens here. +// Warning 6328: (170-184): Assertion violation happens here. +// Warning 6328: (286-300): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/inheritance/functions_3.sol b/test/libsolidity/smtCheckerTests/inheritance/functions_3.sol index 6e8a4c2af..7f74bb5b7 100644 --- a/test/libsolidity/smtCheckerTests/inheritance/functions_3.sol +++ b/test/libsolidity/smtCheckerTests/inheritance/functions_3.sol @@ -36,9 +36,9 @@ contract C is B { } } // ---- -// Warning 6328: (121-135): Assertion violation happens here -// Warning 6328: (170-184): Assertion violation happens here -// Warning 6328: (296-310): Assertion violation happens here -// Warning 6328: (345-359): Assertion violation happens here -// Warning 6328: (468-482): Assertion violation happens here -// Warning 6328: (517-531): Assertion violation happens here +// Warning 6328: (121-135): Assertion violation happens here. +// Warning 6328: (170-184): Assertion violation happens here. +// Warning 6328: (296-310): Assertion violation happens here. +// Warning 6328: (345-359): Assertion violation happens here. +// Warning 6328: (468-482): Assertion violation happens here. +// Warning 6328: (517-531): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/inheritance/receive.sol b/test/libsolidity/smtCheckerTests/inheritance/receive.sol index 8a9051260..a0a1a0f6f 100644 --- a/test/libsolidity/smtCheckerTests/inheritance/receive.sol +++ b/test/libsolidity/smtCheckerTests/inheritance/receive.sol @@ -21,6 +21,6 @@ contract B is A { } } // ---- -// Warning 6328: (128-142): Assertion violation happens here -// Warning 6328: (177-191): Assertion violation happens here -// Warning 6328: (300-314): Assertion violation happens here +// Warning 6328: (128-142): Assertion violation happens here. +// Warning 6328: (177-191): Assertion violation happens here. +// Warning 6328: (300-314): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/inheritance/receive_fallback.sol b/test/libsolidity/smtCheckerTests/inheritance/receive_fallback.sol index d66d9354b..615411ca4 100644 --- a/test/libsolidity/smtCheckerTests/inheritance/receive_fallback.sol +++ b/test/libsolidity/smtCheckerTests/inheritance/receive_fallback.sol @@ -21,6 +21,6 @@ contract B is A { } } // ---- -// Warning 6328: (120-134): Assertion violation happens here -// Warning 6328: (169-183): Assertion violation happens here -// Warning 6328: (288-302): Assertion violation happens here +// Warning 6328: (120-134): Assertion violation happens here. +// Warning 6328: (169-183): Assertion violation happens here. +// Warning 6328: (288-302): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/invariants/aon_blog_post.sol b/test/libsolidity/smtCheckerTests/invariants/aon_blog_post.sol index 50644943d..a1e779d4e 100644 --- a/test/libsolidity/smtCheckerTests/invariants/aon_blog_post.sol +++ b/test/libsolidity/smtCheckerTests/invariants/aon_blog_post.sol @@ -44,4 +44,4 @@ contract C { } } // ---- -// Warning 6328: (689-699): Assertion violation happens here +// Warning 6328: (689-699): 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 65a9ec407..4770849ec 100644 --- a/test/libsolidity/smtCheckerTests/invariants/state_machine_1_fail.sol +++ b/test/libsolidity/smtCheckerTests/invariants/state_machine_1_fail.sol @@ -31,4 +31,4 @@ contract C { // ==== // SMTSolvers: z3 // ---- -// Warning 6328: (311-324): Assertion violation happens here +// Warning 6328: (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 c6cbafaef..afc63f0c1 100644 --- a/test/libsolidity/smtCheckerTests/loops/do_while_1_fail.sol +++ b/test/libsolidity/smtCheckerTests/loops/do_while_1_fail.sol @@ -13,4 +13,4 @@ contract C // ==== // SMTSolvers: z3 // ---- -// Warning 6328: (143-157): Assertion violation happens here +// Warning 6328: (143-157): Assertion violation 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 dd57c91c5..5f3467873 100644 --- a/test/libsolidity/smtCheckerTests/loops/do_while_break_2_fail.sol +++ b/test/libsolidity/smtCheckerTests/loops/do_while_break_2_fail.sol @@ -19,4 +19,4 @@ contract C { // ---- // Warning 5740: (128-133): Unreachable code. // Warning 5740: (147-151): Unreachable code. -// Warning 6328: (180-194): Assertion violation happens here +// Warning 6328: (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 e1c170606..9ce891efd 100644 --- a/test/libsolidity/smtCheckerTests/loops/do_while_break_fail.sol +++ b/test/libsolidity/smtCheckerTests/loops/do_while_break_fail.sol @@ -15,4 +15,4 @@ contract C { // ---- // Warning 5740: (104-109): Unreachable code. // Warning 5740: (122-128): Unreachable code. -// Warning 6328: (133-147): Assertion violation happens here +// Warning 6328: (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 77c1800c2..4fca5c440 100644 --- a/test/libsolidity/smtCheckerTests/loops/for_1_break_fail.sol +++ b/test/libsolidity/smtCheckerTests/loops/for_1_break_fail.sol @@ -17,4 +17,4 @@ contract C // ==== // SMTSolvers: z3 // ---- -// Warning 6328: (201-216): Assertion violation happens here +// Warning 6328: (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 bb5ec1ae3..72a7ff0d5 100644 --- a/test/libsolidity/smtCheckerTests/loops/for_1_continue_fail.sol +++ b/test/libsolidity/smtCheckerTests/loops/for_1_continue_fail.sol @@ -14,4 +14,4 @@ contract C // SMTSolvers: z3 // ---- // Warning 5667: (66-72): Unused function parameter. Remove or comment out the variable name to silence this warning. -// Warning 6328: (142-156): Assertion violation happens here +// Warning 6328: (142-156): 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 0579325df..5588c6117 100644 --- a/test/libsolidity/smtCheckerTests/loops/for_1_fail.sol +++ b/test/libsolidity/smtCheckerTests/loops/for_1_fail.sol @@ -15,5 +15,5 @@ contract C // SMTSolvers: z3 // ---- // Warning 1218: (176-181): Error trying to invoke SMT solver. -// Warning 6328: (189-203): Assertion violation happens here -// Warning 2661: (176-181): Overflow (resulting value larger than 2**256 - 1) happens here +// Warning 6328: (189-203): Assertion violation happens here. +// Warning 2661: (176-181): Overflow (resulting value larger than 2**256 - 1) 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 ff3d584e6..2e14b25b8 100644 --- a/test/libsolidity/smtCheckerTests/loops/for_1_false_positive.sol +++ b/test/libsolidity/smtCheckerTests/loops/for_1_false_positive.sol @@ -16,5 +16,5 @@ contract C // ==== // SMTSolvers: cvc4 // ---- -// Warning 2661: (176-181): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 4661: (296-309): Assertion violation happens here +// Warning 2661: (176-181): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 4661: (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 f9cf1c50f..af7b66af2 100644 --- a/test/libsolidity/smtCheckerTests/loops/for_loop_4.sol +++ b/test/libsolidity/smtCheckerTests/loops/for_loop_4.sol @@ -9,4 +9,4 @@ contract C { // ==== // SMTSolvers: z3 // ---- -// Warning 6328: (136-150): Assertion violation happens here +// Warning 6328: (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 26a9f0407..7faeb3b85 100644 --- a/test/libsolidity/smtCheckerTests/loops/for_loop_5.sol +++ b/test/libsolidity/smtCheckerTests/loops/for_loop_5.sol @@ -11,4 +11,4 @@ contract C { // ==== // SMTSolvers: z3 // ---- -// Warning 6328: (167-181): Assertion violation happens here +// Warning 6328: (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 1228e6d3d..4f2953a33 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 @@ -15,6 +15,6 @@ contract LoopFor2 { } } // ---- -// Warning 6328: (281-301): Assertion violation happens here -// Warning 6328: (305-324): Assertion violation happens here -// Warning 6328: (328-347): Assertion violation happens here +// Warning 6328: (281-301): Assertion violation happens here. +// Warning 6328: (305-324): Assertion violation happens here. +// Warning 6328: (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 76cfa0569..a78b2b5cc 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 @@ -19,5 +19,5 @@ contract LoopFor2 { // ==== // SMTSolvers: z3 // ---- -// Warning 6328: (274-294): Assertion violation happens here -// Warning 6328: (321-340): Assertion violation happens here +// Warning 6328: (274-294): Assertion violation happens here. +// Warning 6328: (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 4f68132ab..b30a23587 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 @@ -19,5 +19,5 @@ contract LoopFor2 { } } // ---- -// Warning 6328: (363-382): Assertion violation happens here -// Warning 4661: (316-336): Assertion violation happens here +// Warning 6328: (363-382): Assertion violation happens here. +// Warning 4661: (316-336): 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 faf0ee71b..6a998de79 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 @@ -19,6 +19,6 @@ contract LoopFor2 { } } // ---- -// Warning 6328: (341-360): Assertion violation happens here -// Warning 6328: (364-383): Assertion violation happens here -// Warning 4661: (317-337): Assertion violation happens here +// Warning 6328: (341-360): Assertion violation happens here. +// Warning 6328: (364-383): Assertion violation happens here. +// Warning 4661: (317-337): 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 aafab6942..2ac3b99a2 100644 --- a/test/libsolidity/smtCheckerTests/loops/while_1_break_fail.sol +++ b/test/libsolidity/smtCheckerTests/loops/while_1_break_fail.sol @@ -18,4 +18,4 @@ contract C // ==== // SMTSolvers: z3 // ---- -// Warning 6328: (218-233): Assertion violation happens here +// Warning 6328: (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 7bb08f68f..1a5be9328 100644 --- a/test/libsolidity/smtCheckerTests/loops/while_1_continue_fail.sol +++ b/test/libsolidity/smtCheckerTests/loops/while_1_continue_fail.sol @@ -21,4 +21,4 @@ contract C // SMTSolvers: z3 // ---- // Warning 5740: (169-176): Unreachable code. -// Warning 6328: (227-242): Assertion violation happens here +// Warning 6328: (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 d5d3f78ac..408443969 100644 --- a/test/libsolidity/smtCheckerTests/loops/while_1_fail.sol +++ b/test/libsolidity/smtCheckerTests/loops/while_1_fail.sol @@ -13,4 +13,4 @@ contract C // ==== // SMTSolvers: z3 // ---- -// Warning 6328: (139-153): Assertion violation happens here +// Warning 6328: (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 f203f38cb..fedf6fa7a 100644 --- a/test/libsolidity/smtCheckerTests/loops/while_2_break_fail.sol +++ b/test/libsolidity/smtCheckerTests/loops/while_2_break_fail.sol @@ -15,4 +15,4 @@ contract C // SMTSolvers: z3 // ---- // Warning 5740: (120-123): Unreachable code. -// Warning 6328: (131-145): Assertion violation happens here +// Warning 6328: (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 d10ba5b42..c8d533761 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 @@ -20,6 +20,6 @@ contract LoopFor2 { // SMTSolvers: z3 // ---- // Warning 1218: (244-249): Error trying to invoke SMT solver. -// Warning 6328: (281-301): Assertion violation happens here -// Warning 6328: (305-324): Assertion violation happens here -// Warning 6328: (328-347): Assertion violation happens here +// Warning 6328: (281-301): Assertion violation happens here. +// Warning 6328: (305-324): Assertion violation happens here. +// Warning 6328: (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 b61baaac9..736b18caa 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 @@ -24,5 +24,5 @@ contract LoopFor2 { // SMTSolvers: z3 // ---- // Warning 1218: (237-242): Error trying to invoke SMT solver. -// Warning 6328: (362-382): Assertion violation happens here -// Warning 6328: (409-428): Assertion violation happens here +// Warning 6328: (362-382): Assertion violation happens here. +// Warning 6328: (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 c26a19a1a..5977b47e3 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 @@ -23,6 +23,6 @@ contract LoopFor2 { // ==== // SMTSolvers: cvc4 // ---- -// Warning 4661: (296-316): Assertion violation happens here -// Warning 4661: (320-339): Assertion violation happens here -// Warning 4661: (343-362): Assertion violation happens here +// Warning 4661: (296-316): Assertion violation happens here. +// Warning 4661: (320-339): Assertion violation happens here. +// Warning 4661: (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 026de2441..0b14aa891 100644 --- a/test/libsolidity/smtCheckerTests/loops/while_loop_simple_1.sol +++ b/test/libsolidity/smtCheckerTests/loops/while_loop_simple_1.sol @@ -12,4 +12,4 @@ contract C { // ==== // SMTSolvers: z3 // ---- -// Warning 6328: (194-208): Assertion violation happens here +// Warning 6328: (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 7e11d2be1..63a2f5d1d 100644 --- a/test/libsolidity/smtCheckerTests/loops/while_loop_simple_3.sol +++ b/test/libsolidity/smtCheckerTests/loops/while_loop_simple_3.sol @@ -10,4 +10,4 @@ contract C { // ==== // SMTSolvers: z3 // ---- -// Warning 6328: (187-201): Assertion violation happens here +// Warning 6328: (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 f2b8238eb..47ecae49c 100644 --- a/test/libsolidity/smtCheckerTests/loops/while_loop_simple_5.sol +++ b/test/libsolidity/smtCheckerTests/loops/while_loop_simple_5.sol @@ -12,4 +12,4 @@ contract C { // ==== // SMTSolvers: z3 // ---- -// Warning 6328: (224-238): Assertion violation happens here +// Warning 6328: (224-238): 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 4b2186d13..dea1a6ec4 100644 --- a/test/libsolidity/smtCheckerTests/loops/while_nested_break_fail.sol +++ b/test/libsolidity/smtCheckerTests/loops/while_nested_break_fail.sol @@ -29,5 +29,5 @@ contract C } } // ---- -// Warning 6328: (329-344): Assertion violation happens here -// Warning 6328: (380-395): Assertion violation happens here +// Warning 6328: (329-344): Assertion violation happens here. +// Warning 6328: (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 4e5faf906..26d9ed88b 100644 --- a/test/libsolidity/smtCheckerTests/loops/while_nested_continue_fail.sol +++ b/test/libsolidity/smtCheckerTests/loops/while_nested_continue_fail.sol @@ -27,5 +27,5 @@ contract C } } // ---- -// Warning 6328: (323-338): Assertion violation happens here -// Warning 6328: (362-377): Assertion violation happens here +// Warning 6328: (323-338): Assertion violation happens here. +// Warning 6328: (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 6f3701d41..451f9376e 100644 --- a/test/libsolidity/smtCheckerTests/modifiers/modifier_code_after_placeholder.sol +++ b/test/libsolidity/smtCheckerTests/modifiers/modifier_code_after_placeholder.sol @@ -22,4 +22,4 @@ contract C } // ---- // Warning 4984: (203-208): Overflow (resulting value larger than 2**256 - 1) happens here. -// Warning 6328: (136-149): Assertion violation happens here +// Warning 6328: (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 503d276e3..f6844c140 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 6328: (144-157): Assertion violation happens here +// Warning 6328: (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 13679bfa4..45901fd94 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 6328: (287-300): Assertion violation happens here +// Warning 6328: (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 d1ef8639e..86e5552e3 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 @@ -34,5 +34,5 @@ contract C { } } // ---- -// Warning 6328: (516-534): Assertion violation happens here -// Warning 6328: (573-587): Assertion violation happens here +// Warning 6328: (516-534): Assertion violation happens here. +// Warning 6328: (573-587): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/modifiers/modifier_multi.sol b/test/libsolidity/smtCheckerTests/modifiers/modifier_multi.sol index 49fcac03b..f6e9710f1 100644 --- a/test/libsolidity/smtCheckerTests/modifiers/modifier_multi.sol +++ b/test/libsolidity/smtCheckerTests/modifiers/modifier_multi.sol @@ -26,4 +26,4 @@ contract C } } // ---- -// Warning 6328: (170-183): Assertion violation happens here +// Warning 6328: (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 185dd7ef7..bc2dd96e8 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 6328: (311-324): Assertion violation happens here +// Warning 6328: (311-324): 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 7f9c544b4..0e77b2cd1 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 6328: (164-177): Assertion violation happens here +// Warning 6328: (164-177): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/modifiers/modifier_parameter_copy.sol b/test/libsolidity/smtCheckerTests/modifiers/modifier_parameter_copy.sol index bbf21a290..2c7a146f7 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 6328: (128-142): Assertion violation happens here +// Warning 6328: (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 ce69706f0..66b02c665 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 6328: (121-135): Assertion violation happens here +// Warning 6328: (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 3e2a645fc..f03cf38a0 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 6328: (156-170): Assertion violation happens here +// Warning 6328: (156-170): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/operators/bitwise_and_int.sol b/test/libsolidity/smtCheckerTests/operators/bitwise_and_int.sol index 51bd01e5c..5b15372ab 100644 --- a/test/libsolidity/smtCheckerTests/operators/bitwise_and_int.sol +++ b/test/libsolidity/smtCheckerTests/operators/bitwise_and_int.sol @@ -15,4 +15,4 @@ contract C { } } // ---- -// Warning 6328: (104-122): Assertion violation happens here +// Warning 6328: (104-122): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/operators/bitwise_and_rational.sol b/test/libsolidity/smtCheckerTests/operators/bitwise_and_rational.sol index 79e63a8d7..6a9b5e18b 100644 --- a/test/libsolidity/smtCheckerTests/operators/bitwise_and_rational.sol +++ b/test/libsolidity/smtCheckerTests/operators/bitwise_and_rational.sol @@ -9,4 +9,4 @@ contract C { } } // ---- -// Warning 6328: (76-94): Assertion violation happens here +// Warning 6328: (76-94): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/operators/bitwise_and_uint.sol b/test/libsolidity/smtCheckerTests/operators/bitwise_and_uint.sol index dbb3ab473..f4f0b9ef3 100644 --- a/test/libsolidity/smtCheckerTests/operators/bitwise_and_uint.sol +++ b/test/libsolidity/smtCheckerTests/operators/bitwise_and_uint.sol @@ -13,6 +13,6 @@ contract C { } } // ---- -// Warning 6328: (107-125): Assertion violation happens here -// Warning 6328: (180-203): Assertion violation happens here -// Warning 6328: (207-230): Assertion violation happens here +// Warning 6328: (107-125): Assertion violation happens here. +// Warning 6328: (180-203): Assertion violation happens here. +// Warning 6328: (207-230): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/operators/bitwise_not_int.sol b/test/libsolidity/smtCheckerTests/operators/bitwise_not_int.sol index d879f8ee7..ced78a627 100644 --- a/test/libsolidity/smtCheckerTests/operators/bitwise_not_int.sol +++ b/test/libsolidity/smtCheckerTests/operators/bitwise_not_int.sol @@ -15,7 +15,7 @@ contract C { } } // ---- -// Warning 6328: (91-106): Assertion violation happens here -// Warning 6328: (122-137): Assertion violation happens here -// Warning 6328: (153-171): Assertion violation happens here -// Warning 6328: (185-200): Assertion violation happens here +// Warning 6328: (91-106): Assertion violation happens here. +// Warning 6328: (122-137): Assertion violation happens here. +// Warning 6328: (153-171): Assertion violation happens here. +// Warning 6328: (185-200): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/operators/bitwise_not_uint.sol b/test/libsolidity/smtCheckerTests/operators/bitwise_not_uint.sol index 8b733de18..38c10b0e3 100644 --- a/test/libsolidity/smtCheckerTests/operators/bitwise_not_uint.sol +++ b/test/libsolidity/smtCheckerTests/operators/bitwise_not_uint.sol @@ -11,5 +11,5 @@ contract C { } } // ---- -// Warning 6328: (159-179): Assertion violation happens here -// Warning 6328: (183-203): Assertion violation happens here +// Warning 6328: (159-179): Assertion violation happens here. +// Warning 6328: (183-203): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/operators/bitwise_or_int.sol b/test/libsolidity/smtCheckerTests/operators/bitwise_or_int.sol index 140c255c6..4b9a14e8b 100644 --- a/test/libsolidity/smtCheckerTests/operators/bitwise_or_int.sol +++ b/test/libsolidity/smtCheckerTests/operators/bitwise_or_int.sol @@ -17,5 +17,5 @@ contract C { } } // ---- -// Warning 6328: (144-162): Assertion violation happens here -// Warning 6328: (267-286): Assertion violation happens here +// Warning 6328: (144-162): Assertion violation happens here. +// Warning 6328: (267-286): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/operators/bitwise_or_uint.sol b/test/libsolidity/smtCheckerTests/operators/bitwise_or_uint.sol index f93c59a69..9922e3874 100644 --- a/test/libsolidity/smtCheckerTests/operators/bitwise_or_uint.sol +++ b/test/libsolidity/smtCheckerTests/operators/bitwise_or_uint.sol @@ -13,5 +13,5 @@ contract C { } } // ---- -// Warning 6328: (155-176): Assertion violation happens here -// Warning 6328: (207-230): Assertion violation happens here +// Warning 6328: (155-176): Assertion violation happens here. +// Warning 6328: (207-230): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/operators/bitwise_rational_1.sol b/test/libsolidity/smtCheckerTests/operators/bitwise_rational_1.sol index 97343e235..12386084b 100644 --- a/test/libsolidity/smtCheckerTests/operators/bitwise_rational_1.sol +++ b/test/libsolidity/smtCheckerTests/operators/bitwise_rational_1.sol @@ -9,4 +9,4 @@ contract C { } } // ---- -// Warning 6328: (169-192): Assertion violation happens here +// Warning 6328: (169-192): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/operators/bitwise_rational_2.sol b/test/libsolidity/smtCheckerTests/operators/bitwise_rational_2.sol index 94bb5cc83..ead3c3868 100644 --- a/test/libsolidity/smtCheckerTests/operators/bitwise_rational_2.sol +++ b/test/libsolidity/smtCheckerTests/operators/bitwise_rational_2.sol @@ -12,4 +12,4 @@ contract C { } } // ---- -// Warning 6328: (181-194): Assertion violation happens here +// Warning 6328: (181-194): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/operators/bitwise_xor_int.sol b/test/libsolidity/smtCheckerTests/operators/bitwise_xor_int.sol index 87bdd7f8d..c5494e64b 100644 --- a/test/libsolidity/smtCheckerTests/operators/bitwise_xor_int.sol +++ b/test/libsolidity/smtCheckerTests/operators/bitwise_xor_int.sol @@ -15,5 +15,5 @@ contract C { } } // ---- -// Warning 6328: (189-206): Assertion violation happens here -// Warning 6328: (247-264): Assertion violation happens here +// Warning 6328: (189-206): Assertion violation happens here. +// Warning 6328: (247-264): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/operators/bitwise_xor_uint.sol b/test/libsolidity/smtCheckerTests/operators/bitwise_xor_uint.sol index 70ae0eac6..31b106469 100644 --- a/test/libsolidity/smtCheckerTests/operators/bitwise_xor_uint.sol +++ b/test/libsolidity/smtCheckerTests/operators/bitwise_xor_uint.sol @@ -13,5 +13,5 @@ contract C { } } // ---- -// Warning 6328: (155-176): Assertion violation happens here -// Warning 6328: (207-230): Assertion violation happens here +// Warning 6328: (155-176): Assertion violation happens here. +// Warning 6328: (207-230): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/operators/compound_add.sol b/test/libsolidity/smtCheckerTests/operators/compound_add.sol index 43219d9c3..dc6faba06 100644 --- a/test/libsolidity/smtCheckerTests/operators/compound_add.sol +++ b/test/libsolidity/smtCheckerTests/operators/compound_add.sol @@ -11,4 +11,4 @@ contract C } } // ---- -// Warning 6328: (151-166): Assertion violation happens here +// Warning 6328: (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 5c989e31e..6193416ee 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 6328: (192-214): Assertion violation happens here +// Warning 6328: (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 bf48a540a..0752be60e 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 6328: (198-218): Assertion violation happens here +// Warning 6328: (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 b19d038d3..dcab7fe18 100644 --- a/test/libsolidity/smtCheckerTests/operators/compound_assignment_division_1.sol +++ b/test/libsolidity/smtCheckerTests/operators/compound_assignment_division_1.sol @@ -11,4 +11,4 @@ contract C { // ---- // Warning 1218: (129-143): Error trying to invoke SMT solver. // Warning 1218: (147-161): Error trying to invoke SMT solver. -// Warning 4661: (147-161): Assertion violation happens here +// Warning 4661: (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 427703366..b670e9f46 100644 --- a/test/libsolidity/smtCheckerTests/operators/compound_assignment_division_2.sol +++ b/test/libsolidity/smtCheckerTests/operators/compound_assignment_division_2.sol @@ -12,4 +12,4 @@ contract C { // ---- // Warning 1218: (163-184): Error trying to invoke SMT solver. // Warning 1218: (188-209): Error trying to invoke SMT solver. -// Warning 4661: (188-209): Assertion violation happens here +// Warning 4661: (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 da3b81254..852921a2c 100644 --- a/test/libsolidity/smtCheckerTests/operators/compound_assignment_division_3.sol +++ b/test/libsolidity/smtCheckerTests/operators/compound_assignment_division_3.sol @@ -12,4 +12,4 @@ contract C { // ---- // Warning 1218: (171-190): Error trying to invoke SMT solver. // Warning 1218: (194-213): Error trying to invoke SMT solver. -// Warning 4661: (194-213): Assertion violation happens here +// Warning 4661: (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 8ca1152e3..d80dbb90a 100644 --- a/test/libsolidity/smtCheckerTests/operators/compound_bitwise_and_1.sol +++ b/test/libsolidity/smtCheckerTests/operators/compound_bitwise_and_1.sol @@ -9,5 +9,5 @@ contract C { } } // ---- -// Warning 6328: (116-130): Assertion violation happens here +// Warning 6328: (116-130): Assertion violation happens here. // Warning 9149: (106-112): Assertion checker does not yet implement this assignment operator. diff --git a/test/libsolidity/smtCheckerTests/operators/compound_bitwise_xor_1.sol b/test/libsolidity/smtCheckerTests/operators/compound_bitwise_xor_1.sol index 2e07a32f7..22d3a5836 100644 --- a/test/libsolidity/smtCheckerTests/operators/compound_bitwise_xor_1.sol +++ b/test/libsolidity/smtCheckerTests/operators/compound_bitwise_xor_1.sol @@ -9,5 +9,5 @@ contract C { } } // ---- -// Warning 6328: (116-130): Assertion violation happens here +// Warning 6328: (116-130): Assertion violation happens here. // Warning 9149: (106-112): Assertion checker does not yet implement this assignment operator. diff --git a/test/libsolidity/smtCheckerTests/operators/compound_mul.sol b/test/libsolidity/smtCheckerTests/operators/compound_mul.sol index 6723e5304..b29a38bb4 100644 --- a/test/libsolidity/smtCheckerTests/operators/compound_mul.sol +++ b/test/libsolidity/smtCheckerTests/operators/compound_mul.sol @@ -11,4 +11,4 @@ contract C } } // ---- -// Warning 6328: (150-164): Assertion violation happens here +// Warning 6328: (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 663f0702b..01731ed43 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 6328: (191-212): Assertion violation happens here +// Warning 6328: (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 cdfc7500a..fedaf44a9 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 6328: (197-216): Assertion violation happens here +// Warning 6328: (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 964c02b46..9b7a264d6 100644 --- a/test/libsolidity/smtCheckerTests/operators/compound_shl_1.sol +++ b/test/libsolidity/smtCheckerTests/operators/compound_shl_1.sol @@ -9,5 +9,5 @@ contract C { } } // ---- -// Warning 6328: (123-136): Assertion violation happens here +// Warning 6328: (123-136): Assertion violation happens here. // Warning 9149: (112-119): Assertion checker does not yet implement this assignment operator. diff --git a/test/libsolidity/smtCheckerTests/operators/compound_shr_1.sol b/test/libsolidity/smtCheckerTests/operators/compound_shr_1.sol index a42a1e3e6..3887f3e5e 100644 --- a/test/libsolidity/smtCheckerTests/operators/compound_shr_1.sol +++ b/test/libsolidity/smtCheckerTests/operators/compound_shr_1.sol @@ -9,5 +9,5 @@ contract C { } } // ---- -// Warning 6328: (117-130): Assertion violation happens here +// Warning 6328: (117-130): Assertion violation happens here. // Warning 9149: (106-113): Assertion checker does not yet implement this assignment operator. diff --git a/test/libsolidity/smtCheckerTests/operators/compound_sub.sol b/test/libsolidity/smtCheckerTests/operators/compound_sub.sol index 609dedd69..5ce4b9876 100644 --- a/test/libsolidity/smtCheckerTests/operators/compound_sub.sol +++ b/test/libsolidity/smtCheckerTests/operators/compound_sub.sol @@ -11,4 +11,4 @@ contract C } } // ---- -// Warning 6328: (150-164): Assertion violation happens here +// Warning 6328: (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 39ebd357b..df594243d 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 6328: (191-212): Assertion violation happens here +// Warning 6328: (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 883105dd5..fb1dceb4d 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 6328: (197-216): Assertion violation happens here +// Warning 6328: (197-216): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/operators/conditional_assignment_1.sol b/test/libsolidity/smtCheckerTests/operators/conditional_assignment_1.sol index f01fb6029..4b433695a 100644 --- a/test/libsolidity/smtCheckerTests/operators/conditional_assignment_1.sol +++ b/test/libsolidity/smtCheckerTests/operators/conditional_assignment_1.sol @@ -7,4 +7,4 @@ contract C { } } // ---- -// Warning 6328: (104-117): Assertion violation happens here +// Warning 6328: (104-117): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/operators/conditional_assignment_2.sol b/test/libsolidity/smtCheckerTests/operators/conditional_assignment_2.sol index 99ee3c2a0..44b268470 100644 --- a/test/libsolidity/smtCheckerTests/operators/conditional_assignment_2.sol +++ b/test/libsolidity/smtCheckerTests/operators/conditional_assignment_2.sol @@ -8,4 +8,4 @@ contract C { } } // ---- -// Warning 6328: (132-146): Assertion violation happens here +// Warning 6328: (132-146): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/operators/conditional_assignment_3.sol b/test/libsolidity/smtCheckerTests/operators/conditional_assignment_3.sol index 12c580e24..26ff0072f 100644 --- a/test/libsolidity/smtCheckerTests/operators/conditional_assignment_3.sol +++ b/test/libsolidity/smtCheckerTests/operators/conditional_assignment_3.sol @@ -10,4 +10,4 @@ contract C { } } // ---- -// Warning 6328: (161-174): Assertion violation happens here +// Warning 6328: (161-174): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/operators/conditional_assignment_5.sol b/test/libsolidity/smtCheckerTests/operators/conditional_assignment_5.sol index 675ae3eb5..49b949a7a 100644 --- a/test/libsolidity/smtCheckerTests/operators/conditional_assignment_5.sol +++ b/test/libsolidity/smtCheckerTests/operators/conditional_assignment_5.sol @@ -24,4 +24,4 @@ contract C { } // ---- // Warning 2072: (288-294): Unused local variable. -// Warning 6328: (318-342): Assertion violation happens here +// Warning 6328: (318-342): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/operators/conditional_assignment_always_true.sol b/test/libsolidity/smtCheckerTests/operators/conditional_assignment_always_true.sol index 705ca9c2b..adb218d38 100644 --- a/test/libsolidity/smtCheckerTests/operators/conditional_assignment_always_true.sol +++ b/test/libsolidity/smtCheckerTests/operators/conditional_assignment_always_true.sol @@ -8,5 +8,5 @@ contract C { } } // ---- -// Warning 6328: (118-131): Assertion violation happens here +// Warning 6328: (118-131): Assertion violation happens here. // Warning 6838: (105-106): Condition is always true. diff --git a/test/libsolidity/smtCheckerTests/operators/conditional_assignment_function_1.sol b/test/libsolidity/smtCheckerTests/operators/conditional_assignment_function_1.sol index 890db61ca..99994f53c 100644 --- a/test/libsolidity/smtCheckerTests/operators/conditional_assignment_function_1.sol +++ b/test/libsolidity/smtCheckerTests/operators/conditional_assignment_function_1.sol @@ -10,4 +10,4 @@ contract C { } } // ---- -// Warning 6328: (203-216): Assertion violation happens here +// Warning 6328: (203-216): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/operators/conditional_assignment_function_2.sol b/test/libsolidity/smtCheckerTests/operators/conditional_assignment_function_2.sol index 47ec79ab5..a934a273c 100644 --- a/test/libsolidity/smtCheckerTests/operators/conditional_assignment_function_2.sol +++ b/test/libsolidity/smtCheckerTests/operators/conditional_assignment_function_2.sol @@ -16,4 +16,4 @@ contract C { } } // ---- -// Warning 6328: (378-392): Assertion violation happens here +// Warning 6328: (378-392): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/operators/conditional_assignment_nested_unsafe.sol b/test/libsolidity/smtCheckerTests/operators/conditional_assignment_nested_unsafe.sol index 0dabdf0f6..0b5f7e74d 100644 --- a/test/libsolidity/smtCheckerTests/operators/conditional_assignment_nested_unsafe.sol +++ b/test/libsolidity/smtCheckerTests/operators/conditional_assignment_nested_unsafe.sol @@ -7,4 +7,4 @@ contract C { } } // ---- -// Warning 6328: (141-154): Assertion violation happens here +// Warning 6328: (141-154): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/operators/delete_array_index_2d.sol b/test/libsolidity/smtCheckerTests/operators/delete_array_index_2d.sol index 5627953eb..e3728a470 100644 --- a/test/libsolidity/smtCheckerTests/operators/delete_array_index_2d.sol +++ b/test/libsolidity/smtCheckerTests/operators/delete_array_index_2d.sol @@ -17,4 +17,4 @@ contract C // ==== // SMTSolvers: z3 // ---- -// Warning 6328: (191-211): Assertion violation happens here +// Warning 6328: (191-211): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/operators/delete_multid_array.sol b/test/libsolidity/smtCheckerTests/operators/delete_multid_array.sol index f52da7a3d..3267c6fca 100644 --- a/test/libsolidity/smtCheckerTests/operators/delete_multid_array.sol +++ b/test/libsolidity/smtCheckerTests/operators/delete_multid_array.sol @@ -40,5 +40,5 @@ contract C { // ==== // SMTSolvers: cvc4 // ---- -// Warning 4661: (372-392): Assertion violation happens here -// Warning 4661: (617-637): Assertion violation happens here +// Warning 4661: (372-392): Assertion violation happens here. +// Warning 4661: (617-637): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/operators/division_1.sol b/test/libsolidity/smtCheckerTests/operators/division_1.sol index 85e978905..a61fe2081 100644 --- a/test/libsolidity/smtCheckerTests/operators/division_1.sol +++ b/test/libsolidity/smtCheckerTests/operators/division_1.sol @@ -5,4 +5,4 @@ contract C { } } // ---- -// Warning 3046: (111-116): Division by zero happens here +// Warning 3046: (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 dd82c5bb7..28974f092 100644 --- a/test/libsolidity/smtCheckerTests/operators/division_3.sol +++ b/test/libsolidity/smtCheckerTests/operators/division_3.sol @@ -7,4 +7,4 @@ contract C { } // ---- // Warning 1218: (127-132): Error trying to invoke SMT solver. -// Warning 2661: (127-132): Overflow (resulting value larger than 0x80 * 2**248 - 1) happens here +// Warning 2661: (127-132): Overflow (resulting value larger than 0x80 * 2**248 - 1) happens here. diff --git a/test/libsolidity/smtCheckerTests/operators/fixed_point_add.sol b/test/libsolidity/smtCheckerTests/operators/fixed_point_add.sol index e8e388c15..da95b5ccf 100644 --- a/test/libsolidity/smtCheckerTests/operators/fixed_point_add.sol +++ b/test/libsolidity/smtCheckerTests/operators/fixed_point_add.sol @@ -6,6 +6,6 @@ contract test { } // ---- // Warning 2072: (80-88): Unused local variable. -// Warning 4984: (91-112): Overflow (resulting value larger than 2**256 - 1) happens here +// Warning 4984: (91-112): Overflow (resulting value larger than 2**256 - 1) happens here. // Warning 5084: (91-100): Type conversion is not yet fully supported and might yield false positives. // Warning 5084: (103-112): Type conversion is not yet fully supported and might yield false positives. diff --git a/test/libsolidity/smtCheckerTests/operators/index_access_side_effect.sol b/test/libsolidity/smtCheckerTests/operators/index_access_side_effect.sol index 3ddbe5390..c9ad5db7a 100644 --- a/test/libsolidity/smtCheckerTests/operators/index_access_side_effect.sol +++ b/test/libsolidity/smtCheckerTests/operators/index_access_side_effect.sol @@ -13,4 +13,4 @@ contract C { } } // ---- -// Warning 6328: (191-210): Assertion violation happens here +// Warning 6328: (191-210): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/operators/unary_add.sol b/test/libsolidity/smtCheckerTests/operators/unary_add.sol index 1a1ae611d..8a5260e6d 100644 --- a/test/libsolidity/smtCheckerTests/operators/unary_add.sol +++ b/test/libsolidity/smtCheckerTests/operators/unary_add.sol @@ -14,4 +14,4 @@ contract C } } // ---- -// Warning 6328: (194-207): Assertion violation happens here +// Warning 6328: (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 96e43ff8f..2eab41a2f 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 6328: (240-253): Assertion violation happens here +// Warning 6328: (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 cdf4cbdbd..ec436d202 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 6328: (244-257): Assertion violation happens here +// Warning 6328: (244-257): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/operators/unary_operators_tuple_3.sol b/test/libsolidity/smtCheckerTests/operators/unary_operators_tuple_3.sol index 6ab61f0ee..b396e1323 100644 --- a/test/libsolidity/smtCheckerTests/operators/unary_operators_tuple_3.sol +++ b/test/libsolidity/smtCheckerTests/operators/unary_operators_tuple_3.sol @@ -9,4 +9,4 @@ contract C { } } // ---- -// Warning 6328: (140-150): Assertion violation happens here +// Warning 6328: (140-150): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/operators/unary_sub.sol b/test/libsolidity/smtCheckerTests/operators/unary_sub.sol index dba43ac87..c410036d4 100644 --- a/test/libsolidity/smtCheckerTests/operators/unary_sub.sol +++ b/test/libsolidity/smtCheckerTests/operators/unary_sub.sol @@ -14,4 +14,4 @@ contract C } } // ---- -// Warning 6328: (194-207): Assertion violation happens here +// Warning 6328: (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 73393df91..d3f210498 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 6328: (240-253): Assertion violation happens here +// Warning 6328: (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 22191a935..dcd8f2b2e 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 6328: (244-257): Assertion violation happens here +// Warning 6328: (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 05b15987f..dbbc0d146 100644 --- a/test/libsolidity/smtCheckerTests/overflow/overflow_mul.sol +++ b/test/libsolidity/smtCheckerTests/overflow/overflow_mul.sol @@ -13,5 +13,5 @@ contract C } } // ---- -// Warning 4984: (120-125): Overflow (resulting value larger than 255) happens here -// Warning 4984: (163-168): Overflow (resulting value larger than 255) happens here +// Warning 4984: (120-125): Overflow (resulting value larger than 255) happens here. +// Warning 4984: (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 7a71a7d2f..144e36308 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 4984: (117-122): Overflow (resulting value larger than 127) happens here -// Warning 4984: (150-157): Overflow (resulting value larger than 127) happens here +// Warning 4984: (117-122): Overflow (resulting value larger than 127) happens here. +// Warning 4984: (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 c94b09b97..658c462b8 100644 --- a/test/libsolidity/smtCheckerTests/overflow/overflow_sum.sol +++ b/test/libsolidity/smtCheckerTests/overflow/overflow_sum.sol @@ -14,5 +14,5 @@ contract C } } // ---- -// Warning 4984: (154-159): Overflow (resulting value larger than 255) happens here -// Warning 4984: (185-192): Overflow (resulting value larger than 255) happens here +// Warning 4984: (154-159): Overflow (resulting value larger than 255) happens here. +// Warning 4984: (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 8fc6b4997..fc1bed7ac 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 4984: (117-122): Overflow (resulting value larger than 127) happens here -// Warning 4984: (151-158): Overflow (resulting value larger than 127) happens here -// Warning 3944: (197-205): Underflow (resulting value less than -128) happens here +// Warning 4984: (117-122): Overflow (resulting value larger than 127) happens here. +// Warning 4984: (151-158): Overflow (resulting value larger than 127) happens here. +// Warning 3944: (197-205): Underflow (resulting value less than -128) happens here. diff --git a/test/libsolidity/smtCheckerTests/overflow/signed_div_overflow.sol b/test/libsolidity/smtCheckerTests/overflow/signed_div_overflow.sol index fb14d7694..2dc047861 100644 --- a/test/libsolidity/smtCheckerTests/overflow/signed_div_overflow.sol +++ b/test/libsolidity/smtCheckerTests/overflow/signed_div_overflow.sol @@ -7,5 +7,5 @@ contract C { } // ---- // Warning 1218: (110-115): Error trying to invoke SMT solver. -// Warning 3046: (110-115): Division by zero happens here -// Warning 2661: (110-115): Overflow (resulting value larger than 0x80 * 2**248 - 1) happens here +// Warning 3046: (110-115): Division by zero happens here. +// Warning 2661: (110-115): Overflow (resulting value larger than 0x80 * 2**248 - 1) happens here. diff --git a/test/libsolidity/smtCheckerTests/overflow/signed_guard_sub_overflow.sol b/test/libsolidity/smtCheckerTests/overflow/signed_guard_sub_overflow.sol index a27c709cd..4f9e1569c 100644 --- a/test/libsolidity/smtCheckerTests/overflow/signed_guard_sub_overflow.sol +++ b/test/libsolidity/smtCheckerTests/overflow/signed_guard_sub_overflow.sol @@ -7,4 +7,4 @@ contract C { } } // ---- -// Warning 4984: (129-134): Overflow (resulting value larger than 0x80 * 2**248 - 1) happens here +// Warning 4984: (129-134): Overflow (resulting value larger than 0x80 * 2**248 - 1) happens here. diff --git a/test/libsolidity/smtCheckerTests/overflow/signed_guard_sum_overflow.sol b/test/libsolidity/smtCheckerTests/overflow/signed_guard_sum_overflow.sol index a834311cf..0e4bc2e3a 100644 --- a/test/libsolidity/smtCheckerTests/overflow/signed_guard_sum_overflow.sol +++ b/test/libsolidity/smtCheckerTests/overflow/signed_guard_sum_overflow.sol @@ -7,5 +7,5 @@ contract C { } } // ---- -// Warning 3944: (111-116): Underflow (resulting value less than -57896044618658097711785492504343953926634992332820282019728792003956564819968) happens here -// Warning 3944: (133-138): Underflow (resulting value less than -57896044618658097711785492504343953926634992332820282019728792003956564819968) happens here +// Warning 3944: (111-116): Underflow (resulting value less than -57896044618658097711785492504343953926634992332820282019728792003956564819968) happens here. +// Warning 3944: (133-138): Underflow (resulting value less than -57896044618658097711785492504343953926634992332820282019728792003956564819968) happens here. diff --git a/test/libsolidity/smtCheckerTests/overflow/signed_mod_overflow.sol b/test/libsolidity/smtCheckerTests/overflow/signed_mod_overflow.sol index d773af2f6..d75de586e 100644 --- a/test/libsolidity/smtCheckerTests/overflow/signed_mod_overflow.sol +++ b/test/libsolidity/smtCheckerTests/overflow/signed_mod_overflow.sol @@ -6,4 +6,4 @@ contract C { } } // ---- -// Warning 3046: (110-115): Division by zero happens here +// Warning 3046: (110-115): Division by zero happens here. diff --git a/test/libsolidity/smtCheckerTests/overflow/signed_mul_overflow.sol b/test/libsolidity/smtCheckerTests/overflow/signed_mul_overflow.sol index 34cc55a7b..0dc8422ee 100644 --- a/test/libsolidity/smtCheckerTests/overflow/signed_mul_overflow.sol +++ b/test/libsolidity/smtCheckerTests/overflow/signed_mul_overflow.sol @@ -6,5 +6,5 @@ contract C { } } // ---- -// Warning 3944: (110-115): Underflow (resulting value less than -57896044618658097711785492504343953926634992332820282019728792003956564819968) happens here -// Warning 4984: (110-115): Overflow (resulting value larger than 0x80 * 2**248 - 1) happens here +// Warning 3944: (110-115): Underflow (resulting value less than -57896044618658097711785492504343953926634992332820282019728792003956564819968) happens here. +// Warning 4984: (110-115): Overflow (resulting value larger than 0x80 * 2**248 - 1) happens here. diff --git a/test/libsolidity/smtCheckerTests/overflow/signed_sub_overflow.sol b/test/libsolidity/smtCheckerTests/overflow/signed_sub_overflow.sol index 4a207c53f..c9fd9d12e 100644 --- a/test/libsolidity/smtCheckerTests/overflow/signed_sub_overflow.sol +++ b/test/libsolidity/smtCheckerTests/overflow/signed_sub_overflow.sol @@ -6,5 +6,5 @@ contract C { } } // ---- -// Warning 3944: (110-115): Underflow (resulting value less than -57896044618658097711785492504343953926634992332820282019728792003956564819968) happens here -// Warning 4984: (110-115): Overflow (resulting value larger than 0x80 * 2**248 - 1) happens here +// Warning 3944: (110-115): Underflow (resulting value less than -57896044618658097711785492504343953926634992332820282019728792003956564819968) happens here. +// Warning 4984: (110-115): Overflow (resulting value larger than 0x80 * 2**248 - 1) happens here. diff --git a/test/libsolidity/smtCheckerTests/overflow/signed_sum_overflow.sol b/test/libsolidity/smtCheckerTests/overflow/signed_sum_overflow.sol index 3edc402eb..10e4dbc57 100644 --- a/test/libsolidity/smtCheckerTests/overflow/signed_sum_overflow.sol +++ b/test/libsolidity/smtCheckerTests/overflow/signed_sum_overflow.sol @@ -6,5 +6,5 @@ contract C { } } // ---- -// Warning 3944: (110-115): Underflow (resulting value less than -57896044618658097711785492504343953926634992332820282019728792003956564819968) happens here -// Warning 4984: (110-115): Overflow (resulting value larger than 0x80 * 2**248 - 1) happens here +// Warning 3944: (110-115): Underflow (resulting value less than -57896044618658097711785492504343953926634992332820282019728792003956564819968) happens here. +// Warning 4984: (110-115): Overflow (resulting value larger than 0x80 * 2**248 - 1) happens here. diff --git a/test/libsolidity/smtCheckerTests/overflow/simple_overflow.sol b/test/libsolidity/smtCheckerTests/overflow/simple_overflow.sol index 41ba3d0d5..81b156f90 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 4984: (112-117): Overflow (resulting value larger than 2**256 - 1) happens here +// Warning 4984: (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 1ecf1e870..f6162d9fc 100644 --- a/test/libsolidity/smtCheckerTests/overflow/underflow_sub.sol +++ b/test/libsolidity/smtCheckerTests/overflow/underflow_sub.sol @@ -12,5 +12,5 @@ contract C } } // ---- -// Warning 3944: (117-122): Underflow (resulting value less than 0) happens here -// Warning 3944: (150-157): Underflow (resulting value less than 0) happens here +// Warning 3944: (117-122): Underflow (resulting value less than 0) happens here. +// Warning 3944: (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 6dab43c79..5e4ee71d9 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 3944: (116-123): Underflow (resulting value less than -128) happens here -// Warning 3944: (163-170): Underflow (resulting value less than -128) happens here -// Warning 4984: (207-217): Overflow (resulting value larger than 127) happens here +// Warning 3944: (116-123): Underflow (resulting value less than -128) happens here. +// Warning 3944: (163-170): Underflow (resulting value less than -128) happens here. +// Warning 4984: (207-217): Overflow (resulting value larger than 127) happens here. diff --git a/test/libsolidity/smtCheckerTests/overflow/unsigned_div_overflow.sol b/test/libsolidity/smtCheckerTests/overflow/unsigned_div_overflow.sol index 01eeb27ac..fba323faf 100644 --- a/test/libsolidity/smtCheckerTests/overflow/unsigned_div_overflow.sol +++ b/test/libsolidity/smtCheckerTests/overflow/unsigned_div_overflow.sol @@ -6,4 +6,4 @@ contract C { } } // ---- -// Warning 3046: (113-118): Division by zero happens here +// Warning 3046: (113-118): Division by zero happens here. diff --git a/test/libsolidity/smtCheckerTests/overflow/unsigned_mod_overflow.sol b/test/libsolidity/smtCheckerTests/overflow/unsigned_mod_overflow.sol index 327e2bdcc..da1e889a7 100644 --- a/test/libsolidity/smtCheckerTests/overflow/unsigned_mod_overflow.sol +++ b/test/libsolidity/smtCheckerTests/overflow/unsigned_mod_overflow.sol @@ -6,4 +6,4 @@ contract C { } } // ---- -// Warning 3046: (113-118): Division by zero happens here +// Warning 3046: (113-118): Division by zero happens here. diff --git a/test/libsolidity/smtCheckerTests/overflow/unsigned_mul_overflow.sol b/test/libsolidity/smtCheckerTests/overflow/unsigned_mul_overflow.sol index bf7b697e8..4e8b82acc 100644 --- a/test/libsolidity/smtCheckerTests/overflow/unsigned_mul_overflow.sol +++ b/test/libsolidity/smtCheckerTests/overflow/unsigned_mul_overflow.sol @@ -6,4 +6,4 @@ contract C { } } // ---- -// Warning 4984: (113-118): Overflow (resulting value larger than 2**256 - 1) happens here +// Warning 4984: (113-118): Overflow (resulting value larger than 2**256 - 1) happens here. diff --git a/test/libsolidity/smtCheckerTests/overflow/unsigned_sub_overflow.sol b/test/libsolidity/smtCheckerTests/overflow/unsigned_sub_overflow.sol index 6a44c893b..daa346182 100644 --- a/test/libsolidity/smtCheckerTests/overflow/unsigned_sub_overflow.sol +++ b/test/libsolidity/smtCheckerTests/overflow/unsigned_sub_overflow.sol @@ -6,4 +6,4 @@ contract C { } } // ---- -// Warning 3944: (113-118): Underflow (resulting value less than 0) happens here +// Warning 3944: (113-118): Underflow (resulting value less than 0) happens here. diff --git a/test/libsolidity/smtCheckerTests/overflow/unsigned_sum_overflow.sol b/test/libsolidity/smtCheckerTests/overflow/unsigned_sum_overflow.sol index b0632ef48..5808d0feb 100644 --- a/test/libsolidity/smtCheckerTests/overflow/unsigned_sum_overflow.sol +++ b/test/libsolidity/smtCheckerTests/overflow/unsigned_sum_overflow.sol @@ -6,4 +6,4 @@ contract C { } } // ---- -// Warning 4984: (113-118): Overflow (resulting value larger than 2**256 - 1) happens here +// Warning 4984: (113-118): Overflow (resulting value larger than 2**256 - 1) 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 066a861e4..32992ca99 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 @@ -12,7 +12,7 @@ contract C { // ---- // Warning 2072: (125-132): Unused local variable. // Warning 2072: (183-190): Unused local variable. -// Warning 6328: (303-319): Assertion violation happens here +// Warning 6328: (303-319): Assertion violation happens here. // Warning 8364: (136-139): Assertion checker does not yet implement type abi // Warning 4588: (136-167): Assertion checker does not yet implement this type of function call. // Warning 8364: (194-197): Assertion checker does not yet implement type abi diff --git a/test/libsolidity/smtCheckerTests/special/abi_decode_simple.sol b/test/libsolidity/smtCheckerTests/special/abi_decode_simple.sol index 1715fa4e0..11b97f724 100644 --- a/test/libsolidity/smtCheckerTests/special/abi_decode_simple.sol +++ b/test/libsolidity/smtCheckerTests/special/abi_decode_simple.sol @@ -14,8 +14,8 @@ contract C { // Warning 2072: (100-104): Unused local variable. // Warning 2072: (161-171): Unused local variable. // Warning 2072: (173-177): Unused local variable. -// Warning 6328: (296-312): Assertion violation happens here -// Warning 6328: (315-331): Assertion violation happens here +// Warning 6328: (296-312): Assertion violation happens here. +// Warning 6328: (315-331): Assertion violation happens here. // Warning 8364: (108-111): Assertion checker does not yet implement type abi // Warning 8364: (142-143): Assertion checker does not yet implement type type(contract C) // Warning 4588: (108-145): Assertion checker does not yet implement this type of function call. diff --git a/test/libsolidity/smtCheckerTests/special/blockhash.sol b/test/libsolidity/smtCheckerTests/special/blockhash.sol index d08e056e7..c325f3c9f 100644 --- a/test/libsolidity/smtCheckerTests/special/blockhash.sol +++ b/test/libsolidity/smtCheckerTests/special/blockhash.sol @@ -10,6 +10,6 @@ contract C } } // ---- -// Warning 6328: (85-109): Assertion violation happens here -// Warning 6328: (113-137): Assertion violation happens here -// Warning 6328: (155-191): Assertion violation happens here +// Warning 6328: (85-109): Assertion violation happens here. +// Warning 6328: (113-137): Assertion violation happens here. +// Warning 6328: (155-191): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/special/difficulty.sol b/test/libsolidity/smtCheckerTests/special/difficulty.sol index 90e43e204..a7582e6c8 100644 --- a/test/libsolidity/smtCheckerTests/special/difficulty.sol +++ b/test/libsolidity/smtCheckerTests/special/difficulty.sol @@ -7,4 +7,4 @@ contract C } } // ---- -// Warning 6328: (91-129): Assertion violation happens here +// Warning 6328: (91-129): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/special/gasleft.sol b/test/libsolidity/smtCheckerTests/special/gasleft.sol index 0b14ee4e7..240e13f27 100644 --- a/test/libsolidity/smtCheckerTests/special/gasleft.sol +++ b/test/libsolidity/smtCheckerTests/special/gasleft.sol @@ -10,5 +10,5 @@ contract C } } // ---- -// Warning 6328: (76-97): Assertion violation happens here -// Warning 6328: (123-144): Assertion violation happens here +// Warning 6328: (76-97): Assertion violation happens here. +// Warning 6328: (123-144): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/special/many.sol b/test/libsolidity/smtCheckerTests/special/many.sol index 2e9b3c79a..13424e091 100644 --- a/test/libsolidity/smtCheckerTests/special/many.sol +++ b/test/libsolidity/smtCheckerTests/special/many.sol @@ -15,12 +15,12 @@ contract C } } // ---- -// Warning 4984: (311-316): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 6328: (79-115): Assertion violation happens here -// Warning 6328: (119-161): Assertion violation happens here -// Warning 6328: (165-204): Assertion violation happens here -// Warning 6328: (208-240): Assertion violation happens here -// Warning 6328: (244-275): Assertion violation happens here -// Warning 6328: (304-332): Assertion violation happens here -// Warning 6328: (336-364): Assertion violation happens here -// Warning 6328: (368-391): Assertion violation happens here +// Warning 4984: (311-316): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 6328: (79-115): Assertion violation happens here. +// Warning 6328: (119-161): Assertion violation happens here. +// Warning 6328: (165-204): Assertion violation happens here. +// Warning 6328: (208-240): Assertion violation happens here. +// Warning 6328: (244-275): Assertion violation happens here. +// Warning 6328: (304-332): Assertion violation happens here. +// Warning 6328: (336-364): Assertion violation happens here. +// Warning 6328: (368-391): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/special/msg_data.sol b/test/libsolidity/smtCheckerTests/special/msg_data.sol index 3936af6dd..6b6e58deb 100644 --- a/test/libsolidity/smtCheckerTests/special/msg_data.sol +++ b/test/libsolidity/smtCheckerTests/special/msg_data.sol @@ -7,4 +7,4 @@ contract C } } // ---- -// Warning 6328: (79-106): Assertion violation happens here +// Warning 6328: (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 91aa8d2c9..7a6ef8d31 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 6328: (155-178): Assertion violation happens here +// Warning 6328: (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 e3c86f5aa..5288ddeb3 100644 --- a/test/libsolidity/smtCheckerTests/special/msg_sig.sol +++ b/test/libsolidity/smtCheckerTests/special/msg_sig.sol @@ -7,4 +7,4 @@ contract C } } // ---- -// Warning 6328: (79-108): Assertion violation happens here +// Warning 6328: (79-108): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/special/this.sol b/test/libsolidity/smtCheckerTests/special/this.sol index 59c5f2d96..71604e545 100644 --- a/test/libsolidity/smtCheckerTests/special/this.sol +++ b/test/libsolidity/smtCheckerTests/special/this.sol @@ -7,4 +7,4 @@ contract C } } // ---- -// Warning 6328: (85-111): Assertion violation happens here +// Warning 6328: (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 bde664225..68239c870 100644 --- a/test/libsolidity/smtCheckerTests/typecast/cast_different_size_1.sol +++ b/test/libsolidity/smtCheckerTests/typecast/cast_different_size_1.sol @@ -18,9 +18,9 @@ contract C } } // ---- -// Warning 6328: (280-303): Assertion violation happens here -// Warning 6328: (414-431): Assertion violation happens here -// Warning 6328: (542-559): Assertion violation happens here +// Warning 6328: (280-303): Assertion violation happens here. +// Warning 6328: (414-431): Assertion violation happens here. +// Warning 6328: (542-559): Assertion violation happens here. // Warning 5084: (186-195): Type conversion is not yet fully supported and might yield false positives. // Warning 5084: (317-333): Type conversion is not yet fully supported and might yield false positives. // Warning 5084: (451-460): Type conversion is not yet fully supported and might yield false positives. diff --git a/test/libsolidity/smtCheckerTests/typecast/cast_larger_2_fail.sol b/test/libsolidity/smtCheckerTests/typecast/cast_larger_2_fail.sol index d5cf22e3f..7ee753aa5 100644 --- a/test/libsolidity/smtCheckerTests/typecast/cast_larger_2_fail.sol +++ b/test/libsolidity/smtCheckerTests/typecast/cast_larger_2_fail.sol @@ -9,5 +9,5 @@ contract C } } // ---- -// Warning 6328: (149-163): Assertion violation happens here +// Warning 6328: (149-163): Assertion violation happens here. // Warning 5084: (108-117): Type conversion is not yet fully supported and might yield false positives. diff --git a/test/libsolidity/smtCheckerTests/typecast/cast_larger_3.sol b/test/libsolidity/smtCheckerTests/typecast/cast_larger_3.sol index 1bb3b7463..ce8cfa097 100644 --- a/test/libsolidity/smtCheckerTests/typecast/cast_larger_3.sol +++ b/test/libsolidity/smtCheckerTests/typecast/cast_larger_3.sol @@ -12,6 +12,6 @@ contract C } } // ---- -// Warning 6328: (207-230): Assertion violation happens here -// Warning 6328: (273-287): Assertion violation happens here +// Warning 6328: (207-230): Assertion violation happens here. +// Warning 6328: (273-287): Assertion violation happens here. // Warning 5084: (108-117): Type conversion is not yet fully supported and might yield false positives. diff --git a/test/libsolidity/smtCheckerTests/typecast/cast_smaller_2.sol b/test/libsolidity/smtCheckerTests/typecast/cast_smaller_2.sol index f6adcf0ce..b11982b0a 100644 --- a/test/libsolidity/smtCheckerTests/typecast/cast_smaller_2.sol +++ b/test/libsolidity/smtCheckerTests/typecast/cast_smaller_2.sol @@ -10,5 +10,5 @@ contract C } } // ---- -// Warning 6328: (208-227): Assertion violation happens here +// Warning 6328: (208-227): Assertion violation happens here. // Warning 5084: (112-121): Type conversion is not yet fully supported and might yield false positives. diff --git a/test/libsolidity/smtCheckerTests/typecast/cast_smaller_3.sol b/test/libsolidity/smtCheckerTests/typecast/cast_smaller_3.sol index 2d6cbada4..260f8b0ae 100644 --- a/test/libsolidity/smtCheckerTests/typecast/cast_smaller_3.sol +++ b/test/libsolidity/smtCheckerTests/typecast/cast_smaller_3.sol @@ -10,5 +10,5 @@ contract C } } // ---- -// Warning 6328: (198-215): Assertion violation happens here +// Warning 6328: (198-215): Assertion violation happens here. // Warning 5084: (108-117): Type conversion is not yet fully supported and might yield false positives. diff --git a/test/libsolidity/smtCheckerTests/typecast/enum_from_uint.sol b/test/libsolidity/smtCheckerTests/typecast/enum_from_uint.sol index 28b845fb6..4ea982de2 100644 --- a/test/libsolidity/smtCheckerTests/typecast/enum_from_uint.sol +++ b/test/libsolidity/smtCheckerTests/typecast/enum_from_uint.sol @@ -10,6 +10,6 @@ contract C } } // ---- -// Warning 6328: (140-160): Assertion violation happens here +// Warning 6328: (140-160): Assertion violation happens here. // Warning 8364: (132-133): Assertion checker does not yet implement type type(enum C.D) // Warning 5084: (132-136): Type conversion is not yet fully supported and might yield false positives. 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 16eda0216..06127b265 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 6328: (155-175): Assertion violation happens here +// Warning 6328: (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 1f6869a1c..2f4074565 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 @@ -11,8 +11,8 @@ contract C { } } // ---- -// Warning 6328: (207-227): Assertion violation happens here -// Warning 6328: (231-245): Assertion violation happens here +// Warning 6328: (207-227): Assertion violation happens here. +// Warning 6328: (231-245): Assertion violation happens here. // Warning 5729: (214-218): Assertion checker does not yet implement this type of function call. // Warning 5729: (222-226): Assertion checker does not yet implement this type of function call. // Warning 7229: (238-244): Assertion checker does not yet implement the type function (uint256) returns (uint256) for comparisons 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 3bfd2b751..a22ba49cf 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,5 +9,5 @@ contract B { } } // ---- -// Warning 6328: (162-184): Assertion violation happens here -// Warning 6328: (136-158): Assertion violation happens here +// Warning 6328: (162-184): Assertion violation happens here. +// Warning 6328: (136-158): 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 b4a482437..07630391f 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 6328: (152-174): Assertion violation happens here +// Warning 6328: (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 3042084e6..44817b435 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 6328: (238-259): Assertion violation happens here +// Warning 6328: (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 c29efb6f5..da8ca1cc2 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 6328: (442-461): Assertion violation happens here +// Warning 6328: (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 c4d10fead..7430eda1b 100644 --- a/test/libsolidity/smtCheckerTests/types/address_balance.sol +++ b/test/libsolidity/smtCheckerTests/types/address_balance.sol @@ -9,5 +9,5 @@ contract C } // ---- // Warning 2072: (96-102): Unused local variable. -// Warning 4984: (105-127): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 6328: (131-160): Assertion violation happens here +// Warning 4984: (105-127): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 6328: (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 275f1b6cf..6a0f629ed 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 2072: (224-240): Unused local variable. -// Warning 6328: (260-275): Assertion violation happens here -// Warning 6328: (279-293): Assertion violation happens here -// Warning 6328: (297-316): Assertion violation happens here -// Warning 6328: (320-344): Assertion violation happens here +// Warning 6328: (260-275): Assertion violation happens here. +// Warning 6328: (279-293): Assertion violation happens here. +// Warning 6328: (297-316): Assertion violation happens here. +// Warning 6328: (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 3dd9e07cb..838e86c36 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 2072: (224-240): Unused local variable. -// Warning 6328: (268-283): Assertion violation happens here -// Warning 6328: (287-301): Assertion violation happens here -// Warning 6328: (305-324): Assertion violation happens here -// Warning 6328: (328-352): Assertion violation happens here +// Warning 6328: (268-283): Assertion violation happens here. +// Warning 6328: (287-301): Assertion violation happens here. +// Warning 6328: (305-324): Assertion violation happens here. +// Warning 6328: (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 05c10febc..50cb91001 100644 --- a/test/libsolidity/smtCheckerTests/types/address_staticcall.sol +++ b/test/libsolidity/smtCheckerTests/types/address_staticcall.sol @@ -19,4 +19,4 @@ contract C // EVMVersion: >spuriousDragon // ---- // Warning 2072: (224-240): Unused local variable. -// Warning 6328: (266-281): Assertion violation happens here +// Warning 6328: (266-281): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/types/address_transfer.sol b/test/libsolidity/smtCheckerTests/types/address_transfer.sol index ae435cec5..349ce4996 100644 --- a/test/libsolidity/smtCheckerTests/types/address_transfer.sol +++ b/test/libsolidity/smtCheckerTests/types/address_transfer.sol @@ -11,5 +11,5 @@ contract C } } // ---- -// Warning 6328: (195-219): Assertion violation happens here -// Warning 1236: (131-146): Insufficient funds happens here +// Warning 6328: (195-219): Assertion violation happens here. +// Warning 1236: (131-146): Insufficient funds happens here. diff --git a/test/libsolidity/smtCheckerTests/types/address_transfer_2.sol b/test/libsolidity/smtCheckerTests/types/address_transfer_2.sol index f6bc0ef6d..697cb5a0a 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 6328: (295-324): Assertion violation happens here -// Warning 1236: (217-232): Insufficient funds happens here -// Warning 1236: (236-251): Insufficient funds happens here +// Warning 6328: (295-324): Assertion violation happens here. +// Warning 1236: (217-232): Insufficient funds happens here. +// Warning 1236: (236-251): Insufficient funds happens here. diff --git a/test/libsolidity/smtCheckerTests/types/address_transfer_insufficient.sol b/test/libsolidity/smtCheckerTests/types/address_transfer_insufficient.sol index 8c4f37bf2..b4308d67e 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 6328: (213-237): Assertion violation happens here -// Warning 1236: (134-149): Insufficient funds happens here -// Warning 1236: (153-169): Insufficient funds happens here +// Warning 6328: (213-237): Assertion violation happens here. +// Warning 1236: (134-149): Insufficient funds happens here. +// Warning 1236: (153-169): Insufficient funds 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 6b09f780d..f267f0b99 100644 --- a/test/libsolidity/smtCheckerTests/types/array_aliasing_memory_1.sol +++ b/test/libsolidity/smtCheckerTests/types/array_aliasing_memory_1.sol @@ -26,4 +26,4 @@ contract C } } // ---- -// Warning 6328: (400-457): Assertion violation happens here +// Warning 6328: (400-457): 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 2e46f6890..38b561d7c 100644 --- a/test/libsolidity/smtCheckerTests/types/array_aliasing_memory_2.sol +++ b/test/libsolidity/smtCheckerTests/types/array_aliasing_memory_2.sol @@ -16,4 +16,4 @@ contract C } } // ---- -// Warning 6328: (321-338): Assertion violation happens here +// Warning 6328: (321-338): 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 5885053c5..8b2d2af68 100644 --- a/test/libsolidity/smtCheckerTests/types/array_aliasing_memory_3.sol +++ b/test/libsolidity/smtCheckerTests/types/array_aliasing_memory_3.sol @@ -20,4 +20,4 @@ contract C } } // ---- -// Warning 6328: (476-493): Assertion violation happens here +// Warning 6328: (476-493): 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 75077c31a..66995bb9e 100644 --- a/test/libsolidity/smtCheckerTests/types/array_aliasing_storage_2.sol +++ b/test/libsolidity/smtCheckerTests/types/array_aliasing_storage_2.sol @@ -20,4 +20,4 @@ contract C } } // ---- -// Warning 6328: (436-453): Assertion violation happens here +// Warning 6328: (436-453): 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 b59f340ad..641d990ff 100644 --- a/test/libsolidity/smtCheckerTests/types/array_aliasing_storage_3.sol +++ b/test/libsolidity/smtCheckerTests/types/array_aliasing_storage_3.sol @@ -23,5 +23,5 @@ contract C } } // ---- -// Warning 6328: (524-542): Assertion violation happens here -// Warning 6328: (585-602): Assertion violation happens here +// Warning 6328: (524-542): Assertion violation happens here. +// Warning 6328: (585-602): 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 d1440dd92..662cfce8a 100644 --- a/test/libsolidity/smtCheckerTests/types/array_aliasing_storage_4.sol +++ b/test/libsolidity/smtCheckerTests/types/array_aliasing_storage_4.sol @@ -19,5 +19,5 @@ contract C } } // ---- -// Warning 6328: (225-242): Assertion violation happens here -// Warning 6328: (289-307): Assertion violation happens here +// Warning 6328: (225-242): Assertion violation happens here. +// Warning 6328: (289-307): 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 8f592202f..e0e83fcb0 100644 --- a/test/libsolidity/smtCheckerTests/types/array_aliasing_storage_5.sol +++ b/test/libsolidity/smtCheckerTests/types/array_aliasing_storage_5.sol @@ -26,5 +26,5 @@ contract C } } // ---- -// Warning 6328: (431-449): Assertion violation happens here -// Warning 6328: (504-521): Assertion violation happens here +// Warning 6328: (431-449): Assertion violation happens here. +// Warning 6328: (504-521): 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 f518188dd..1535622ed 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 2018: (47-148): Function state mutability can be restricted to pure -// Warning 6328: (128-144): Assertion violation happens here +// Warning 6328: (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 1c782058f..f1621a29b 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 6328: (130-149): Assertion violation happens here +// Warning 6328: (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 f46069553..2962f31a1 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 6328: (138-160): Assertion violation happens here +// Warning 6328: (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 4d0ab0b8b..107034177 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 6328: (137-159): Assertion violation happens here +// Warning 6328: (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 6111c7247..0ff955118 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 6328: (243-268): Assertion violation happens here +// Warning 6328: (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 5c44924cb..ca62d918a 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 6328: (274-302): Assertion violation happens here +// Warning 6328: (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 b49c7d5e0..0e4332acd 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 6328: (148-170): Assertion violation happens here +// Warning 6328: (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 82508ab21..7ecba981e 100644 --- a/test/libsolidity/smtCheckerTests/types/array_mapping_aliasing_1.sol +++ b/test/libsolidity/smtCheckerTests/types/array_mapping_aliasing_1.sol @@ -23,5 +23,5 @@ contract C } } // ---- -// Warning 6328: (421-452): Assertion violation happens here -// Warning 6328: (635-671): Assertion violation happens here +// Warning 6328: (421-452): Assertion violation happens here. +// Warning 6328: (635-671): 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 7fa85234f..6f3e15258 100644 --- a/test/libsolidity/smtCheckerTests/types/array_mapping_aliasing_2.sol +++ b/test/libsolidity/smtCheckerTests/types/array_mapping_aliasing_2.sol @@ -26,4 +26,4 @@ contract C } } // ---- -// Warning 6328: (777-797): Assertion violation happens here +// Warning 6328: (777-797): 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 87d385190..d33293e2d 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 6328: (139-161): Assertion violation happens here +// Warning 6328: (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 3ef862bf8..28445a718 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 6328: (186-211): Assertion violation happens here +// Warning 6328: (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 2e6fc54c7..f9861e2ba 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 6328: (280-308): Assertion violation happens here +// Warning 6328: (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 c2b2b9ab5..90e96c91c 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 6328: (228-246): Assertion violation happens here -// Warning 6328: (293-310): Assertion violation happens here +// Warning 6328: (228-246): Assertion violation happens here. +// Warning 6328: (293-310): 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 429e5428d..a06fa054e 100644 --- a/test/libsolidity/smtCheckerTests/types/array_static_aliasing_storage_5.sol +++ b/test/libsolidity/smtCheckerTests/types/array_static_aliasing_storage_5.sol @@ -21,4 +21,4 @@ contract C } } // ---- -// Warning 6328: (338-355): Assertion violation happens here +// Warning 6328: (338-355): 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 185797d69..23b82d02e 100644 --- a/test/libsolidity/smtCheckerTests/types/array_static_mapping_aliasing_1.sol +++ b/test/libsolidity/smtCheckerTests/types/array_static_mapping_aliasing_1.sol @@ -23,5 +23,5 @@ contract C } } // ---- -// Warning 6328: (425-456): Assertion violation happens here -// Warning 6328: (639-675): Assertion violation happens here +// Warning 6328: (425-456): Assertion violation happens here. +// Warning 6328: (639-675): 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 c9ed4f34c..b2a3f4f2f 100644 --- a/test/libsolidity/smtCheckerTests/types/array_static_mapping_aliasing_2.sol +++ b/test/libsolidity/smtCheckerTests/types/array_static_mapping_aliasing_2.sol @@ -26,4 +26,4 @@ contract C } } // ---- -// Warning 6328: (781-801): Assertion violation happens here +// Warning 6328: (781-801): 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 f499d14fd..b66c561a2 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 6328: (90-99): Assertion violation happens here +// Warning 6328: (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 9905ca0ba..afa9f48c3 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 6328: (98-112): Assertion violation happens here +// Warning 6328: (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 433125a63..c6d6e4b24 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 6328: (119-141): Assertion violation happens here +// Warning 6328: (119-141): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/types/contract.sol b/test/libsolidity/smtCheckerTests/types/contract.sol index aca1a4613..61a8b6be7 100644 --- a/test/libsolidity/smtCheckerTests/types/contract.sol +++ b/test/libsolidity/smtCheckerTests/types/contract.sol @@ -7,4 +7,4 @@ contract C } } // ---- -// Warning 6328: (84-98): Assertion violation happens here +// Warning 6328: (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 8d79761e5..3bbd2ff96 100644 --- a/test/libsolidity/smtCheckerTests/types/contract_2.sol +++ b/test/libsolidity/smtCheckerTests/types/contract_2.sol @@ -12,4 +12,4 @@ contract C } } // ---- -// Warning 6328: (109-123): Assertion violation happens here +// Warning 6328: (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 ae1e407b7..9e13e9904 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 6328: (90-113): Assertion violation happens here +// Warning 6328: (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 787cb2807..225673047 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 6328: (144-159): Assertion violation happens here +// Warning 6328: (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 7e54307ed..4bc796741 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 6328: (159-179): Assertion violation happens here +// Warning 6328: (159-179): 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 e43404600..d6feee699 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 6328: (115-130): Assertion violation happens here +// Warning 6328: (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 55138482c..ba07e19dd 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 6328: (96-110): Assertion violation happens here -// Warning 6328: (114-130): Assertion violation happens here +// Warning 6328: (96-110): Assertion violation happens here. +// Warning 6328: (114-130): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/types/fixed_bytes_2.sol b/test/libsolidity/smtCheckerTests/types/fixed_bytes_2.sol index 46409c1e6..48cc5068b 100644 --- a/test/libsolidity/smtCheckerTests/types/fixed_bytes_2.sol +++ b/test/libsolidity/smtCheckerTests/types/fixed_bytes_2.sol @@ -12,4 +12,4 @@ contract C } } // ---- -// Warning 6328: (116-130): Assertion violation happens here +// Warning 6328: (116-130): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/types/fixed_bytes_access_2.sol b/test/libsolidity/smtCheckerTests/types/fixed_bytes_access_2.sol index e81d093f8..8b8a0625e 100644 --- a/test/libsolidity/smtCheckerTests/types/fixed_bytes_access_2.sol +++ b/test/libsolidity/smtCheckerTests/types/fixed_bytes_access_2.sol @@ -8,4 +8,4 @@ contract C { // ---- // Warning 7989: (101-108): Assertion checker does not yet support index accessing fixed bytes. // Warning 7989: (112-121): Assertion checker does not yet support index accessing fixed bytes. -// Warning 3046: (117-120): Division by zero happens here +// Warning 3046: (117-120): Division by zero 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 549701105..c9363d252 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 7650: (128-137): Assertion checker does not yet support this expression. -// Warning 4661: (141-155): Assertion violation happens here +// Warning 4661: (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 079e1eded..4c8e0bedb 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 6328: (134-153): Assertion violation happens here +// Warning 6328: (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 b8e9ebe5b..b37f8db30 100644 --- a/test/libsolidity/smtCheckerTests/types/mapping_2.sol +++ b/test/libsolidity/smtCheckerTests/types/mapping_2.sol @@ -8,4 +8,4 @@ contract C } } // ---- -// Warning 6328: (111-130): Assertion violation happens here +// Warning 6328: (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 2156b469e..2a8cae614 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 6328: (154-178): Assertion violation happens here +// Warning 6328: (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 9792df905..117d4fa17 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 6328: (176-204): Assertion violation happens here +// Warning 6328: (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 6ebdf518b..c2771eb8b 100644 --- a/test/libsolidity/smtCheckerTests/types/mapping_5.sol +++ b/test/libsolidity/smtCheckerTests/types/mapping_5.sol @@ -8,4 +8,4 @@ contract C } } // ---- -// Warning 6328: (125-144): Assertion violation happens here +// Warning 6328: (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 afe1ce6dc..a95b84379 100644 --- a/test/libsolidity/smtCheckerTests/types/mapping_aliasing_1.sol +++ b/test/libsolidity/smtCheckerTests/types/mapping_aliasing_1.sol @@ -16,4 +16,4 @@ contract C } } // ---- -// Warning 6328: (266-286): Assertion violation happens here +// Warning 6328: (266-286): 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 e99eea071..2b7a5174f 100644 --- a/test/libsolidity/smtCheckerTests/types/mapping_as_local_var_1.sol +++ b/test/libsolidity/smtCheckerTests/types/mapping_as_local_var_1.sol @@ -16,5 +16,5 @@ contract c { } } // ---- -// Warning 6328: (288-324): Assertion violation happens here -// Warning 6328: (336-372): Assertion violation happens here +// Warning 6328: (288-324): Assertion violation happens here. +// Warning 6328: (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 cd2f34168..b9e5c731d 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 6328: (289-306): Assertion violation happens here +// Warning 6328: (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 f77baadef..e2a028732 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 6328: (119-133): Assertion violation happens here +// Warning 6328: (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 5353ed6f8..8d046f032 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 6328: (128-142): Assertion violation happens here +// Warning 6328: (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 4bb6409ca..6b6aaa278 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 6328: (362-421): Assertion violation happens here +// Warning 6328: (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 f18a466b1..e4a4930b8 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 6328: (123-136): Assertion violation happens here +// Warning 6328: (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 776c2541c..c9f090d73 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 6328: (84-97): Assertion violation happens here +// Warning 6328: (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 19a7fa094..8d4dd6930 100644 --- a/test/libsolidity/smtCheckerTests/types/string_1.sol +++ b/test/libsolidity/smtCheckerTests/types/string_1.sol @@ -7,4 +7,4 @@ contract C } } // ---- -// Warning 6328: (110-154): Assertion violation happens here +// Warning 6328: (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 834cce276..492768c96 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 6328: (175-190): Assertion violation happens here +// Warning 6328: (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 c2b74b2fe..e2ddd7df2 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 6328: (176-191): Assertion violation happens here +// Warning 6328: (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 3fe3bf2d1..f11a23946 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 6328: (186-201): Assertion violation happens here +// Warning 6328: (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 f72e6386f..98facdea4 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 6328: (261-276): Assertion violation happens here +// Warning 6328: (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 ee4994913..57254388f 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 6328: (251-266): Assertion violation happens here +// Warning 6328: (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 92f3c7e41..6b2569e82 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 6328: (170-190): Assertion violation happens here +// Warning 6328: (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 28f296add..d4f432722 100644 --- a/test/libsolidity/smtCheckerTests/types/string_literal_comparison_2.sol +++ b/test/libsolidity/smtCheckerTests/types/string_literal_comparison_2.sol @@ -10,5 +10,5 @@ contract C { } } // ---- -// Warning 6328: (147-166): Assertion violation happens here -// Warning 6328: (170-190): Assertion violation happens here +// Warning 6328: (147-166): Assertion violation happens here. +// Warning 6328: (170-190): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/types/struct/array_struct_array_struct_memory_unsafe.sol b/test/libsolidity/smtCheckerTests/types/struct/array_struct_array_struct_memory_unsafe.sol index 759538fd3..04b8a5620 100644 --- a/test/libsolidity/smtCheckerTests/types/struct/array_struct_array_struct_memory_unsafe.sol +++ b/test/libsolidity/smtCheckerTests/types/struct/array_struct_array_struct_memory_unsafe.sol @@ -27,9 +27,9 @@ contract C { } } // ---- -// Warning 6328: (257-280): Assertion violation happens here -// Warning 6328: (301-328): Assertion violation happens here -// Warning 6328: (350-379): Assertion violation happens here -// Warning 6328: (404-439): Assertion violation happens here -// Warning 6328: (467-508): Assertion violation happens here +// Warning 6328: (257-280): Assertion violation happens here. +// Warning 6328: (301-328): Assertion violation happens here. +// Warning 6328: (350-379): Assertion violation happens here. +// Warning 6328: (404-439): Assertion violation happens here. +// Warning 6328: (467-508): Assertion violation happens here. // Warning 4588: (228-238): Assertion checker does not yet implement this type of function call. diff --git a/test/libsolidity/smtCheckerTests/types/struct/struct_aliasing_memory.sol b/test/libsolidity/smtCheckerTests/types/struct/struct_aliasing_memory.sol index d34abd154..148e0946c 100644 --- a/test/libsolidity/smtCheckerTests/types/struct/struct_aliasing_memory.sol +++ b/test/libsolidity/smtCheckerTests/types/struct/struct_aliasing_memory.sol @@ -18,6 +18,6 @@ contract C { } } // ---- -// Warning 6328: (208-228): Assertion violation happens here -// Warning 6328: (232-252): Assertion violation happens here -// Warning 6328: (402-438): Assertion violation happens here +// Warning 6328: (208-228): Assertion violation happens here. +// Warning 6328: (232-252): Assertion violation happens here. +// Warning 6328: (402-438): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/types/struct/struct_aliasing_storage.sol b/test/libsolidity/smtCheckerTests/types/struct/struct_aliasing_storage.sol index 2e03f04c0..07603e988 100644 --- a/test/libsolidity/smtCheckerTests/types/struct/struct_aliasing_storage.sol +++ b/test/libsolidity/smtCheckerTests/types/struct/struct_aliasing_storage.sol @@ -25,6 +25,6 @@ contract C { } } // ---- -// Warning 6328: (158-178): Assertion violation happens here -// Warning 6328: (182-202): Assertion violation happens here -// Warning 6328: (352-388): Assertion violation happens here +// Warning 6328: (158-178): Assertion violation happens here. +// Warning 6328: (182-202): Assertion violation happens here. +// Warning 6328: (352-388): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/types/struct/struct_array_struct_array_memory_unsafe_1.sol b/test/libsolidity/smtCheckerTests/types/struct/struct_array_struct_array_memory_unsafe_1.sol index 88dac27ac..2ff9bfd14 100644 --- a/test/libsolidity/smtCheckerTests/types/struct/struct_array_struct_array_memory_unsafe_1.sol +++ b/test/libsolidity/smtCheckerTests/types/struct/struct_array_struct_array_memory_unsafe_1.sol @@ -27,8 +27,8 @@ contract C { } } // ---- -// Warning 6328: (228-245): Assertion violation happens here -// Warning 6328: (263-282): Assertion violation happens here -// Warning 6328: (301-321): Assertion violation happens here -// Warning 6328: (343-366): Assertion violation happens here -// Warning 6328: (391-417): Assertion violation happens here +// Warning 6328: (228-245): Assertion violation happens here. +// Warning 6328: (263-282): Assertion violation happens here. +// Warning 6328: (301-321): Assertion violation happens here. +// Warning 6328: (343-366): Assertion violation happens here. +// Warning 6328: (391-417): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/types/struct/struct_array_struct_array_memory_unsafe_2.sol b/test/libsolidity/smtCheckerTests/types/struct/struct_array_struct_array_memory_unsafe_2.sol index 4524d55d5..25dfd0f41 100644 --- a/test/libsolidity/smtCheckerTests/types/struct/struct_array_struct_array_memory_unsafe_2.sol +++ b/test/libsolidity/smtCheckerTests/types/struct/struct_array_struct_array_memory_unsafe_2.sol @@ -27,8 +27,8 @@ contract C { } } // ---- -// Warning 6328: (239-259): Assertion violation happens here -// Warning 6328: (277-301): Assertion violation happens here -// Warning 6328: (320-346): Assertion violation happens here -// Warning 6328: (368-400): Assertion violation happens here -// Warning 6328: (425-463): Assertion violation happens here +// Warning 6328: (239-259): Assertion violation happens here. +// Warning 6328: (277-301): Assertion violation happens here. +// Warning 6328: (320-346): Assertion violation happens here. +// Warning 6328: (368-400): Assertion violation happens here. +// Warning 6328: (425-463): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/types/struct/struct_array_struct_array_storage_unsafe_1.sol b/test/libsolidity/smtCheckerTests/types/struct/struct_array_struct_array_storage_unsafe_1.sol index a09f9caff..0d0466828 100644 --- a/test/libsolidity/smtCheckerTests/types/struct/struct_array_struct_array_storage_unsafe_1.sol +++ b/test/libsolidity/smtCheckerTests/types/struct/struct_array_struct_array_storage_unsafe_1.sol @@ -26,8 +26,8 @@ contract C { } } // ---- -// Warning 6328: (181-198): Assertion violation happens here -// Warning 6328: (216-235): Assertion violation happens here -// Warning 6328: (254-274): Assertion violation happens here -// Warning 6328: (296-319): Assertion violation happens here +// Warning 6328: (181-198): Assertion violation happens here. +// Warning 6328: (216-235): Assertion violation happens here. +// Warning 6328: (254-274): Assertion violation happens here. +// Warning 6328: (296-319): Assertion violation happens here. // Warning 6328: (344-370): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/types/struct/struct_delete_memory.sol b/test/libsolidity/smtCheckerTests/types/struct/struct_delete_memory.sol index 2c169e587..9140a12a0 100644 --- a/test/libsolidity/smtCheckerTests/types/struct/struct_delete_memory.sol +++ b/test/libsolidity/smtCheckerTests/types/struct/struct_delete_memory.sol @@ -14,5 +14,5 @@ contract C { } } // ---- -// Warning 6328: (184-204): Assertion violation happens here -// Warning 6328: (208-242): Assertion violation happens here +// Warning 6328: (184-204): Assertion violation happens here. +// Warning 6328: (208-242): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/types/struct/struct_delete_storage.sol b/test/libsolidity/smtCheckerTests/types/struct/struct_delete_storage.sol index 560a6a298..871848c3d 100644 --- a/test/libsolidity/smtCheckerTests/types/struct/struct_delete_storage.sol +++ b/test/libsolidity/smtCheckerTests/types/struct/struct_delete_storage.sol @@ -19,5 +19,5 @@ contract C { } } // ---- -// Warning 6328: (240-260): Assertion violation happens here -// Warning 6328: (264-298): Assertion violation happens here +// Warning 6328: (240-260): Assertion violation happens here. +// Warning 6328: (264-298): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/types/struct/struct_mapping.sol b/test/libsolidity/smtCheckerTests/types/struct/struct_mapping.sol index 55a2df245..51bacc53d 100644 --- a/test/libsolidity/smtCheckerTests/types/struct/struct_mapping.sol +++ b/test/libsolidity/smtCheckerTests/types/struct/struct_mapping.sol @@ -15,4 +15,4 @@ contract C { } } // ---- -// Warning 4661: (143-169): Assertion violation happens here +// Warning 4661: (143-169): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_1.sol b/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_1.sol index a862dc0fc..fddb5ead4 100644 --- a/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_1.sol +++ b/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_1.sol @@ -13,8 +13,8 @@ contract C { } } // ---- -// Warning 6328: (124-144): Assertion violation happens here -// Warning 6328: (148-182): Assertion violation happens here +// Warning 6328: (124-144): Assertion violation happens here. +// Warning 6328: (148-182): Assertion violation happens here. // Warning 8115: (81-85): Assertion checker does not yet support the type of this variable. // Warning 8115: (88-92): Assertion checker does not yet support the type of this variable. // Warning 7650: (131-135): Assertion checker does not yet support this expression. diff --git a/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_2.sol b/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_2.sol index 33f35d0ac..332278205 100644 --- a/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_2.sol +++ b/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_2.sol @@ -22,9 +22,9 @@ contract C { } } // ---- -// Warning 6328: (124-144): Assertion violation happens here -// Warning 6328: (148-182): Assertion violation happens here -// Warning 6328: (186-216): Assertion violation happens here +// Warning 6328: (124-144): Assertion violation happens here. +// Warning 6328: (148-182): Assertion violation happens here. +// Warning 6328: (186-216): Assertion violation happens here. // Warning 8115: (81-85): Assertion checker does not yet support the type of this variable. // Warning 8115: (88-92): Assertion checker does not yet support the type of this variable. // Warning 7650: (131-135): Assertion checker does not yet support this expression. diff --git a/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_3.sol b/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_3.sol index a3f859b71..596efe6cb 100644 --- a/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_3.sol +++ b/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_3.sol @@ -28,11 +28,11 @@ contract C { } } // ---- -// Warning 6328: (124-144): Assertion violation happens here -// Warning 6328: (148-182): Assertion violation happens here -// Warning 6328: (186-216): Assertion violation happens here -// Warning 6328: (220-264): Assertion violation happens here -// Warning 6328: (268-308): Assertion violation happens here +// Warning 6328: (124-144): Assertion violation happens here. +// Warning 6328: (148-182): Assertion violation happens here. +// Warning 6328: (186-216): Assertion violation happens here. +// Warning 6328: (220-264): Assertion violation happens here. +// Warning 6328: (268-308): Assertion violation happens here. // Warning 8115: (81-85): Assertion checker does not yet support the type of this variable. // Warning 8115: (88-92): Assertion checker does not yet support the type of this variable. // Warning 7650: (131-135): Assertion checker does not yet support this expression. diff --git a/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_4.sol b/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_4.sol index 9e627ebce..270a45700 100644 --- a/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_4.sol +++ b/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_4.sol @@ -18,9 +18,9 @@ contract C { } } // ---- -// Warning 6328: (197-233): Assertion violation happens here -// Warning 6328: (237-273): Assertion violation happens here -// Warning 6328: (359-391): Assertion violation happens here +// Warning 6328: (197-233): Assertion violation happens here. +// Warning 6328: (237-273): Assertion violation happens here. +// Warning 6328: (359-391): Assertion violation happens here. // Warning 8115: (81-85): Assertion checker does not yet support the type of this variable. // Warning 8115: (88-92): Assertion checker does not yet support the type of this variable. // Warning 8115: (135-147): Assertion checker does not yet support the type of this variable. diff --git a/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_5.sol b/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_5.sol index 079066bbb..42c4e6b42 100644 --- a/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_5.sol +++ b/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_5.sol @@ -16,7 +16,7 @@ contract C { } } // ---- -// Warning 6328: (192-236): Assertion violation happens here +// Warning 6328: (192-236): Assertion violation happens here. // Warning 8364: (126-135): Assertion checker does not yet implement type struct C.S storage ref // Warning 8364: (153-166): Assertion checker does not yet implement type struct C.S storage ref // Warning 7650: (170-181): Assertion checker does not yet support this expression. diff --git a/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_6.sol b/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_6.sol index 961dd1562..ad90f5c1c 100644 --- a/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_6.sol +++ b/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_6.sol @@ -21,10 +21,10 @@ contract C { } } // ---- -// Warning 4984: (200-208): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 6328: (185-209): Assertion violation happens here -// Warning 6328: (213-247): Assertion violation happens here -// Warning 6328: (264-281): Assertion violation happens here +// Warning 4984: (200-208): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 6328: (185-209): Assertion violation happens here. +// Warning 6328: (213-247): Assertion violation happens here. +// Warning 6328: (264-281): Assertion violation happens here. // Warning 8115: (81-85): Assertion checker does not yet support the type of this variable. // Warning 8115: (88-92): Assertion checker does not yet support the type of this variable. // Warning 7650: (119-123): Assertion checker does not yet support this expression. @@ -56,11 +56,11 @@ contract C { // Warning 8364: (258-260): Assertion checker does not yet implement type struct C.S storage ref // Warning 7650: (271-275): Assertion checker does not yet support this expression. // Warning 8364: (271-273): Assertion checker does not yet implement type struct C.S storage ref -// Warning 4144: (132-138): Underflow (resulting value less than 0) happens here -// Warning 2661: (132-138): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 4144: (142-148): Underflow (resulting value less than 0) happens here -// Warning 2661: (142-148): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 4144: (165-171): Underflow (resulting value less than 0) happens here -// Warning 2661: (165-171): Overflow (resulting value larger than 2**256 - 1) happens here -// Warning 4144: (175-181): Underflow (resulting value less than 0) happens here -// Warning 2661: (175-181): Overflow (resulting value larger than 2**256 - 1) happens here +// Warning 4144: (132-138): Underflow (resulting value less than 0) happens here. +// Warning 2661: (132-138): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 4144: (142-148): Underflow (resulting value less than 0) happens here. +// Warning 2661: (142-148): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 4144: (165-171): Underflow (resulting value less than 0) happens here. +// Warning 2661: (165-171): Overflow (resulting value larger than 2**256 - 1) happens here. +// Warning 4144: (175-181): Underflow (resulting value less than 0) happens here. +// Warning 2661: (175-181): Overflow (resulting value larger than 2**256 - 1) happens here. diff --git a/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_indirect_1.sol b/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_indirect_1.sol index e157edca2..90c98bb1b 100644 --- a/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_indirect_1.sol +++ b/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_indirect_1.sol @@ -17,8 +17,8 @@ contract C { } } // ---- -// Warning 6328: (158-178): Assertion violation happens here -// Warning 6328: (182-216): Assertion violation happens here +// Warning 6328: (158-178): Assertion violation happens here. +// Warning 6328: (182-216): Assertion violation happens here. // Warning 8115: (115-119): Assertion checker does not yet support the type of this variable. // Warning 8115: (122-126): Assertion checker does not yet support the type of this variable. // Warning 7650: (165-169): Assertion checker does not yet support this expression. diff --git a/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_indirect_2.sol b/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_indirect_2.sol index 2d8d9660d..e7c2651b4 100644 --- a/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_indirect_2.sol +++ b/test/libsolidity/smtCheckerTests/types/struct/struct_recursive_indirect_2.sol @@ -20,7 +20,7 @@ contract C { } } // ---- -// Warning 6328: (223-263): Assertion violation happens here +// Warning 6328: (223-263): Assertion violation happens here. // Warning 8115: (115-119): Assertion checker does not yet support the type of this variable. // Warning 8115: (122-126): Assertion checker does not yet support the type of this variable. // Warning 7650: (153-157): Assertion checker does not yet support this expression. diff --git a/test/libsolidity/smtCheckerTests/types/struct/struct_return.sol b/test/libsolidity/smtCheckerTests/types/struct/struct_return.sol index c7b7a5d5c..6feb6c0de 100644 --- a/test/libsolidity/smtCheckerTests/types/struct/struct_return.sol +++ b/test/libsolidity/smtCheckerTests/types/struct/struct_return.sol @@ -17,4 +17,4 @@ contract C { } } // ---- -// Warning 6328: (265-286): Assertion violation happens here +// Warning 6328: (265-286): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/types/struct/struct_state_var_array_pop_1.sol b/test/libsolidity/smtCheckerTests/types/struct/struct_state_var_array_pop_1.sol index 7d2a34855..55e377388 100644 --- a/test/libsolidity/smtCheckerTests/types/struct/struct_state_var_array_pop_1.sol +++ b/test/libsolidity/smtCheckerTests/types/struct/struct_state_var_array_pop_1.sol @@ -21,5 +21,5 @@ contract C { } } // ---- -// Warning 2529: (121-130): Empty array "pop" detected here -// Warning 6328: (230-254): Assertion violation happens here +// Warning 2529: (121-130): Empty array "pop" detected here. +// Warning 6328: (230-254): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/types/struct/struct_state_var_array_pop_2.sol b/test/libsolidity/smtCheckerTests/types/struct/struct_state_var_array_pop_2.sol index c0cd9daa2..3beb8b2ed 100644 --- a/test/libsolidity/smtCheckerTests/types/struct/struct_state_var_array_pop_2.sol +++ b/test/libsolidity/smtCheckerTests/types/struct/struct_state_var_array_pop_2.sol @@ -19,4 +19,4 @@ contract C { } // ---- // Warning 2529: (133-142): Empty array "pop" detected here. -// Warning 6328: (189-213): Assertion violation happens here +// Warning 6328: (189-213): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/types/struct/struct_unary_add.sol b/test/libsolidity/smtCheckerTests/types/struct/struct_unary_add.sol index ef9344861..66dd517ab 100644 --- a/test/libsolidity/smtCheckerTests/types/struct/struct_unary_add.sol +++ b/test/libsolidity/smtCheckerTests/types/struct/struct_unary_add.sol @@ -15,4 +15,4 @@ contract C { } } // ---- -// Warning 6328: (225-245): Assertion violation happens here +// Warning 6328: (225-245): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/types/struct/struct_unary_sub.sol b/test/libsolidity/smtCheckerTests/types/struct/struct_unary_sub.sol index 265a0b6a2..eab3ee252 100644 --- a/test/libsolidity/smtCheckerTests/types/struct/struct_unary_sub.sol +++ b/test/libsolidity/smtCheckerTests/types/struct/struct_unary_sub.sol @@ -16,4 +16,4 @@ contract C { } } // ---- -// Warning 6328: (240-260): Assertion violation happens here +// Warning 6328: (240-260): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/types/tuple_array_pop_1.sol b/test/libsolidity/smtCheckerTests/types/tuple_array_pop_1.sol index 089dcc5c1..e297cffd7 100644 --- a/test/libsolidity/smtCheckerTests/types/tuple_array_pop_1.sol +++ b/test/libsolidity/smtCheckerTests/types/tuple_array_pop_1.sol @@ -4,4 +4,4 @@ contract C { function f() public { (a).pop();} } // ---- -// Warning 2529: (78-87): Empty array "pop" detected here +// Warning 2529: (78-87): Empty array "pop" detected here. diff --git a/test/libsolidity/smtCheckerTests/types/tuple_array_pop_2.sol b/test/libsolidity/smtCheckerTests/types/tuple_array_pop_2.sol index 70e00939b..76c8e3cb3 100644 --- a/test/libsolidity/smtCheckerTests/types/tuple_array_pop_2.sol +++ b/test/libsolidity/smtCheckerTests/types/tuple_array_pop_2.sol @@ -4,4 +4,4 @@ contract C { function f() public { (((((a))))).pop();} } // ---- -// Warning 2529: (78-95): Empty array "pop" detected here +// Warning 2529: (78-95): Empty array "pop" detected here. diff --git a/test/libsolidity/smtCheckerTests/types/tuple_assignment_array_empty.sol b/test/libsolidity/smtCheckerTests/types/tuple_assignment_array_empty.sol index cac79a172..41aab1d69 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 6328: (136-153): Assertion violation happens here +// Warning 6328: (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 962060302..6ab354998 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 6328: (122-136): Assertion violation happens here +// Warning 6328: (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 fd8d3485b..2e99a36a2 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 6328: (132-146): Assertion violation happens here +// Warning 6328: (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 9cea35cbb..9c33d5eac 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 4984: (152-157): Overflow (resulting value larger than 2**256 - 1) happens here +// Warning 4984: (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 8c0b2f059..11e589bd0 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 6328: (224-234): Assertion violation happens here +// Warning 6328: (224-234): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/types/tuple_different_count_assignment_1.sol b/test/libsolidity/smtCheckerTests/types/tuple_different_count_assignment_1.sol index b0861b3b5..fbba81da9 100644 --- a/test/libsolidity/smtCheckerTests/types/tuple_different_count_assignment_1.sol +++ b/test/libsolidity/smtCheckerTests/types/tuple_different_count_assignment_1.sol @@ -8,4 +8,4 @@ contract C { } } // ---- -// Warning 6328: (157-171): Assertion violation happens here +// Warning 6328: (157-171): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/types/tuple_different_count_assignment_2.sol b/test/libsolidity/smtCheckerTests/types/tuple_different_count_assignment_2.sol index 02a14c1b4..655d19a04 100644 --- a/test/libsolidity/smtCheckerTests/types/tuple_different_count_assignment_2.sol +++ b/test/libsolidity/smtCheckerTests/types/tuple_different_count_assignment_2.sol @@ -8,4 +8,4 @@ contract C { } } // ---- -// Warning 6328: (159-173): Assertion violation happens here +// Warning 6328: (159-173): Assertion violation happens here. diff --git a/test/libsolidity/smtCheckerTests/types/tuple_function.sol b/test/libsolidity/smtCheckerTests/types/tuple_function.sol index 49ed1bb94..a9c8583cf 100644 --- a/test/libsolidity/smtCheckerTests/types/tuple_function.sol +++ b/test/libsolidity/smtCheckerTests/types/tuple_function.sol @@ -14,5 +14,5 @@ contract C } } // ---- -// Warning 6328: (182-196): Assertion violation happens here -// Warning 6328: (200-214): Assertion violation happens here +// Warning 6328: (182-196): Assertion violation happens here. +// Warning 6328: (200-214): 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 13dd7b10d..da0948385 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 6328: (199-213): Assertion violation happens here +// Warning 6328: (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 5d0dc71c7..48eba54ff 100644 --- a/test/libsolidity/smtCheckerTests/types/tuple_function_3.sol +++ b/test/libsolidity/smtCheckerTests/types/tuple_function_3.sol @@ -16,5 +16,5 @@ contract C } } // ---- -// Warning 6328: (205-219): Assertion violation happens here -// Warning 6328: (223-237): Assertion violation happens here +// Warning 6328: (205-219): Assertion violation happens here. +// Warning 6328: (223-237): 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 4226f85e8..7eb4c6731 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 6328: (82-96): Assertion violation happens here +// Warning 6328: (82-96): Assertion violation happens here.