Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Hyperion naming [3/3]: add working version #9

Merged
merged 19 commits into from
Dec 31, 2024
Merged

Hyperion naming [3/3]: add working version #9

merged 19 commits into from
Dec 31, 2024

Conversation

rgeraldes24
Copy link
Collaborator

@rgeraldes24 rgeraldes24 commented Dec 22, 2024 •
edited
Loading

DESC

  • Renamed Solidity terms to Hyperion
  • Renamed Ethereum terms to Zond
  • SMT test execution using the revised zvmone lib

Previous PRs

New Issues

TESTS

SMT tests require the z3 theorem prover(4.12.1):

curl -o /tmp/z3.rb https://raw.githubusercontent.com/Homebrew/homebrew-core/86d5c301bda10a670073e67cedd1dd2994fb492e/Formula/z3.rb
HOMEBREW_NO_AUTO_UPDATE=1 brew install --formula /tmp/z3.rb
brew pin z3
./scripts/build.sh # build again

Semantic tests require the zvmone lib:

git clone https://github.com/rgeraldes24/zvmone && cd zvmone
cmake -S . -B build -DZVMONE_TESTING=ON
cmake --build build --target package
# copy libzvmone.dylib to the root of the hyperion repo

Run the tests with:

./scripts/tests.sh

and

./scripts/tests.sh --no-smt

Results attached below

@rgeraldes24
Copy link
Collaborator Author

rgeraldes24 commented Dec 27, 2024 •
edited
Loading 

./scripts/tests.sh --no-smt

Testing Python scripts...
.............................................................................
----------------------------------------------------------------------
Ran 77 tests in 0.012s

OK
Testing LSP...
test pattern: *
Testing analyze_all_project_files_flat ...
Testing analyze_all_project_files_nested ...
Testing analyze_all_project_files_nested_with_include_paths ...
Testing custom_includes ...
Testing custom_includes_with_full_project ...
Testing didChange_in_A_causing_error_in_B ...
Testing generic ...
Running tests in subdirectory 'hover'...
	hover
Running tests in subdirectory 'goto'...
	publish_diagnostics_1
	goto_definition
	publish_diagnostics_2
	lib
	goto_definition_imports
Running tests in subdirectory 'semanticTokens'...
	structs
	functions
	enums
	modifiers
Running tests in subdirectory 'include-paths-nested-2'...
	foo
Running tests in subdirectory 'include-paths'...
	default_include
	using-custom-includes
	file_not_found_in_searchpath
	file_at_include_path
Running tests in subdirectory 'other-include-dir'...
Running tests in subdirectory 'analyze-full-project'...
	C
	D
	E
Running tests in subdirectory 'include-paths-nested'...
	foo
Running tests in subdirectory 'rename'...
	functionCall
	variable
	function
	import_directive
	contract
Testing publish_diagnostics_errors_multiline ...
Testing textDocument_closing_virtual_file_removes_imported_real_file ...
Testing textDocument_didChange_at_eol ...
Testing textDocument_didChange_delete_line_and_close ...
Testing textDocument_didChange_empty_file ...
Testing textDocument_didChange_multi_line ...
Testing textDocument_didChange_updates_diagnostics ...
Testing textDocument_didOpen_with_relative_import ...
Testing textDocument_didOpen_with_relative_import_without_project_url ...
Testing textDocument_opening_two_new_files_edit_and_close ...

Summary:

  Test cases: 17 passed, 0 failed
  Assertions: 383 passed, 0 failed

Running commandline tests...
Selected 508 out of      508 tests.
Using hypc binary at /Users/ricardogeraldes/workspace/rgeraldes24/solc/build/hypc/hypc
Testing passing files that are not found...
Testing passing files that are not files...
Testing passing empty remappings...
Running general commandline tests...
 - abiencoderv2_no_warning
 - asm_json
 - asm_json_import_all_valid_flags
 - asm_json_import_hex_subassembly_indices
 - asm_json_import_invalid_data_not_hex
 - asm_json_import_invalid_data_not_object
 - asm_json_import_invalid_jumptype_instruction
 - asm_json_import_invalid_value
 - asm_json_import_missing_subobject_indices
 - asm_json_import_no_value
 - asm_json_import_non_unique_sources
 - asm_json_import_optimize_not_supported
 - asm_json_import_out_of_range_data_index
 - asm_json_import_prevrandao
 - asm_json_import_random_order_data_index
 - asm_json_import_unrecognized_field
 - asm_json_import_untagged_jumpdest
 - asm_json_import_verbatim
 - asm_json_import_yul_more_subobjects
 - asm_json_import_yul_subobjects
 - asm_json_no_pretty_print
 - ast_compact_json_no_pretty_json
 - ast_compact_json_with_base_path
 - ast_ir
 - ast_json_import_wrong_zvmVersion
 - combined_json_abi
 - combined_json_generated_sources
 - combined_json_no_pretty_print
 - combined_json_stop_after_parsing
 - combined_json_with_base_path
 - combined_json_with_devdoc
 - combined_json_with_userdoc
 - constant_optimizer_yul
 - debug_info_in_yul_and_zvm_asm_print_all
 - debug_info_in_yul_and_zvm_asm_print_all_and_none
 - debug_info_in_yul_and_zvm_asm_print_location_only
 - debug_info_in_yul_and_zvm_asm_print_none
 - debug_info_in_yul_and_zvm_asm_print_snippet_only
 - debug_info_in_yul_snippet_escaping
 - dup_opt_peephole
 - error_codes
 - events_in_abi
 - exp_base_literal
 - function_debug_info
 - function_debug_info_via_yul
 - hashes
 - inline_assembly_function_name_clash
 - ir_compiler_inheritance_nosubobjects
 - ir_compiler_subobjects
 - ir_with_assembly_no_memoryguard_creation
 - ir_with_assembly_no_memoryguard_runtime
 - keccak_optimization_deploy_code
 - keccak_optimization_low_runs
 - linker_mode_invalid_option_no_optimize_yul
 - linker_mode_invalid_option_optimize
 - linker_mode_invalid_option_optimize_runs
 - linker_mode_invalid_option_optimize_yul
 - linker_mode_invalid_option_yul_optimizations
 - linker_mode_output_selection_invalid
 - linking_hyperion
 - linking_hyperion_unresolved_references
 - linking_qualified_library_name
 - linking_standard_hyperion
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - linking_standard_hyperion_quote_in_file_name
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - linking_standard_hyperion_unresolved_references
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - linking_standard_yul
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - linking_standard_yul_quote_in_file_name
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - linking_standard_yul_unresolved_references
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - linking_strict_assembly
 - linking_strict_assembly_duplicate_library_name
 - linking_strict_assembly_qualified_library_qualified_reference
 - linking_strict_assembly_qualified_library_unqualified_reference
 - linking_strict_assembly_same_library_name_different_files
 - linking_strict_assembly_same_library_name_different_files_in_link_references
 - linking_strict_assembly_unqualified_library_qualified_reference
 - linking_strict_assembly_unqualified_library_unqualified_reference
 - linking_strict_assembly_unresolved_references
 - linking_unqualified_library_name
 - message_format
 - message_format_utf8
 - metadata
 - model_checker_bmc_loop_iterations
   ---> skipped (SMT test)
 - model_checker_bmc_loop_iterations_invalid_arg
   ---> skipped (SMT test)
 - model_checker_bmc_loop_iterations_no_argument
   ---> skipped (SMT test)
 - model_checker_contracts_all
   ---> skipped (SMT test)
 - model_checker_contracts_all_explicit
   ---> skipped (SMT test)
 - model_checker_contracts_contract_missing
   ---> skipped (SMT test)
 - model_checker_contracts_empty_contract
   ---> skipped (SMT test)
 - model_checker_contracts_empty_source
   ---> skipped (SMT test)
 - model_checker_contracts_inexistent_contract
   ---> skipped (SMT test)
 - model_checker_contracts_inexistent_source
   ---> skipped (SMT test)
 - model_checker_contracts_one_contract_missing
   ---> skipped (SMT test)
 - model_checker_contracts_only_one
   ---> skipped (SMT test)
 - model_checker_contracts_source_missing
   ---> skipped (SMT test)
 - model_checker_divModSlacks_default_all
   ---> skipped (SMT test)
 - model_checker_divModSlacks_default_bmc
   ---> skipped (SMT test)
 - model_checker_divModSlacks_default_chc
   ---> skipped (SMT test)
 - model_checker_divModSlacks_false_all
   ---> skipped (SMT test)
 - model_checker_divModSlacks_false_bmc
   ---> skipped (SMT test)
 - model_checker_divModSlacks_false_chc
   ---> skipped (SMT test)
 - model_checker_engine_all
   ---> skipped (SMT test)
 - model_checker_engine_bmc
   ---> skipped (SMT test)
 - model_checker_engine_chc
   ---> skipped (SMT test)
 - model_checker_engine_none
   ---> skipped (SMT test)
 - model_checker_ext_calls_empty_arg
   ---> skipped (SMT test)
 - model_checker_ext_calls_trusted_chc
   ---> skipped (SMT test)
 - model_checker_ext_calls_untrusted_chc
   ---> skipped (SMT test)
 - model_checker_ext_calls_wrong_arg
   ---> skipped (SMT test)
 - model_checker_invariants_all
   ---> skipped (SMT test)
 - model_checker_invariants_contract
   ---> skipped (SMT test)
 - model_checker_invariants_contract_reentrancy
   ---> skipped (SMT test)
 - model_checker_invariants_reentrancy
   ---> skipped (SMT test)
 - model_checker_invariants_wrong
   ---> skipped (SMT test)
 - model_checker_print_query_all
   ---> skipped (SMT test)
 - model_checker_print_query_bmc
   ---> skipped (SMT test)
 - model_checker_print_query_chc
   ---> skipped (SMT test)
 - model_checker_print_query_no_smtlib2_solver_bmc
   ---> skipped (SMT test)
 - model_checker_print_query_no_smtlib2_solver_chc
   ---> skipped (SMT test)
 - model_checker_print_query_superflous_solver
   ---> skipped (SMT test)
 - model_checker_show_proved_safe_default_all_engines
   ---> skipped (SMT test)
 - model_checker_show_proved_safe_default_bmc
   ---> skipped (SMT test)
 - model_checker_show_proved_safe_default_chc
   ---> skipped (SMT test)
 - model_checker_show_proved_safe_true_all_engines
   ---> skipped (SMT test)
 - model_checker_show_proved_safe_true_bmc
   ---> skipped (SMT test)
 - model_checker_show_proved_safe_true_chc
   ---> skipped (SMT test)
 - model_checker_show_unproved_default_all_engines
   ---> skipped (SMT test)
 - model_checker_show_unproved_default_bmc
   ---> skipped (SMT test)
 - model_checker_show_unproved_default_chc
   ---> skipped (SMT test)
 - model_checker_show_unproved_true_all_engines
   ---> skipped (SMT test)
 - model_checker_show_unproved_true_bmc
   ---> skipped (SMT test)
 - model_checker_show_unproved_true_chc
   ---> skipped (SMT test)
 - model_checker_show_unsupported_default_all_engines
   ---> skipped (SMT test)
 - model_checker_show_unsupported_default_bmc
   ---> skipped (SMT test)
 - model_checker_show_unsupported_default_chc
   ---> skipped (SMT test)
 - model_checker_show_unsupported_true_all_engines
   ---> skipped (SMT test)
 - model_checker_show_unsupported_true_bmc
   ---> skipped (SMT test)
 - model_checker_show_unsupported_true_chc
   ---> skipped (SMT test)
 - model_checker_solvers_smtlib2
   ---> skipped (SMT test)
 - model_checker_solvers_wrong
   ---> skipped (SMT test)
 - model_checker_solvers_wrong2
   ---> skipped (SMT test)
 - model_checker_solvers_z3
   ---> skipped (SMT test)
 - model_checker_solvers_z3_implicit
   ---> skipped (SMT test)
 - model_checker_solvers_z3_smtlib2
   ---> skipped (SMT test)
 - model_checker_targets_all_all_engines
   ---> skipped (SMT test)
 - model_checker_targets_all_bmc
   ---> skipped (SMT test)
 - model_checker_targets_all_chc
   ---> skipped (SMT test)
 - model_checker_targets_assert_bmc
   ---> skipped (SMT test)
 - model_checker_targets_assert_chc
   ---> skipped (SMT test)
 - model_checker_targets_balance_bmc
   ---> skipped (SMT test)
 - model_checker_targets_balance_chc
   ---> skipped (SMT test)
 - model_checker_targets_constant_condition_bmc
   ---> skipped (SMT test)
 - model_checker_targets_constant_condition_chc
   ---> skipped (SMT test)
 - model_checker_targets_default_all_engines
   ---> skipped (SMT test)
 - model_checker_targets_default_bmc
   ---> skipped (SMT test)
 - model_checker_targets_default_chc
   ---> skipped (SMT test)
 - model_checker_targets_div_by_zero_bmc
   ---> skipped (SMT test)
 - model_checker_targets_div_by_zero_chc
   ---> skipped (SMT test)
 - model_checker_targets_error
   ---> skipped (SMT test)
 - model_checker_targets_out_of_bounds_bmc
   ---> skipped (SMT test)
 - model_checker_targets_out_of_bounds_chc
   ---> skipped (SMT test)
 - model_checker_targets_overflow_bmc
   ---> skipped (SMT test)
 - model_checker_targets_overflow_chc
   ---> skipped (SMT test)
 - model_checker_targets_pop_empty_bmc
   ---> skipped (SMT test)
 - model_checker_targets_pop_empty_chc
   ---> skipped (SMT test)
 - model_checker_targets_underflow_bmc
   ---> skipped (SMT test)
 - model_checker_targets_underflow_chc
   ---> skipped (SMT test)
 - model_checker_targets_underflow_overflow_assert_bmc
   ---> skipped (SMT test)
 - model_checker_targets_underflow_overflow_assert_chc
   ---> skipped (SMT test)
 - model_checker_targets_underflow_overflow_bmc
   ---> skipped (SMT test)
 - model_checker_targets_underflow_overflow_chc
   ---> skipped (SMT test)
 - model_checker_timeout_all
   ---> skipped (SMT test)
 - model_checker_timeout_bmc
   ---> skipped (SMT test)
 - model_checker_timeout_chc
   ---> skipped (SMT test)
 - name_simplifier
 - no_cbor_metadata
 - no_cbor_metadata_with_metadata_hash
 - no_contract_combined_json
 - no_import_callback
 - object_compiler
 - optimize_full_storage_write
 - optimizer_BlockDeDuplicator
 - optimizer_array_sload
 - optimizer_enabled_invalid_yul_optimizer_enabled_and_disabled
 - optimizer_inliner_add
 - optimizer_inliner_call_from_constructor
 - optimizer_inliner_dynamic_reference
 - optimizer_inliner_dynamic_reference_constructor
 - optimizer_inliner_inc
 - optimizer_inliner_multireturn
 - optimizer_user_yul
 - output_selection_all_A1
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - output_selection_all_A2
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - output_selection_all_blank
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - output_selection_all_star
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - output_selection_single_A1
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - output_selection_single_B1
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - output_selection_single_all
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - pretty_json_indent_only
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - pretty_json_standard
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - pretty_json_standard_indent
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - require_overload
 - revert_strings
 - standard_cli_output_selection_invalid
 - standard_debug_info_in_yul_and_zvm_asm_print_all
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_debug_info_in_yul_and_zvm_asm_print_location_only
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_debug_info_in_yul_and_zvm_asm_print_none
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_debug_info_in_yul_and_zvm_asm_print_snippet_only
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_debug_info_in_yul_location
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_debug_info_in_zvm_asm_via_ir_location
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_default_success
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_empty_file_name
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_file_not_found
 - standard_function_debug_info
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_generatedSources
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_immutable_references
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_import_ast
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_import_ast_select_bytecode
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_invalid_option_no_optimize_yul
 - standard_invalid_option_optimize
 - standard_invalid_option_optimize_runs
 - standard_invalid_option_optimize_yul
 - standard_invalid_option_yul_optimizations
 - standard_irOptimized_ast_requested
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_irOptimized_requested
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_ir_ast_requested
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_ir_requested
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_json_no_pretty_print
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_metadata
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_method_identifiers_requested
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_method_identifiers_requested_empty
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_missing_key_useLiteralContent
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_model_checker_bmc_loop_iterations
   ---> skipped (SMT test)
 - standard_model_checker_bmc_loop_iterations_invalid_arg
   ---> skipped (SMT test)
 - standard_model_checker_contracts_all
   ---> skipped (SMT test)
 - standard_model_checker_contracts_all_explicit
   ---> skipped (SMT test)
 - standard_model_checker_contracts_empty_array
   ---> skipped (SMT test)
 - standard_model_checker_contracts_empty_contract
   ---> skipped (SMT test)
 - standard_model_checker_contracts_empty_source
   ---> skipped (SMT test)
 - standard_model_checker_contracts_inexistent_contract
   ---> skipped (SMT test)
 - standard_model_checker_contracts_multi_source
   ---> skipped (SMT test)
 - standard_model_checker_contracts_only_one
   ---> skipped (SMT test)
 - standard_model_checker_contracts_wrong_key_sources
   ---> skipped (SMT test)
 - standard_model_checker_contracts_wrong_key_sources_2
   ---> skipped (SMT test)
 - standard_model_checker_contracts_wrong_key_sources_3
   ---> skipped (SMT test)
 - standard_model_checker_contracts_wrong_key_sources_4
   ---> skipped (SMT test)
 - standard_model_checker_divModSlacks_default_all
   ---> skipped (SMT test)
 - standard_model_checker_divModSlacks_default_bmc
   ---> skipped (SMT test)
 - standard_model_checker_divModSlacks_default_chc
   ---> skipped (SMT test)
 - standard_model_checker_divModSlacks_false_all
   ---> skipped (SMT test)
 - standard_model_checker_divModSlacks_false_bmc
   ---> skipped (SMT test)
 - standard_model_checker_divModSlacks_false_chc
   ---> skipped (SMT test)
 - standard_model_checker_divModSlacks_wrong
   ---> skipped (SMT test)
 - standard_model_checker_engine_all
   ---> skipped (SMT test)
 - standard_model_checker_engine_bmc
   ---> skipped (SMT test)
 - standard_model_checker_engine_chc
   ---> skipped (SMT test)
 - standard_model_checker_engine_none
   ---> skipped (SMT test)
 - standard_model_checker_ext_calls_empty_arg
   ---> skipped (SMT test)
 - standard_model_checker_ext_calls_trusted_chc
   ---> skipped (SMT test)
 - standard_model_checker_ext_calls_untrusted_chc
   ---> skipped (SMT test)
 - standard_model_checker_ext_calls_wrong_arg_1
   ---> skipped (SMT test)
 - standard_model_checker_ext_calls_wrong_arg_2
   ---> skipped (SMT test)
 - standard_model_checker_invariants_contract
   ---> skipped (SMT test)
 - standard_model_checker_invariants_contract_reentrancy
   ---> skipped (SMT test)
 - standard_model_checker_invariants_reentrancy
   ---> skipped (SMT test)
 - standard_model_checker_invariants_wrong_key
   ---> skipped (SMT test)
 - standard_model_checker_invariants_wrong_type
   ---> skipped (SMT test)
 - standard_model_checker_invariants_wrong_type_2
   ---> skipped (SMT test)
 - standard_model_checker_print_query_all
   ---> skipped (SMT test)
 - standard_model_checker_print_query_bmc
   ---> skipped (SMT test)
 - standard_model_checker_print_query_chc
   ---> skipped (SMT test)
 - standard_model_checker_print_query_invalid_arg
   ---> skipped (SMT test)
 - standard_model_checker_print_query_no_smtlib2_solver
   ---> skipped (SMT test)
 - standard_model_checker_print_query_superflous_solver
   ---> skipped (SMT test)
 - standard_model_checker_show_proved_safe_default_all_engines
   ---> skipped (SMT test)
 - standard_model_checker_show_proved_safe_default_bmc
   ---> skipped (SMT test)
 - standard_model_checker_show_proved_safe_default_chc
   ---> skipped (SMT test)
 - standard_model_checker_show_proved_safe_false_all_engines
   ---> skipped (SMT test)
 - standard_model_checker_show_proved_safe_false_bmc
   ---> skipped (SMT test)
 - standard_model_checker_show_proved_safe_false_chc
   ---> skipped (SMT test)
 - standard_model_checker_show_proved_safe_true_all_engines
   ---> skipped (SMT test)
 - standard_model_checker_show_proved_safe_true_bmc
   ---> skipped (SMT test)
 - standard_model_checker_show_proved_safe_true_chc
   ---> skipped (SMT test)
 - standard_model_checker_show_proved_safe_wrong
   ---> skipped (SMT test)
 - standard_model_checker_show_unproved_default_all_engines
   ---> skipped (SMT test)
 - standard_model_checker_show_unproved_false_all_engines
   ---> skipped (SMT test)
 - standard_model_checker_show_unproved_false_bmc
   ---> skipped (SMT test)
 - standard_model_checker_show_unproved_false_chc
   ---> skipped (SMT test)
 - standard_model_checker_show_unproved_true_all_engines
   ---> skipped (SMT test)
 - standard_model_checker_show_unproved_true_bmc
   ---> skipped (SMT test)
 - standard_model_checker_show_unproved_true_chc
   ---> skipped (SMT test)
 - standard_model_checker_show_unproved_wrong
   ---> skipped (SMT test)
 - standard_model_checker_show_unsupported_default_all_engines
   ---> skipped (SMT test)
 - standard_model_checker_show_unsupported_default_bmc
   ---> skipped (SMT test)
 - standard_model_checker_show_unsupported_default_chc
   ---> skipped (SMT test)
 - standard_model_checker_show_unsupported_false_all_engines
   ---> skipped (SMT test)
 - standard_model_checker_show_unsupported_false_bmc
   ---> skipped (SMT test)
 - standard_model_checker_show_unsupported_false_chc
   ---> skipped (SMT test)
 - standard_model_checker_show_unsupported_true_all_engines
   ---> skipped (SMT test)
 - standard_model_checker_show_unsupported_true_bmc
   ---> skipped (SMT test)
 - standard_model_checker_show_unsupported_true_chc
   ---> skipped (SMT test)
 - standard_model_checker_show_unsupported_wrong
   ---> skipped (SMT test)
 - standard_model_checker_solvers_none
   ---> skipped (SMT test)
 - standard_model_checker_solvers_smtlib2
   ---> skipped (SMT test)
 - standard_model_checker_solvers_z3
   ---> skipped (SMT test)
 - standard_model_checker_solvers_z3_smtlib2
   ---> skipped (SMT test)
 - standard_model_checker_targets_assert_bmc
   ---> skipped (SMT test)
 - standard_model_checker_targets_assert_chc
   ---> skipped (SMT test)
 - standard_model_checker_targets_balance_bmc
   ---> skipped (SMT test)
 - standard_model_checker_targets_balance_chc
   ---> skipped (SMT test)
 - standard_model_checker_targets_constantCondition_bmc
   ---> skipped (SMT test)
 - standard_model_checker_targets_constantCondition_chc
   ---> skipped (SMT test)
 - standard_model_checker_targets_default_all_engines
   ---> skipped (SMT test)
 - standard_model_checker_targets_default_bmc
   ---> skipped (SMT test)
 - standard_model_checker_targets_default_chc
   ---> skipped (SMT test)
 - standard_model_checker_targets_div_by_zero_bmc
   ---> skipped (SMT test)
 - standard_model_checker_targets_div_by_zero_chc
   ---> skipped (SMT test)
 - standard_model_checker_targets_empty_array
   ---> skipped (SMT test)
 - standard_model_checker_targets_out_of_bounds_bmc
   ---> skipped (SMT test)
 - standard_model_checker_targets_out_of_bounds_chc
   ---> skipped (SMT test)
 - standard_model_checker_targets_overflow_bmc
   ---> skipped (SMT test)
 - standard_model_checker_targets_overflow_chc
   ---> skipped (SMT test)
 - standard_model_checker_targets_pop_empty_bmc
   ---> skipped (SMT test)
 - standard_model_checker_targets_pop_empty_chc
   ---> skipped (SMT test)
 - standard_model_checker_targets_underflow_bmc
   ---> skipped (SMT test)
 - standard_model_checker_targets_underflow_chc
   ---> skipped (SMT test)
 - standard_model_checker_targets_underflow_overflow_assert_bmc
   ---> skipped (SMT test)
 - standard_model_checker_targets_underflow_overflow_assert_chc
   ---> skipped (SMT test)
 - standard_model_checker_targets_underflow_overflow_bmc
   ---> skipped (SMT test)
 - standard_model_checker_targets_underflow_overflow_chc
   ---> skipped (SMT test)
 - standard_model_checker_targets_wrong_target_types
   ---> skipped (SMT test)
 - standard_model_checker_targets_wrong_target_types_2
   ---> skipped (SMT test)
 - standard_model_checker_targets_wrong_targets
   ---> skipped (SMT test)
 - standard_model_checker_timeout_all
   ---> skipped (SMT test)
 - standard_model_checker_timeout_bmc
   ---> skipped (SMT test)
 - standard_model_checker_timeout_chc
   ---> skipped (SMT test)
 - standard_model_checker_timeout_wrong_key
   ---> skipped (SMT test)
 - standard_model_checker_timeout_wrong_value
   ---> skipped (SMT test)
 - standard_no_append_cbor
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_no_append_cbor_with_metadata_hash
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_no_import_callback
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_only_ast_requested
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_optimizer_generatedSources
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_optimizer_invalid_detail_type
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_optimizer_invalid_details
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_optimizer_no_yul
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_optimizer_yul
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_optimizer_yulDetails
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_optimizer_yulDetails_no_object
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_optimizer_yulDetails_optimiserSteps
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_optimizer_yulDetails_optimiserSteps_invalid_abbreviation
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_optimizer_yulDetails_optimiserSteps_invalid_nested_delimiter
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_optimizer_yulDetails_optimiserSteps_mutliple_delimiters
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_optimizer_yulDetails_optimiserSteps_nested_brackets
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_optimizer_yulDetails_optimiserSteps_nesting_too_deep
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_optimizer_yulDetails_optimiserSteps_no_yul
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_optimizer_yulDetails_optimiserSteps_type
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_optimizer_yulDetails_optimiserSteps_unbalanced_closing_bracket
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_optimizer_yulDetails_optimiserSteps_unbalanced_opening_bracket
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_optimizer_yulDetails_optimiserSteps_with_cleanup_sequence
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_optimizer_yulDetails_optimiserSteps_with_empty_cleanup_sequence
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_optimizer_yulDetails_optimiserSteps_with_empty_optimisation_sequence
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_optimizer_yulDetails_optimiserSteps_with_empty_sequence
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_optimizer_yulDetails_optimiserSteps_with_empty_sequence_no_yul
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_optimizer_yulDetails_optimiserSteps_with_whitespace_newline_sequence_no_yul
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_optimizer_yulDetails_without_yul
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_outputs_on_analysis_error_fatal
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_outputs_on_analysis_error_fatal_after_current_step
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_outputs_on_analysis_error_non_fatal
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_outputs_on_compilation_error
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_outputs_on_parsing_error
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_parsing_import_absolute_paths
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_secondary_source_location
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_stop_after_parsing_ast_requested
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_stop_after_parsing_bytecode_requested
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_stop_after_parsing_non_binary_output_requested
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_urls_existing_and_missing
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_urls_missing
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_viair_requested
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_wrong_key_auxiliary_input
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_wrong_key_metadata
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_wrong_key_optimizer
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_wrong_key_root
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_wrong_key_settings
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_wrong_key_source
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_wrong_type_auxiliary_input
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_wrong_type_auxiliary_input_smtlib2responses
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_wrong_type_auxiliary_input_smtlib2responses_member
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_wrong_type_metadata
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_wrong_type_optimizer
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_wrong_type_output_selection
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_wrong_type_output_selection_contract
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_wrong_type_output_selection_file
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_wrong_type_output_selection_output
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_wrong_type_remappings
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_wrong_type_remappings_entry
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_wrong_type_root
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_wrong_type_settings
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_wrong_type_source
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_wrong_type_sources
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_wrong_type_useLiteralContent
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_yul
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_yul_debug_info_print_all
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_yul_debug_info_print_location_only
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_yul_debug_info_print_none
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_yul_debug_info_print_snippet_only
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_yul_embedded_object_name
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_yul_immutable_references
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_yul_invalid_object_name
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_yul_multiple_files
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_yul_multiple_files_selected
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_yul_object
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_yul_object_invalid_sub
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_yul_object_name
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_yul_optimiserSteps
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_yul_optimized
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_yul_single_file_via_urls
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_yul_stack_opt
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_yul_stack_opt_disabled
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_yul_zvm_version_shanghai
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - standard_zvm_version_shanghai
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - stdin
 - stop_after_parsing_abi
 - stop_after_parsing_ast
 - storage_layout_bytes
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - storage_layout_dyn_array
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - storage_layout_many
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - storage_layout_mapping
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - storage_layout_smoke
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - storage_layout_smoke_two_contracts
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - storage_layout_string
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - storage_layout_struct
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - storage_layout_struct_packed
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - storage_layout_user_defined
 - storage_layout_user_defined_no_pretty_print
 - storage_layout_value_types
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - storage_layout_value_types_packed
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - strict_asm_ast_compact_json
 - strict_asm_debug_info_print_all
 - strict_asm_debug_info_print_location_only
 - strict_asm_debug_info_print_none
 - strict_asm_debug_info_print_snippet_only
 - strict_asm_invalid_option_output_dir
 - strict_asm_jump
 - strict_asm_msize_with_optimizer
 - strict_asm_msize_without_optimizer
 - strict_asm_only_cr
 - strict_asm_optimizer_invalid_yul_optimizer_enabled_and_disabled
 - strict_asm_optimizer_steps
 - strict_asm_options_in_non_asm_mode
 - strict_asm_output_selection_asm_only
 - strict_asm_output_selection_bin_only
 - strict_asm_output_selection_invalid
 - strict_asm_output_selection_ir_optimized_only
 - strict_asm_zvm_version_shanghai
 - structured_documentation_source_location
 - too_long_line
 - too_long_line_both_sides_short
 - too_long_line_edge_in
 - too_long_line_edge_out
 - too_long_line_left_short
 - too_long_line_multiline
 - too_long_line_right_short
 - viair_abicoder_v1
 - viair_msize_without_optimizer
 - viair_subobject_optimization
 - viair_subobjects
 - yul_function_name_clashes
 - yul_function_name_clashes_different_params
 - yul_optimize_runs
 - yul_optimizer_steps
 - yul_optimizer_steps_disabled
 - yul_optimizer_steps_invalid_abbreviation
 - yul_optimizer_steps_nested_brackets
 - yul_optimizer_steps_nesting_too_deep
 - yul_optimizer_steps_short_sequence
 - yul_optimizer_steps_unbalanced_closing_bracket
 - yul_optimizer_steps_unbalanced_opening_bracket
 - yul_optimizer_steps_with_empty_cleanup_sequence
 - yul_optimizer_steps_with_empty_optimization_sequence
 - yul_optimizer_steps_without_optimize_empty_sequence
 - yul_string_format_ascii
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - yul_string_format_ascii_bytes32
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - yul_string_format_ascii_bytes32_from_number
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - yul_string_format_ascii_long
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - yul_string_format_hex
<stdin>:5: SyntaxWarning: invalid escape sequence '\s'
 - yul_verbatim
 - yul_verbatim_msize
 - zvm_version_shanghai
 - zvmasm_prevrandao
 - ~assembler_modes
 - ~ast_export_with_stop_after_parsing
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................<skipping utf8 error>...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
 - ~ast_import_export
Looking at     3224 .hyp files...
······················································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································

UnicodeDecodeError in '/Users/ricardogeraldes/workspace/rgeraldes24/solc/test/libhyperion/syntaxTests/string/invalid_utf8_sequence.hyp': 'utf-8' codec can't decode byte 0xc0 in position 36: invalid start byte
This is expected for some tests containing invalid utf8 sequences. Exception will be ignored.


··································································································································································································································································································································································································································································································································································································································································································································································································································
SUCCESS: 1213 tests passed, 0 failed, 2011 could not be compiled (    3224 sources total).
 - ~bytecode_equivalence_independent_of_import_discovery_order
Warning: This is a pre-release compiler version, please do not use it in production.

Warning: This is a pre-release compiler version, please do not use it in production.

 - ~cli_and_standard_json_equivalence
    - --optimize vs optimizer.enabled: true (--asm output)
    - --optimize-yul vs optimizer.details.yul: true (--asm output)
 - ~compilation_tests
    - MultiSigWallet/
    - corion/
    - gnosis/
    - milestonetracker/
 - ~deduplicator-verbatim-bug
 - ~documentation_examples
    - Compiling example test_01cf44255061536d5ec61e90dfa16ee827b7f0d6429ac40190c832ef7722b252_yul_rst.yul
    - Compiling example test_0a9b87d0a48f2913a1d8a45b107f1f1c1df4b15c13c8016e22a71ebdf4348779_yul_rst.yul
    - Compiling example test_13906b03dd86ce01d03ad4bcc94bc332e23af8b12d38454a3c1e4ef1125fa104_optimizer_rst.yul
    - Compiling example test_154a5bd07c18b6b1225a6833b4b13fa8683d3840339f5aaf96a2135df8801623_yul_rst.yul
    - Compiling example test_1ac9cfcf4461bb0040277c26272d2d4a7d464d180716dfa7ddd9a318b38730a5_optimizer_rst.yul
    - Compiling example test_23a080794bc85de643eb19d5707fe2e2898c4a088fdd553c23611c6a9265bee3_yul_rst.yul
    - Compiling example test_2bc36ab06e864588e3cb0709702da3b28d6474bb3fda46fcf3d458226d54b029_optimizer_rst.yul
    - Compiling example test_2d2c92c88967e4801c47d20383c931744413b00099349ac615e7e79d2a0d6a3b_optimizer_rst.yul
    - Compiling example test_399af7ec26b13fd4334991dcbb7b2b732e871171b01e3cc8a4197739c39db093_optimizer_rst.yul
    - Compiling example test_3d2eca5981a51786d40f6760d51d3c82b07bfedb292a01a4dfcac27fede6d9a9_optimizer_rst.yul
    - Compiling example test_3d3422ad636b8dcd052f8008ad0de66776f66139510bf7e52e493253e4f51e72_yul_rst.yul
    - Compiling example test_3d51713230520e42307358ef534c675fbb2fd42f8112f38d211986bde6e20514_optimizer_rst.yul
    - Compiling example test_3d832ce543d76e812b70233ecd86cd99a3e9c7c7e7cae3d3e7272764e39d5bfe_optimizer_rst.yul
    - Compiling example test_4111f9d52bcf44f413fb3fcc0ff8e02cb0c1715326b663fb25548cd05709b13a_assembly_rst.yul
    - Compiling example test_45c17d1754a2698cfd6c772b838e4e1fccf9fb35349f7a6ec1e2e0741d211540_yul_rst.yul
    - Compiling example test_4cfacb4ae55e951249c6596ee93cc046fe694a6e748e3bb7e5c6e3069b1df56c_optimizer_rst.yul
    - Compiling example test_5ba1f8b147389530d33187f2eccbc408e5d1cecc4d7c8b8e9346df7e6f41e579_yul_rst.yul
    - Compiling example test_609c2b4a7c143ef2efa35fb95281be8c9409225f73e494d9c7beeba46d53ce4b_optimizer_rst.yul
    - Compiling example test_651ad384ccab80220fe683ff80ebb8defd5e08eb283457255dea000895463d2d_yul_rst.yul
    - Compiling example test_71b5276b9d6023ad9cbb319a85831944c37d0951a5cc8f9794b9aad90c9cffe1_optimizer_rst.yul
    - Compiling example test_7373b5f273c234e0d769f6a6e8c6e5d9085ff829f82316f0102575241e27cac9_optimizer_rst.yul
    - Compiling example test_74046938b4a0975b67a5b24eee38935a024a6cb79d269a4fd48eb141db2d4c10_yul_rst.yul
    - Compiling example test_7575c02e00db5459e71a66b99345b8cab7b1457058ce35fb4e80f2b5fc4e149d_optimizer_rst.yul
    - Compiling example test_779ca67f53b4000d2a3d4260ab15f65c3511627f8ceba5a3b6371265b1b912ec_yul_rst.yul
    - Compiling example test_78a9bc706d87688c0aba1c3955414d47e0161619ada25f07d74d93d7b705ddd3_yul_rst.yul
    - Compiling example test_8a7d0c55d9a4f6fa275315ade59d3ecd0f601e89be4cb3a4355c203a036d7571_optimizer_rst.yul
    - Compiling example test_8d0f77dd8c4c171200513223f367bea2ade1042659e5bbeed863930fc4f9d45c_yul_rst.yul
    - Compiling example test_92fb36851e6536c339152052e88bcc5baa1fc17f8caf5baeb1a92a6f8d1106c6_yul_rst.yul
    - Compiling example test_959253443325f5021e0cf2710d91201e15cc072929f3dff5af65e3cec7aef342_yul_rst.yul
    - Compiling example test_a1b06f42f7a1cbfccef37b1aed8d2eee230de0848985c98273bc97e348fd1993_optimizer_rst.yul
    - Compiling example test_a870df325aadd26b113ef66caabc02570ed8f64eacb8d4a2c28db2c5f49842a6_yul_rst.yul
    - Compiling example test_b1b84ca6431ee8ad1da000869154dd0fe6af94496f2a1b7a456f7bc4f226812f_optimizer_rst.yul
    - Compiling example test_b9d2dba13d60b36ef76bd14f53be7f403750667667e74c49228f43c94f607d4d_yul_rst.yul
    - Compiling example test_c5eae416fce1f600adf4ae11ec2c32feb761e9f066be8f1ea1325d5c6d9c65bb_optimizer_rst.yul
    - Compiling example test_d2ce100135c1d0bb9eea71420afee8c6d52ec8858613d075a79918ae63e802a3_yul_rst.yul
    - Compiling example test_d4ffafb93f39844cbcf2b2b3810fabca15be6f54aac222c34c39b6a329012211_yul_rst.yul
    - Compiling example test_da3e979e0f48e7478a0b5d9bdcf6a49ff38b9e2333d4c7993c2c34f301b6056e_optimizer_rst.yul
    - Compiling example test_edc46332205f95723d5c04710449c8c1360cfb106a16b1770c92c001c39e068f_optimizer_rst.yul
    - Compiling example test_f0d2d2ef5ecf07e0238cd5408ab2efdf132098a3d316deafc1e377130d658711_yul_rst.yul
    - Compiling example test_00c288a4024612ca47f783d7149e9c9a87ef923e54108a2a7c3fa0fd1264705f_smtchecker_rst.hyp
    - Compiling example test_01b1073c0857b48ce9e3051af58221c2df138c29bcc2ba688ca9cd4a80bc2064_control_structures_rst.hyp
    - Compiling example test_01bfc866236376547913cdbbbddd69596fb9973018d0a05c3e06a16a1dec1a4e_style_guide_rst.hyp
    - Compiling example test_01eff4c06be149892e7e83fa62a6761e9ddd97ebb146229ac7140272792fe494_style_guide_rst.hyp
    - Compiling example test_02ca41d17bbc44a23d1b87d7590c3adb0e5b784603ddaf9101d2766581ebc5aa_style_guide_rst.hyp
    - Compiling example test_0575f339a3cf2f4e5b753ce57fa823b5ab0768fa5dee040fef21e70dac2380ab_using_for_rst.hyp
    - Compiling example test_092c9015c2f1321f8372407ca557d3434604950c54b193459fd4f81acdf599ce_visibility_and_getters_rst.hyp
    - Compiling example test_109969944ad05ec14bb24f401d6dd8a09f2cb98799941cd682fc198da600047b_common_patterns_rst.hyp
    - Compiling example test_14350af035114d6f683fbe0e086c20782714e7f14c40123eba1f5913d4cfa334_functions_rst.hyp
    - Compiling example test_169c9a25c6e2218a5332a48ab6365f721511712a30b26ca371e0d1cca457ad37_security_considerations_rst.hyp
    - Compiling example test_16a87f527ff4f7a61439cbf1a8db251675a73bf94924dfe9dbd4a7f7eba984fa_smtchecker_rst.hyp
    - Compiling example test_1c14187a72beccf9004df75b23b03aaeeed1a059c8d08762bf8fda3317eb3911_structure_of_a_contract_rst.hyp
    - Compiling example test_1faa3f49bdc84b166fa09c0c6e1e76da2be3095e97d2f2829e06733095797604_style_guide_rst.hyp
    - Compiling example test_21f9c34659ed442b3cf75b51bf2fbfdc293584f70afa21b24b762ecee96fc017_safe_remote_rst.hyp
    - Compiling example test_244df6ee9ce8c7e8e0d6dd93d1e0290280a4e0b7a4c2d8ab2679736885e34488_security_considerations_rst.hyp
    - Compiling example test_26a71f88e6121f3a84dfd4a91d35e7a7901d620c6d5e91ecba6c53bf1f6c3707_smtchecker_rst.hyp
    - Compiling example test_270ecfdf590d75b380cef1865d5866440c1ef577c6fa3387e3596e6bff30bdca_reference_types_rst.hyp
    - Compiling example test_274bcc2583285470db8f12c12952b91d9def887ab0d27818041a34423f63c7cc_reference_types_rst.hyp
    - Compiling example test_277e2e50ec0977b9148a195fadab59d4a14b2bf872ed1c8dcf0e631a24cc0c87_inheritance_rst.hyp
    - Compiling example test_2a7c91e8cad887591200acb3bc00a629aabe8fcd69086e81748af5acf62958b5_style_guide_rst.hyp
    - Compiling example test_2b23fd76b0e7ee082c23bb8af77664c537370d1187493edbda82dce1e6de00d2_security_considerations_rst.hyp
    - Compiling example test_2c3432c1eaa77ceec620e82ec1c9644fe6a5f3832215fb1dc0ed6c544f809083_style_guide_rst.hyp
    - Compiling example test_2d24a906caa1e76c567eeadc5a55aa1b986a6d3f5f3c67b2eca09bae0116dc42_functions_rst.hyp
    - Compiling example test_2d8f91085b07677e13b3df7ddf586e3818b9b9a7eec50961c3848a18bd8d8c48_inheritance_rst.hyp
    - Compiling example test_31d4c5071d778c722eb71745df372b5554ce67a029583283b94130ad7d3b8123_functions_rst.hyp
    - Compiling example test_329f93705f7e233466343a6f8f3de4f246a86a28317b3753800f3c67129babf9_style_guide_rst.hyp
    - Compiling example test_366a094bffbab17b7b0ef84cc24aaceb102a0368649db407da01633c81860ea3_assembly_rst.hyp
    - Compiling example test_37c81f000c172ca2de01ec75e0a087c9d0f9417a2fced095abc7a6aec372222a_abstract_contracts_rst.hyp
    - Compiling example test_38ecbd23823b2d97e19776b6aea6538dfdb566edf1a7676a10342740e60fc2e6_visibility_and_getters_rst.hyp
    - Compiling example test_38f7592a18ae015a0a736fade9cddebe241c6d44eb24ecb1592158775432c607_control_structures_rst.hyp
    - Compiling example test_3989334f7c15d45db5832f91b7eb38629902a086d4377f87df63dbf91483136f_mapping_types_rst.hyp
    - Compiling example test_3b08f16d239046e08ddf92f283f7bbd9eea6e50c9de281a6364e39811fe5b8cf_layout_in_storage_rst.hyp
    - Compiling example test_3bd4ca39e2770b1e0e95ce170d2e31a0d7f2d606ab24c3f703c8d52851d6bb66_visibility_and_getters_rst.hyp
    - Compiling example test_3f520f6d8c03e8ef9fe164d37014ba428da5b4d7add3103bf4286dad0cc4ad7f_style_guide_rst.hyp
    - Compiling example test_403a53819bf8639b7fae280945d4b62ba86c8a81b03ec3fb39493e826c149e9c_style_guide_rst.hyp
    - Compiling example test_4116c99b7e10c7e19ab409d9534ed1777ff6b7b74ca7b7a19696a25ca53e83d5_inheritance_rst.hyp
    - Compiling example test_41e8cca89d34d0dd7f1f94413209dc684b92a85f9f8f9ab78a9ca564b2967849_natspec_format_rst.hyp
    - Compiling example test_46135e821d83852d293bf19d85ff005c01c1769823dcd79c2d86d5534e80ebfa_inheritance_rst.hyp
    - Compiling example test_4b4dd76c14233e3cafd2249eb674fcb087fe5a33f3eecb587455b3fc3eb54380_value_types_rst.hyp
    - Compiling example test_4be15230e93f863ad1cdd779d9b216e2494fec1aa6c8c203aea6fbf243c3a89c_control_structures_rst.hyp
    - Compiling example test_4fb67a9c75436e745cce0f098b1e33e21e16eaef8d3e6f0f2a14a911479d6ac6_style_guide_rst.hyp
    - Compiling example test_5015d8799ff93b54c91ed65cdd10d752efac58399c7558dff964357d02aab926_value_types_rst.hyp
    - Compiling example test_503a4186d40c109de59e3843e6222dce7d6e22b20900c626e699401cf9b2c5a5_smtchecker_rst.hyp
    - Compiling example test_50dd8cca3b7f3ef040120b8048be999e7b1b31d9c18ac25cb35aebd6e19d42bb_layout_in_storage_rst.hyp
    - Compiling example test_520afd769b2b0963608ac1d51552495602e5b6be362ed92b431675ad3e00d236_security_considerations_rst.hyp
    - Compiling example test_53d343ce9b56608934560a91061c833fd55f3a4ce49286f4f40e28a37106407b_structure_of_a_contract_rst.hyp
    - Compiling example test_5471f3797581ba1e285e075d6f5f33aeeab89ba0874888d0217f335ab82cfacd_security_considerations_rst.hyp
    - Compiling example test_5576f8967da8b51ac5226b301e8a7815ba018d13b7a8dc9448958714d54e1f20_control_structures_rst.hyp
    - Compiling example test_585f796b474cb42f861dd86859c3f53115316a1ad7387641330559b9d8bac886_reference_types_rst.hyp
    - Compiling example test_58fe71603af1d5cc45723498d7c0860aa70cb43f1cc6f5e14db84b1060374472_abi_spec_rst.hyp
    - Compiling example test_59e8a44ab096c419dd7198428e8b5467d73cf0ce435280ea837a840e27d16c28_reference_types_rst.hyp
    - Compiling example test_5b240118f66a313ad56a6e22ebc785e8f17918c285258f80ce87e9960184f359_mapping_types_rst.hyp
    - Compiling example test_5c6e08de09aa49e08420e8cca8d4075efacefd23b99900ea5b113ed19b9e153e_style_guide_rst.hyp
    - Compiling example test_5d915e0845ebf6d7a24f5e3717b8f8af97994f19c4121ad0d7888ec8120a593b_style_guide_rst.hyp
    - Compiling example test_5dd0055e0ba2a3d7b51b23a5762164d3f95a33ad3a48cdb71699049f170dc4dd_functions_rst.hyp
    - Compiling example test_5e54f19338a3e2222b36d9fa20d883938efbd49d6a1535fd28e8f2f657b6f4c5_reference_types_rst.hyp
    - Compiling example test_601f340efe4e411c4ad4b1432f20991a2d5936a35a986170199f3825bfbe53c9_visibility_and_getters_rst.hyp
    - Compiling example test_60b39b7cf61ebcd7cf1a72eebae83bda943d8ff4e9e08babd79f6ad0541c30bd_modular_rst.hyp
    - Compiling example test_6539d05135d972e72b9e15ac780d8516c63e0a4b03da09e2c852c2757249fae0_introduction_to_smart_contracts_rst.hyp
    - Compiling example test_663d8ddb0a6aa872874b4385a4b542e8dbd8fb12f5fd3adac22edf190c97aa13_control_structures_rst.hyp
    - Compiling example test_66a0384fa5e776b35bedb9f0575421c4d810bf2e61beec7893616272885ad188_errors_rst.hyp
    - Compiling example test_684ddcbb9b76ee2a42976ef4c5ed5fdffd7185c5a8adf58ca908c008564891ab_style_guide_rst.hyp
    - Compiling example test_6ab3d6e165b52882a40cd91a009fcd5179f13e2cf0e0d291cdada65e9764695b_smtchecker_rst.hyp
    - Compiling example test_6bf608afda845d2e16e2b1d672b41a145e876ce35e5e5883cef885991a5f8eed_style_guide_rst.hyp
    - Compiling example test_6cb3e443eaef1907cf829651a143a77f50ca9596262403d75c4f5ec4db2a9529_interfaces_rst.hyp
    - Compiling example test_6d57f8abcab7ecead89cc6d1bc6623b9ca9385eee1cb5b55471eb75af9172d74_style_guide_rst.hyp
    - Compiling example test_724bb8e11ab365f30db4e707f361d217aa5bb20dd65f2a08ac1b4f1fc38c4644_value_types_rst.hyp
    - Compiling example test_78e4abb8e9dbc306f4dc2810ce3dafef876932f0a1d19d1704fee08723347ae4_using_for_rst.hyp
    - Compiling example test_7ba13499d807e4f9a62f432054fc53b8ee47c1c8286c6d7daa60915b1a86cbbb_structure_of_a_contract_rst.hyp
    - Compiling example test_7bbee11d77e3453c282c78df8b11ecda0a3537a31e18c9cb2d914c58031595d9_assembly_rst.hyp
    - Compiling example test_7c0643ccec62a817c66b4f1a3bde7629c05414a8a528612e33c2a1d7d81d56b7_smtchecker_rst.hyp
    - Compiling example test_7c343f52a4f28f1144a28652cd9474a173b271c3d51d5ea82ff89f4130f04878_reference_types_rst.hyp
    - Compiling example test_7ebf7d4db37fe90fcae85ce16683a18b155bc73ff3a7d141bf8c6e077f54022e_functions_rst.hyp
    - Compiling example test_7f8e507b3e36fcda5406681e61e92d59b91f3503764bd43dbff8617526067064_abi_spec_rst.hyp
    - Compiling example test_8059b22b3dc765f81f28528d1dea4a0e1f769044c37ec48ed67a3e5da510efe5_smtchecker_rst.hyp
    - Compiling example test_865d625294398d987b412c965634ab5ff5611fd1386a27781ba5e169c5d380b5_reference_types_rst.hyp
    - Compiling example test_8890f9eca329fac0b01a1d23245b79dc95629f5a0f7d702ad2bc164946316b8c_control_structures_rst.hyp
    - Compiling example test_8ef54c062cbeddb6bea4533b65df004e5a501277e2d5af6df218ada5ea20758c_abi_spec_rst.hyp
    - Compiling example test_91cb253a1774bb86f58fa22707cd4f33e46e11fb14159d5674e1b21226e2da53_style_guide_rst.hyp
    - Compiling example test_930e039b00cfe2dc404145150dee3b1f2ab70d27d04ed3fba1efabd35d7f3be5_blind_auction_rst.hyp
    - Compiling example test_9453ee9d5903ec34dc7cef8c3442da7c01c767cc5d01e608ce86b10f38d86904_inheritance_rst.hyp
    - Compiling example test_971bec2fcb3b84dd051e3b2e1da3cdfe90d8cfae6f67a458d0cec8a0bea03a76_control_structures_rst.hyp
    - Compiling example test_97f9f6682483e1f1352c1727bb837d59044201d129b68d48cb43193e73557f33_common_patterns_rst.hyp
    - Compiling example test_9857dbb9d940bc5ef71ea7f5d9475b8eec0ec1007520c22ed3b82d22bcf96e60_common_patterns_rst.hyp
    - Compiling example test_9907b96471c2b6db35bcd47b274587cfea0623166a0018185ed24c984f21923a_inheritance_rst.hyp
    - Compiling example test_99f61a90bd1ce7d32ac4a0986f8c2ee5a8fe005621408f64221c217478a5ec42_control_structures_rst.hyp
    - Compiling example test_9a5fdcfba2663301169b28ae0628f7023cf6a07529492243328090bb2cb2658d_inheritance_rst.hyp
    - Compiling example test_9ce6a0b48b4d55d093c63473d19cbcdac7700cf1de46c2f337ccbad12a29656d_mapping_types_rst.hyp
    - Compiling example test_9e8956f64f62b872c08740ae3906468cad0300f7acbcad1d2e97270cd2880b83_libraries_rst.hyp
    - Compiling example test_a045a886b782e89aebe7c410141456e2d71b5269753191f74e4592690fe477f3_control_structures_rst.hyp
    - Compiling example test_a220883e04d86814797bb1e6dc70bc27009e4c5267f0328885fe4f366f35464e_introduction_to_smart_contracts_rst.hyp
    - Compiling example test_a36d219cd25a7662fe6e61989ae8a0a62a89749b7fc6c65e798ca01b577b1d70_inheritance_rst.hyp
    - Compiling example test_a6b3dbb39150a6475e61a78de5dc9804b3cbd056b24461d27a9637125a87f7cd_value_types_rst.hyp
    - Compiling example test_a7a4f5f81d9765f4fcd54c16fc6c3b722b19e67b65358ad25979739418f62acb_libraries_rst.hyp
    - Compiling example test_a7ffc1b47d8faaa4fc2f80dc8516da8c3de7fd6180a9cc9340690c851cff9e11_functions_rst.hyp
    - Compiling example test_a9a52557e9713bd0ef777e1a1ce1c5dcef94fa62d7f754664e73d7efca133ea8_conversion_rst.hyp
    - Compiling example test_a9afd6b1684822a26ac7a2654feb46512ef94e63ee9a9edde6fe90802a7acef1_assembly_rst.hyp
    - Compiling example test_aa3eedf0354901ac957b1643a2eecaea5ee0dc1f7b99ec750dd501036fd6cdbb_smtchecker_rst.hyp
    - Compiling example test_ae8da953f8aba5c70ea0309ed1b133d3c3d4678bb77efd8275880578b9fa6c48_assembly_rst.hyp
    - Compiling example test_afeb9403c57734dbf184299e2a400148ea60b65be689c3bfa533862563a902eb_reference_types_rst.hyp
    - Compiling example test_b02c590251a36656fec50afab8d2b4959231feada9aee49875e8d881baa398c7_reference_types_rst.hyp
    - Compiling example test_b2adcd3291e70b922c81f8106222380660ad0414292e089bbcc83a12b83dc938_style_guide_rst.hyp
    - Compiling example test_b576beb01ce4f29211bc3a62668d0561de21320c4043e6169f4b823d29f89b7a_structure_of_a_contract_rst.hyp
    - Compiling example test_b6afdfe2a8f83331afee0ff6d70a23755a271789a6a8bceefcec7dc7da3e0f14_smtchecker_rst.hyp
    - Compiling example test_b7ddc2994c707dd4548d8872d5013f7d9c3257c60e7c254c8e64cffcd4e2f1f2_smtchecker_rst.hyp
    - Compiling example test_bc77f6542bdb9b03616325b0a289aba535a5dc2c4a7f960b7de2d248dcad4231_common_patterns_rst.hyp
    - Compiling example test_bcb0327a965d8a899781a28abfea7b7c74a22a79bef42c384f3a66f0671e8338_functions_rst.hyp
    - Compiling example test_be54d6bd8ade60bc6984dc973250e3b91badf440b912f559268b2ba2d9dac237_creating_contracts_rst.hyp
    - Compiling example test_c003656c567d473527ee29006a6b22e62bfedee6ad1497094eeb2f5e71be55f5_inheritance_rst.hyp
    - Compiling example test_c0c215e7286211d90542bb94f6f99190feb461335f672b08e1d60c59511bba9c_events_rst.hyp
    - Compiling example test_c0c2cc35bbd87e221196616732b39f9c104a8ffc01bc1c985462be4bd2254bce_control_structures_rst.hyp
    - Compiling example test_c18fdf165ceebbacdc899ad5513300306d0cc5e179e9d65357d840e005eefafc_inheritance_rst.hyp
    - Compiling example test_c25ea38c3c60db95281a6ed5cda03463e1c3ddbe1266c4f11e613dd3eeef5416_mapping_types_rst.hyp
    - Compiling example test_c30fc0aa7d5a6a1e5fa24e928df0a0846be7482bb35a62e508cc27f245e9c745_style_guide_rst.hyp
    - Compiling example test_c45db598891c2a1b8c8e95d640380f9c67941af11ae3bba1a85cad42d48cdcce_function_modifiers_rst.hyp
    - Compiling example test_c9b9435642faba298bb869f361ba9b62e181f8f1966f2ea2e87c55c9e205094e_structure_of_a_contract_rst.hyp
    - Compiling example test_cb8a147882f8ebc5ff6e9b9fff7dcaf889376c96604ed4e66ea97f6ea2cbfa30_control_structures_rst.hyp
    - Compiling example test_cf8a6ba191b952fb110aa93191c5519b613502fcdf727281b51444ff39865fd5_control_structures_rst.hyp
    - Compiling example test_d025d21290322e6f138a8c05ef96321f4a469e6ea1cc57fffc70af6edc3000a5_constant_state_variables_rst.hyp
    - Compiling example test_d0f011cb228897c8a9da21eb3955cb4fbd8d9b999ce986035ed9e21e395f493d_structure_of_a_contract_rst.hyp
    - Compiling example test_d4eeb878836969ca2ded887479caf4206f8652b8b1ede6f1c281ea8682fe5edd_libraries_rst.hyp
    - Compiling example test_d52edb389ee3db492a46c79aa9507b99ccfe8e9db6391e5d743804f0c664e011_style_guide_rst.hyp
    - Compiling example test_d5fc3db4defccfeec49631ac5eaf5f04a5c55d4bdef38782cc19552b934caa02_inheritance_rst.hyp
    - Compiling example test_d618cde42947a4cbf95158b97f33622805616a3e02941530125da21f7aaf4b36_reference_types_rst.hyp
    - Compiling example test_d7a8e287bde7a005bb3ce00051c34178f939232e6ffb36d0951f7debaad8721f_inheritance_rst.hyp
    - Compiling example test_d83f7adcd495a593bf3c539ea66e17bbee2c2777ba9ea7417d1987dbbd116c4c_abi_spec_rst.hyp
    - Compiling example test_d845d53c05ea6eed1c0178fd69d3366b1211108bc8b90c424d2412eedd8b7253_control_structures_rst.hyp
    - Compiling example test_dabbe88ffbf996c9329092b334a3807476e95b71223a4bda173da8ebf55ccbb5_control_structures_rst.hyp
    - Compiling example test_db85cb48ab43bc607ff8f5458e9c1a1cc91c668988f678537d124c2f42e74ce6_reference_types_rst.hyp
    - Compiling example test_dc3f44a0bd4b8e454d2b6a5cf951097ce85f300b8b92a082cae7595bb515d744_smtchecker_rst.hyp
    - Compiling example test_dcc934bd6e30da9b8d992e4c8075a50dc00f5b826ded2e8895cd7365b1b6143b_ir_breaking_changes_rst.hyp
    - Compiling example test_e21592984e56e915b4ae0d65013a9858c14f3554fdb9a4f2f7217705db677643_reference_types_rst.hyp
    - Compiling example test_e4a73c1b7cc1c38e13c94ee66e21d19f0b46f1c470b159eb536a053b7fbb0661_control_structures_rst.hyp
    - Compiling example test_e5f1547102598913a15b921e7795d7d9c8040551e9a256f780e00a105212d632_blind_auction_rst.hyp
    - Compiling example test_e5f29d56c1cfb7240ecca589de3f3788920db008c9c441a586d1bf9d101bca98_security_considerations_rst.hyp
    - Compiling example test_e707b620fdb868b032144c38a49bfdc01a20e015d0cfabae765063dab6f76a44_operators_rst.hyp
    - Compiling example test_ed699d3929251abf1769b51a6fa628c6a6fb05c6059b1547e27a7213045fcc05_interfaces_rst.hyp
    - Compiling example test_ed6b1bf0acf0d46e98b359174b4fd3ecf09c228edbf8dc178d52bd3d41fb6c2c_reference_types_rst.hyp
    - Compiling example test_ee3a8ffa3193479decc2c695bff864e1954a4a3c238d8ecc3b0a181be8083759_voting_rst.hyp
    - Compiling example test_efd0a2b5ed56672bed597d4091ea666929e255592670a3ed7bcf1177fdcbd9c8_inheritance_rst.hyp
    - Compiling example test_f1166a149c4acf68dbe4f423592c755ebcd063abefaaf56c3e199538e0db2e41_visibility_and_getters_rst.hyp
    - Compiling example test_f158f151de953f8d13532446964afe1913352e86fd26689a04280d30ce047125_visibility_and_getters_rst.hyp
    - Compiling example test_f525b889918bc579887b83c36c589fa14bd94039b30973577733c96740dbef37_smtchecker_rst.hyp
    - Compiling example test_f5abca00e0f061afd6bb334ee698949fc61f05425a7ff572de2f1b3827de2577_analysing_compilation_output_rst.hyp
    - Compiling example test_f7493de0203ce3f7e09e332ddbe99f56d407dfb1a2f68a74ccf401db357998ba_functions_rst.hyp
    - Compiling example test_f9ca714e5cd24bb46789dee136882281e4862623e934fbaf77f278cd830cd680_abstract_contracts_rst.hyp
    - Compiling example test_fcc098ed4b77ed46ca7e85e1de871f0c66b234885057b25ce49d3319cc7f53ca_value_types_rst.hyp
    - Compiling example test_fdcf2054e18aab8c5c80c0d96867eeb0a4a99ad4d848a73c3bf0575653d14e21_functions_rst.hyp
    - Compiling example test_fe18645171f49c5338bcae8087996670468cda5a700d603396976a676de6aa5f_security_considerations_rst.hyp
    - Compiling example test_fe6e9c39bc4213ff253b8af109abfcbef146bd91a2a283a1e0b958568208ad3b_using_for_rst.hyp
    - Compiling example test_fec965cde6502bb272cf3c9bcc0c27e33f88a5d6f21c8a69a8fe71a21b1f01ed_structure_of_a_contract_rst.hyp
    - Compiling example test_ff529501aec7570dc90ec1dbb19fbdecf3daaf236566b34c36f0ec33984e5ac2_functions_rst.hyp
    - Compiling example test_ffc2875c86d6be56e7480e6192c35408aea0f03ae8d8a569fb98f11605f039d3_functions_rst.hyp
 - ~hypjson_via_fuzzer
 - ~library_checksum
 - ~library_long_names
 - ~linking
    Linking completed.
 - ~name_dependent_cse_bug
 - ~overwriting_files
 - ~standard_input
 - ~unknown_options
 - ~update_bugs_by_version
 - ~via_ir_equivalence
    - externalTests/hypc-js/DAO/TokenCreation.hyp (optimized)
    - libhyperion/semanticTests/externalContracts/_prbmath/PRBMathSD59x18.hyp
    - libhyperion/semanticTests/externalContracts/_prbmath/PRBMathSD59x18.hyp (optimized)
    - libhyperion/semanticTests/externalContracts/_prbmath/PRBMathUD60x18.hyp
    - libhyperion/semanticTests/externalContracts/_prbmath/PRBMathUD60x18.hyp (optimized)
    - libhyperion/semanticTests/externalContracts/_stringutils/stringutils.hyp
    - libhyperion/semanticTests/externalContracts/_stringutils/stringutils.hyp (optimized)
    - libhyperion/semanticTests/externalContracts/deposit_contract.hyp (optimized)
    - libhyperion/semanticTests/externalContracts/FixedFeeRegistrar.hyp (optimized)
    - libhyperion/semanticTests/externalContracts/snark.hyp (optimized)
 - ~zvmasm_import_export
Looking at     1484 .hyp files...
············································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································································
SUCCESS: 1449 tests passed, 0 failed, 35 could not be compiled (    1484 sources total).
Commandline tests successful.
--> Running tests using  --zvm-version shanghai ...

WARNING :: Gas Cost Expectations are not being enforced

Running 7091 test cases...

0%   10   20   30   40   50   60   70   80   90   100%
|----|----|----|----|----|----|----|----|----|----|
***************************************************

*** No errors detected
--> Running tests using  --zvm-version shanghai --abiencoderv1...

WARNING :: Gas Cost Expectations are not being enforced

Running 7091 test cases...

0%   10   20   30   40   50   60   70   80   90   100%
|----|----|----|----|----|----|----|----|----|----|
***************************************************

*** No errors detected
--> Running tests using --optimize --zvm-version shanghai ...

WARNING :: Gas Cost Expectations are not being enforced

Running 7091 test cases...

0%   10   20   30   40   50   60   70   80   90   100%
|----|----|----|----|----|----|----|----|----|----|
***************************************************

*** No errors detected
--> Running tests using --optimize --zvm-version shanghai --abiencoderv1...

WARNING :: Gas Cost Expectations are not being enforced

Running 7091 test cases...

0%   10   20   30   40   50   60   70   80   90   100%
|----|----|----|----|----|----|----|----|----|----|
***************************************************

*** No errors detected
Cleaning up working directory /var/folders/bk/cx0qp6_n7bqg5ftwkdv53bnr0000gn/T/tmp.VJHUwdjhyO ...
~/workspace/rgeraldes24/solc feature/naming-6 !1 ❯

@rgeraldes24
Copy link
Collaborator Author

rgeraldes24 commented Dec 27, 2024 •
edited
Loading 

./scripts/tests.sh

Testing Python scripts...
.............................................................................
----------------------------------------------------------------------
Ran 77 tests in 0.012s

OK
Testing LSP...
test pattern: *
Testing analyze_all_project_files_flat ...
Testing analyze_all_project_files_nested ...
Testing analyze_all_project_files_nested_with_include_paths ...
Testing custom_includes ...
Testing custom_includes_with_full_project ...
Testing didChange_in_A_causing_error_in_B ...
Testing generic ...
Running tests in subdirectory 'hover'...
	hover
Running tests in subdirectory 'goto'...
	publish_diagnostics_1
	goto_definition
	publish_diagnostics_2
	lib
	goto_definition_imports
Running tests in subdirectory 'semanticTokens'...
	structs
	functions
	enums
	modifiers
Running tests in subdirectory 'include-paths-nested-2'...
	foo
Running tests in subdirectory 'include-paths'...
	default_include
	using-custom-includes
	file_not_found_in_searchpath
	file_at_include_path
Running tests in subdirectory 'other-include-dir'...
Running tests in subdirectory 'analyze-full-project'...
	C
	D
	E
Running tests in subdirectory 'include-paths-nested'...
	foo
Running tests in subdirectory 'rename'...
	functionCall
	variable
	function
	import_directive
	contract
Testing publish_diagnostics_errors_multiline ...
Testing textDocument_closing_virtual_file_removes_imported_real_file ...
Testing textDocument_didChange_at_eol ...
Testing textDocument_didChange_delete_line_and_close ...
Testing textDocument_didChange_empty_file ...
Testing textDocument_didChange_multi_line ...
Testing textDocument_didChange_updates_diagnostics ...
Testing textDocument_didOpen_with_relative_import ...
Testing textDocument_didOpen_with_relative_import_without_project_url ...
Testing textDocument_opening_two_new_files_edit_and_close ...

Summary:

  Test cases: 17 passed, 0 failed
  Assertions: 383 passed, 0 failed

Running commandline tests...
The pattern '( -name  )' did not match any tests.
--> Running tests using  --zvm-version shanghai ...

WARNING :: Gas Cost Expectations are not being enforced

Running 8472 test cases...

0%   10   20   30   40   50   60   70   80   90   100%
|----|----|----|----|----|----|----|----|----|----|
***************************************************

*** No errors detected
--> Running tests using  --zvm-version shanghai --abiencoderv1...

WARNING :: Gas Cost Expectations are not being enforced

Running 8472 test cases...

0%   10   20   30   40   50   60   70   80   90   100%
|----|----|----|----|----|----|----|----|----|----|
***************************************************

*** No errors detected
--> Running tests using --optimize --zvm-version shanghai ...

WARNING :: Gas Cost Expectations are not being enforced

Running 8472 test cases...

0%   10   20   30   40   50   60   70   80   90   100%
|----|----|----|----|----|----|----|----|----|----|
***************************************************

*** No errors detected
--> Running tests using --optimize --zvm-version shanghai --abiencoderv1...

WARNING :: Gas Cost Expectations are not being enforced

Running 8472 test cases...

0%   10   20   30   40   50   60   70   80   90   100%
|----|----|----|----|----|----|----|----|----|----|
***************************************************

*** No errors detected
Cleaning up working directory /var/folders/bk/cx0qp6_n7bqg5ftwkdv53bnr0000gn/T/tmp.ozPtP09LQi ...

@rgeraldes24 rgeraldes24 changed the title Hyperion naming part 3: add working version Hyperion naming part [3/3]: add working version Dec 27, 2024
@rgeraldes24 rgeraldes24 changed the title Hyperion naming part [3/3]: add working version Hyperion naming [3/3]: add working version Dec 27, 2024
@rgeraldes24 rgeraldes24 marked this pull request as ready for review December 27, 2024 10:32
@rgeraldes24 rgeraldes24 merged commit b65f0cc into main Dec 31, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@rgeraldes24