Skip to content

English documentation updates up to v0.8.35-61-g27ac30692 (2026-05-18) - #196

Open
github-actions[bot] wants to merge 596 commits into
developfrom
sync-v0.8.35-61-g27ac30692
Open

English documentation updates up to v0.8.35-61-g27ac30692 (2026-05-18)#196
github-actions[bot] wants to merge 596 commits into
developfrom
sync-v0.8.35-61-g27ac30692

Conversation

@github-actions

Copy link
Copy Markdown

This is an automatically-generated sync PR to bring this translation repository up to date with the state of the English documentation as of 2026-05-18 (commit 27ac3069).

How to work on a sync PR

Resolve conflicts and translate newly added text

  • The PR includes all documentation changes from the main repository since the last time a sync PR was merged. If this translation repository is fully caught up with the English version, translate any newly added English text you see here by pushing more commits to the PR. However, if the translation is incomplete, you may prefer to leave the text added in this PR and add it to your translation checklist to handle at a later time.
  • Scan the PR for merge conflict markers. If there were changes in the English text that has already been translated, the PR will contain merge conflicts that need to be resolved:
    <<<<<<< HEAD
        El valor más grande representable por el tipo ``T``.
    =======
        The smallest value representable by type ``T``.
    >>>>>>> 800088e38b5835ebdc71e9ba5299a70a5accd7c2
    The top part of the conflict is the current translation (corresponding to the old English text), the bottom shows the new English text. To solve the conflict simply translate the new text, possibly reusing parts of the current translation. After doing so, do not forget to remove the conflict markers.
  • You may get conflicts also if there were structual changes that did not affect the meaning of the text and therefore do not require retranslation. For example when text is moved from one page to another, you will find matching conflicts in two places and the solution is to move the translation to the new spot. If only whitespace changed, it may even seem like there was no change at all but if there is a conflict, there is always a reason, however trivial it may be. Be careful, though, because there is a possibility that the text was both moved and modified.

Work on one sync PR at a time

  • Sync PRs are produced by the translation bot in regular intervals as long as there are changes in the English documentation. You will not lose any updates by closing this PR. The next sync PR will also include them. The latest sync PR will always include all changes that need to be done. If you haven't worked on any sync PR yet and there are several open sync PRs in your repo, choose the latest (newest) one to get started.
  • It is recommended to work only on one sync PR at a time. Close this PR if you are already working on a different one.
  • Once you merge this PR, the conflict resolutions and new commits you pushed to it are likely to cause conflicts with other open sync PRs. It is possible solve these conflicts if you are proficient with git and fully understand what changed in which PR, but for simplicity it is recommended to close all pending sync PRs and wait for a fresh one, which will no longer include the merged changes.

Do not squash merge or rebase this PR

Rebasing or squashing a sync PR erases the information about the commits that the changes originally came from, which will result in extra conflicts in the next sync PR.
If you do it by accident, don't worry - simply make sure to handle the next sync PR properly, which will restore the missing commits.

Review checklist

The following files were modified in this pull request. Please review them before merging the PR:

clonker and others added 30 commits March 11, 2026 01:05
Add via SSA CFG in CLI and Standard Json Interface
The condition did not match the comment above it.

This is the part of the algorithm that attempts to fix a slot in the
arguments section of the target stack. But if the current stack size
matches exactly the target tail size, we don't have any slot in the
arguments section at that moment. I believe the comment is correct and
we should enter this code only if there is a slot in args section.
The condition has been tightened accordingly.
Move navigation link strings from constants.js to Jinja template
using the `_()` function. This change enables the strings to be
extracted by Sphinx's "Internationalization for Gettext" feature.
Pin uniswap sdk versions to fix recent uniswap bug
…line_parser

Extend tests against invalid CLI option/input mode combinations to cover evmasm import mode
… and reclassify bfs deduplication issue as bugfix
…_entry

repair changelog: move performance optimization from 0.8.34 to 0.8.35 and reclassify BFS deduplication issue as bugfix
Claude creates this when e.g. whitelisting certain tools.
makes clangd work out of the box. has no impact on configure times on my laptop.
cmake: generate compile_commands.json
Previously, if a slot is desirable to be dupped, but is out of reach, we
would try to shrink the stack and then bringing it to reachable region.
However, even if it is out-of-reach for dup, it might still be in reach
for swap, so if it is safe to swap, we can do it directly.
SSA: Refactor shuffler helper and add a case to prefer swap if still possible instead of shrinking first
Refactor hardcoded reachable stack depth
…leci

Fix Foundry 403 errors for external PRs
clonker and others added 29 commits May 7, 2026 14:44
…n-registry

SSA CFG: add shared function registry across nested builders
When running codegen on a block which ends in a conditional jump, we
save the stack before we continue with zero branch and then we restore
it when come back and continue with non-zero branch.
Notifying the assebly about the restored stack size is part of resetting
the state and needs to happen before we attempt any stack shuffling.
`prepareBlockExitStack` might shuffle the stack and so assembly
notification must happen before that.
…nstantOperand

SMTChecker: Fix SMT Encoder mishandling of constant operands of unary operations.
SSA-CFG: Fix stack adjustments for codegen on conditional jump
SSA-CFG: Separate building and optimizing phase
Pin node to exact versions instead of lts to fix failing jobs
SSA CFG: lift the memoryguard value out of the instruction argument into the parent ControlFlowGraphs structure
…target

SSA CFG Stack layout generator: Determine optimal target (not just size)
SSA CFG: Make basic blocks optional and add a free list to them
# Conflicts:
#	.circleci/compare_bytecode_reports.sh
#	.circleci/config.yml
#	.circleci/osx_install_dependencies.sh
#	.circleci/parallel_bytecode_report.sh
#	.circleci/soltest_all.sh
#	.github/workflows/buildpack-deps.yml
#	.github/workflows/stale.yml
#	.github/workflows/welcome-external-pr.yml
#	.gitignore
#	CODING_STYLE.md
#	Changelog.md
#	README.md
#	ReleaseChecklist.md
#	SECURITY.md
#	cmake/EthDependencies.cmake
#	deps/fmtlib
#	deps/nlohmann-json
#	docs/050-breaking-changes.rst
#	docs/060-breaking-changes.rst
#	docs/070-breaking-changes.rst
#	docs/080-breaking-changes.rst
#	docs/assembly.rst
#	docs/bugs.rst
#	docs/cheatsheet.rst
#	docs/common-patterns.rst
#	docs/contracts/custom-storage-layout.rst
#	docs/contracts/functions.rst
#	docs/contracts/inheritance.rst
#	docs/contributing.rst
#	docs/control-structures.rst
#	docs/examples/blind-auction.rst
#	docs/examples/safe-remote.rst
#	docs/index.rst
#	docs/installing-solidity.rst
#	docs/internals/optimizer.rst
#	docs/layout-of-source-files.rst
#	docs/metadata.rst
#	docs/path-resolution.rst
#	docs/security-considerations.rst
#	docs/smtchecker.rst
#	docs/types/value-types.rst
#	docs/units-and-global-variables.rst
#	docs/using-the-compiler.rst
#	docs/yul.rst
#	libevmasm/AbstractAssemblyStack.h
#	libevmasm/Assembly.cpp
#	libevmasm/CommonSubexpressionEliminator.cpp
#	libevmasm/CommonSubexpressionEliminator.h
#	libevmasm/EVMAssemblyStack.cpp
#	libevmasm/EVMAssemblyStack.h
#	libevmasm/Ethdebug.cpp
#	libevmasm/Ethdebug.h
#	libevmasm/GasMeter.cpp
#	libevmasm/Instruction.cpp
#	libevmasm/Instruction.h
#	libevmasm/PeepholeOptimiser.cpp
#	libevmasm/SimplificationRule.h
#	liblangutil/EVMVersion.cpp
#	liblangutil/EVMVersion.h
#	liblangutil/Token.cpp
#	liblangutil/Token.h
#	libsolidity/analysis/ConstantEvaluator.cpp
#	libsolidity/analysis/ConstantEvaluator.h
#	libsolidity/analysis/ControlFlowBuilder.h
#	libsolidity/analysis/DeclarationTypeChecker.cpp
#	libsolidity/analysis/DocStringTagParser.cpp
#	libsolidity/analysis/GlobalContext.cpp
#	libsolidity/analysis/NameAndTypeResolver.cpp
#	libsolidity/analysis/PostTypeContractLevelChecker.cpp
#	libsolidity/analysis/StaticAnalyzer.cpp
#	libsolidity/analysis/SyntaxChecker.cpp
#	libsolidity/analysis/SyntaxChecker.h
#	libsolidity/analysis/TypeChecker.cpp
#	libsolidity/analysis/TypeChecker.h
#	libsolidity/ast/AST.cpp
#	libsolidity/ast/AST.h
#	libsolidity/ast/ASTUtils.cpp
#	libsolidity/ast/ASTUtils.h
#	libsolidity/ast/Types.cpp
#	libsolidity/ast/Types.h
#	libsolidity/codegen/ArrayUtils.cpp
#	libsolidity/codegen/ArrayUtils.h
#	libsolidity/codegen/CompilerContext.cpp
#	libsolidity/codegen/CompilerContext.h
#	libsolidity/codegen/CompilerUtils.cpp
#	libsolidity/codegen/ContractCompiler.cpp
#	libsolidity/codegen/ExpressionCompiler.cpp
#	libsolidity/codegen/LValue.cpp
#	libsolidity/codegen/YulUtilFunctions.cpp
#	libsolidity/codegen/YulUtilFunctions.h
#	libsolidity/codegen/ir/IRGeneratorForStatements.cpp
#	libsolidity/experimental/analysis/Analysis.cpp
#	libsolidity/formal/SMTEncoder.cpp
#	libsolidity/interface/CompilerStack.cpp
#	libsolidity/interface/CompilerStack.h
#	libsolidity/interface/GasEstimator.cpp
#	libsolidity/interface/ImportRemapper.h
#	libsolidity/interface/Natspec.h
#	libsolidity/interface/OptimiserSettings.h
#	libsolidity/interface/StandardCompiler.cpp
#	libsolidity/interface/StandardCompiler.h
#	libsolidity/parsing/Parser.cpp
#	libsolutil/Assertions.h
#	libsolutil/Common.h
#	libsolutil/DisjointSet.cpp
#	libsolutil/DisjointSet.h
#	libsolutil/Exceptions.h
#	libsolutil/JSON.cpp
#	libsolutil/StringUtils.cpp
#	libsolutil/StringUtils.h
#	libyul/AsmAnalysis.cpp
#	libyul/AsmAnalysis.h
#	libyul/CMakeLists.txt
#	libyul/ControlFlowSideEffectsCollector.cpp
#	libyul/ControlFlowSideEffectsCollector.h
#	libyul/FunctionReferenceResolver.h
#	libyul/Object.cpp
#	libyul/ObjectOptimizer.cpp
#	libyul/ObjectOptimizer.h
#	libyul/YulStack.cpp
#	libyul/YulStack.h
#	libyul/backends/evm/ControlFlowGraphBuilder.cpp
#	libyul/backends/evm/ControlFlowGraphBuilder.h
#	libyul/backends/evm/EVMCodeTransform.cpp
#	libyul/backends/evm/EVMDialect.cpp
#	libyul/backends/evm/EVMDialect.h
#	libyul/backends/evm/EVMObjectCompiler.cpp
#	libyul/backends/evm/EVMObjectCompiler.h
#	libyul/backends/evm/StackHelpers.h
#	libyul/backends/evm/StackLayoutGenerator.cpp
#	libyul/backends/evm/ssa/ControlFlowGraphs.cpp
#	libyul/backends/evm/ssa/LivenessAnalysis.h
#	libyul/backends/evm/ssa/SSACFGBuilder.h
#	libyul/backends/evm/ssa/SSACFGLoopNestingForest.cpp
#	libyul/backends/evm/ssa/SSACFGLoopNestingForest.h
#	libyul/backends/evm/ssa/traversal/ForwardTopologicalSort.cpp
#	libyul/optimiser/ASTCopier.cpp
#	libyul/optimiser/ConditionalSimplifier.cpp
#	libyul/optimiser/OptimizerUtilities.cpp
#	libyul/optimiser/StackLimitEvader.cpp
#	libyul/optimiser/VarNameCleaner.cpp
#	libyul/optimiser/VarNameCleaner.h
#	scripts/ASTImportTest.sh
#	scripts/Dockerfile
#	scripts/Dockerfile_alpine
#	scripts/build.sh
#	scripts/build_emscripten.sh
#	scripts/check_style.sh
#	scripts/ci/build.sh
#	scripts/ci/build_emscripten.sh
#	scripts/ci/build_ossfuzz.sh
#	scripts/ci/buildpack-deps_test_ubuntu2404.arm.sh
#	scripts/ci/docker_upgrade.sh
#	scripts/codespell_whitelist.txt
#	scripts/common.sh
#	scripts/common/rest_api_helpers.py
#	scripts/create_source_tarball.sh
#	scripts/docker/buildpack-deps/Dockerfile.emscripten
#	scripts/docker/buildpack-deps/Dockerfile.ubuntu.clang.ossfuzz
#	scripts/docker/buildpack-deps/Dockerfile.ubuntu2404
#	scripts/docker/buildpack-deps/Dockerfile.ubuntu2404.clang
#	scripts/docker_deploy_manual.sh
#	scripts/docs_version_pragma_check.sh
#	scripts/download_ossfuzz_corpus.sh
#	scripts/externalTests/common.sh
#	scripts/externalTests/download_benchmarks.py
#	scripts/externalTests/parse_eth_gas_report.py
#	scripts/externalTests/runners/base.py
#	scripts/gas_diff_stats.py
#	scripts/install_deps.ps1
#	scripts/install_evmone.ps1
#	scripts/run_proofs.sh
#	scripts/solc-bin/bytecode_reports_for_modified_binaries.sh
#	scripts/test_antlr_grammar.sh
#	scripts/tests.sh
#	scripts/wasm-rebuild/docker-scripts/isolate_tests.py
#	scripts/wasm-rebuild/docker-scripts/rebuild_tags.sh
#	solc/CommandLineInterface.cpp
#	solc/CommandLineInterface.h
#	solc/CommandLineParser.cpp
#	solc/CommandLineParser.h
#	test/CMakeLists.txt
#	test/Common.h
#	test/EVMHost.cpp
#	test/InteractiveTests.h
#	test/TestCase.cpp
#	test/buglistTests.js
#	test/cmdlineTests.sh
#	test/cmdlineTests/asm_json_import_sourcelist_with_null_elements/args
#	test/cmdlineTests/asm_json_yul_export_evm_asm_import/args
#	test/cmdlineTests/ast_ir/args
#	test/cmdlineTests/ast_json_import_wrong_evmVersion/args
#	test/cmdlineTests/eof_unavailable_before_osaka/args
#	test/cmdlineTests/ethdebug_eof_container_osaka/args
#	test/cmdlineTests/ethdebug_eof_container_osaka/output
#	test/cmdlineTests/ethdebug_on_abstract/args
#	test/cmdlineTests/ethdebug_on_abstract/output
#	test/cmdlineTests/ethdebug_on_interface/args
#	test/cmdlineTests/ethdebug_on_interface/output
#	test/cmdlineTests/import_asm_json_all_valid_flags/args
#	test/cmdlineTests/import_asm_json_difficulty_prevrandao/args
#	test/cmdlineTests/import_asm_json_eof_unavailable_before_osaka/args
#	test/cmdlineTests/import_asm_json_hex_subassembly_indices/args
#	test/cmdlineTests/import_asm_json_invalid_data_not_hex/args
#	test/cmdlineTests/import_asm_json_invalid_data_not_object/args
#	test/cmdlineTests/import_asm_json_invalid_jumptype_instruction/args
#	test/cmdlineTests/import_asm_json_invalid_value/args
#	test/cmdlineTests/import_asm_json_missing_subobject_indices/args
#	test/cmdlineTests/import_asm_json_no_optimize/args
#	test/cmdlineTests/import_asm_json_no_value/args
#	test/cmdlineTests/import_asm_json_non_unique_sources/args
#	test/cmdlineTests/import_asm_json_optimize/args
#	test/cmdlineTests/import_asm_json_out_of_range_data_index/args
#	test/cmdlineTests/import_asm_json_random_order_data_index/args
#	test/cmdlineTests/import_asm_json_unrecognized_field/args
#	test/cmdlineTests/import_asm_json_untagged_jumpdest/args
#	test/cmdlineTests/import_asm_json_verbatim/args
#	test/cmdlineTests/import_asm_json_yul_more_subobjects/args
#	test/cmdlineTests/import_asm_json_yul_subobjects/args
#	test/cmdlineTests/metadata/output
#	test/cmdlineTests/model_checker_targets_all_all_engines/err
#	test/cmdlineTests/model_checker_targets_all_bmc/err
#	test/cmdlineTests/model_checker_targets_all_chc/err
#	test/cmdlineTests/model_checker_targets_assert_bmc/err
#	test/cmdlineTests/model_checker_targets_assert_chc/err
#	test/cmdlineTests/model_checker_targets_assert_chc/input.sol
#	test/cmdlineTests/model_checker_targets_balance_bmc/err
#	test/cmdlineTests/model_checker_targets_balance_chc/err
#	test/cmdlineTests/model_checker_targets_constant_condition_bmc/err
#	test/cmdlineTests/model_checker_targets_constant_condition_chc/input.sol
#	test/cmdlineTests/model_checker_targets_default_all_engines/err
#	test/cmdlineTests/model_checker_targets_default_bmc/err
#	test/cmdlineTests/model_checker_targets_default_chc/err
#	test/cmdlineTests/model_checker_targets_div_by_zero_bmc/err
#	test/cmdlineTests/model_checker_targets_div_by_zero_chc/err
#	test/cmdlineTests/model_checker_targets_div_by_zero_chc/input.sol
#	test/cmdlineTests/model_checker_targets_error/input.sol
#	test/cmdlineTests/model_checker_targets_out_of_bounds_chc/err
#	test/cmdlineTests/model_checker_targets_out_of_bounds_chc/input.sol
#	test/cmdlineTests/model_checker_targets_overflow_bmc/err
#	test/cmdlineTests/model_checker_targets_overflow_chc/err
#	test/cmdlineTests/model_checker_targets_overflow_chc/input.sol
#	test/cmdlineTests/model_checker_targets_pop_empty_chc/err
#	test/cmdlineTests/model_checker_targets_pop_empty_chc/input.sol
#	test/cmdlineTests/model_checker_targets_underflow_bmc/err
#	test/cmdlineTests/model_checker_targets_underflow_chc/err
#	test/cmdlineTests/model_checker_targets_underflow_chc/input.sol
#	test/cmdlineTests/model_checker_targets_underflow_overflow_assert_bmc/err
#	test/cmdlineTests/model_checker_targets_underflow_overflow_assert_chc/err
#	test/cmdlineTests/model_checker_targets_underflow_overflow_assert_chc/input.sol
#	test/cmdlineTests/model_checker_targets_underflow_overflow_bmc/err
#	test/cmdlineTests/model_checker_targets_underflow_overflow_chc/err
#	test/cmdlineTests/model_checker_targets_underflow_overflow_chc/input.sol
#	test/cmdlineTests/standard_cli_import_ast_storage_layout_specifier_missing_expression/args
#	test/cmdlineTests/standard_import_asm_json/input.json
#	test/cmdlineTests/standard_import_asm_json_immutable_references/input.json
#	test/cmdlineTests/standard_import_asm_json_invalid_opcode/input.json
#	test/cmdlineTests/standard_import_asm_json_link_references/input.json
#	test/cmdlineTests/standard_import_asm_json_no_optimize/input.json
#	test/cmdlineTests/standard_import_asm_json_no_optimize/output.json
#	test/cmdlineTests/standard_import_asm_json_no_output_selection/input.json
#	test/cmdlineTests/standard_import_asm_json_optimize/input.json
#	test/cmdlineTests/standard_import_asm_json_optimize/output.json
#	test/cmdlineTests/standard_import_ast/input.json
#	test/cmdlineTests/standard_import_ast_select_bytecode/input.json
#	test/cmdlineTests/standard_import_with_comments/input.json
#	test/cmdlineTests/standard_import_with_comments_simple/input.json
#	test/cmdlineTests/standard_irOptimized_ast_requested/input.json
#	test/cmdlineTests/standard_ir_ast_requested/input.json
#	test/cmdlineTests/standard_metadata/output.json
#	test/cmdlineTests/standard_model_checker_targets_assert_bmc/output.json
#	test/cmdlineTests/standard_model_checker_targets_assert_chc/input.json
#	test/cmdlineTests/standard_model_checker_targets_assert_chc/output.json
#	test/cmdlineTests/standard_model_checker_targets_balance_bmc/output.json
#	test/cmdlineTests/standard_model_checker_targets_balance_chc/output.json
#	test/cmdlineTests/standard_model_checker_targets_constantCondition_bmc/output.json
#	test/cmdlineTests/standard_model_checker_targets_constantCondition_chc/input.json
#	test/cmdlineTests/standard_model_checker_targets_default_all_engines/output.json
#	test/cmdlineTests/standard_model_checker_targets_default_bmc/output.json
#	test/cmdlineTests/standard_model_checker_targets_default_chc/output.json
#	test/cmdlineTests/standard_model_checker_targets_div_by_zero_bmc/output.json
#	test/cmdlineTests/standard_model_checker_targets_div_by_zero_chc/input.json
#	test/cmdlineTests/standard_model_checker_targets_div_by_zero_chc/output.json
#	test/cmdlineTests/standard_model_checker_targets_empty_array/input.json
#	test/cmdlineTests/standard_model_checker_targets_out_of_bounds_bmc/output.json
#	test/cmdlineTests/standard_model_checker_targets_out_of_bounds_chc/input.json
#	test/cmdlineTests/standard_model_checker_targets_out_of_bounds_chc/output.json
#	test/cmdlineTests/standard_model_checker_targets_overflow_bmc/output.json
#	test/cmdlineTests/standard_model_checker_targets_overflow_chc/input.json
#	test/cmdlineTests/standard_model_checker_targets_overflow_chc/output.json
#	test/cmdlineTests/standard_model_checker_targets_pop_empty_bmc/output.json
#	test/cmdlineTests/standard_model_checker_targets_pop_empty_chc/input.json
#	test/cmdlineTests/standard_model_checker_targets_pop_empty_chc/output.json
#	test/cmdlineTests/standard_model_checker_targets_underflow_bmc/output.json
#	test/cmdlineTests/standard_model_checker_targets_underflow_chc/input.json
#	test/cmdlineTests/standard_model_checker_targets_underflow_chc/output.json
#	test/cmdlineTests/standard_model_checker_targets_underflow_overflow_assert_bmc/output.json
#	test/cmdlineTests/standard_model_checker_targets_underflow_overflow_assert_chc/input.json
#	test/cmdlineTests/standard_model_checker_targets_underflow_overflow_assert_chc/output.json
#	test/cmdlineTests/standard_model_checker_targets_underflow_overflow_bmc/output.json
#	test/cmdlineTests/standard_model_checker_targets_underflow_overflow_chc/input.json
#	test/cmdlineTests/standard_model_checker_targets_underflow_overflow_chc/output.json
#	test/cmdlineTests/standard_model_checker_targets_wrong_target_types/input.json
#	test/cmdlineTests/standard_model_checker_targets_wrong_target_types_2/input.json
#	test/cmdlineTests/standard_model_checker_targets_wrong_targets/input.json
#	test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_empty_sequence_metadata/output.json
#	test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_empty_sequence_whitespaces_metadata/output.json
#	test/cmdlineTests/standard_output_debuginfo_ethdebug_compatible/input.json
#	test/cmdlineTests/standard_output_debuginfo_ethdebug_incompatible/output.json
#	test/cmdlineTests/standard_output_debuginfo_ethdebug_with_interfaces_and_abstracts/input.json
#	test/cmdlineTests/standard_output_debuginfo_ethdebug_with_interfaces_and_abstracts/output.json
#	test/cmdlineTests/standard_output_selection_ethdebug_bytecode_and_deployedbytecode_ir/input.json
#	test/cmdlineTests/standard_output_selection_ethdebug_bytecode_and_deployedbytecode_iroptimized/input.json
#	test/cmdlineTests/standard_output_selection_ethdebug_bytecode_and_deployedbytecode_optimizer_ir/input.json
#	test/cmdlineTests/standard_output_selection_ethdebug_bytecode_and_deployedbytecode_optimizer_iroptimized/input.json
#	test/cmdlineTests/standard_output_selection_ethdebug_bytecode_ir/input.json
#	test/cmdlineTests/standard_output_selection_ethdebug_bytecode_iroptimized/input.json
#	test/cmdlineTests/standard_output_selection_ethdebug_deployedbytecode_ir/input.json
#	test/cmdlineTests/standard_output_selection_ethdebug_deployedbytecode_iroptimized/input.json
#	test/cmdlineTests/standard_output_selection_ethdebug_ir/input.json
#	test/cmdlineTests/standard_output_selection_ethdebug_iroptimized/input.json
#	test/cmdlineTests/standard_output_selection_ethdebug_optimize_ir/input.json
#	test/cmdlineTests/standard_output_selection_ethdebug_optimize_iroptimized/input.json
#	test/cmdlineTests/standard_outputs_on_compilation_error/output.json
#	test/cmdlineTests/standard_outputs_on_parsing_error/output.json
#	test/cmdlineTests/standard_undeployable_contract_all_outputs/input.json
#	test/cmdlineTests/standard_undeployable_contract_all_outputs/output.json
#	test/cmdlineTests/standard_yul_cfg_json_export/input.json
#	test/cmdlineTests/standard_yul_cfg_json_export/output.json
#	test/cmdlineTests/standard_yul_debug_info_ethdebug_compatible_output/input.json
#	test/cmdlineTests/standard_yul_debug_info_ethdebug_compatible_output_eof/input.json
#	test/cmdlineTests/standard_yul_debug_info_ethdebug_verbatim_unimplemented/input.json
#	test/cmdlineTests/standard_yul_ethdebug_assign_immutable/input.json
#	test/cmdlineTests/standard_yul_ethdebug_assign_immutable/output.json
#	test/cmdlineTests/standard_yul_ethdebug_bytecode_ir/input.json
#	test/cmdlineTests/standard_yul_ethdebug_bytecode_iroptimized/input.json
#	test/cmdlineTests/standard_yul_ethdebug_deployed_bytecode/input.json
#	test/cmdlineTests/standard_yul_ethdebug_deployed_bytecode_and_bytecode/input.json
#	test/cmdlineTests/standard_yul_ethdebug_eof/input.json
#	test/cmdlineTests/standard_yul_ethdebug_ir/input.json
#	test/cmdlineTests/standard_yul_ethdebug_iroptimize/input.json
#	test/cmdlineTests/standard_yul_ethdebug_optimize_ir/input.json
#	test/cmdlineTests/standard_yul_ethdebug_optimize_iroptimized/input.json
#	test/cmdlineTests/standard_yul_ethdebug_resources/args
#	test/cmdlineTests/standard_yul_ethdebug_resources/in.yul
#	test/cmdlineTests/strict_asm_eof_container_osaka/args
#	test/cmdlineTests/strict_asm_eof_dataloadn_osaka/args
#	test/cmdlineTests/strict_asm_eof_unavailable_before_osaka/args
#	test/cmdlineTests/strict_asm_yul_cfg_json_export/args
#	test/cmdlineTests/strict_asm_yul_cfg_json_export/output
#	test/cmdlineTests/undeployable_contract_empty_outputs/args
#	test/cmdlineTests/viair_abicoder_v1/err
#	test/cmdlineTests/yul_cfg_json_export/args
#	test/cmdlineTests/yul_cfg_json_export/output
#	test/cmdlineTests/yul_optimizer_disabled_sequence_empty/output
#	test/cmdlineTests/yul_optimizer_steps_invalid_substitution_in_expression_simplifier/input.sol
#	test/cmdlineTests/yul_optimizer_steps_without_optimize_empty_sequence/output
#	test/cmdlineTests/~assembler_modes/test.sh
#	test/cmdlineTests/~bytecode_equivalence_with_unused_contracts/test.py
#	test/cmdlineTests/~deduplicator-verbatim-bug/test.sh
#	test/cmdlineTests/~name_dependent_cse_bug/test.sh
#	test/ethdebugSchemaTests/input_file.json
#	test/ethdebugSchemaTests/input_file_eof.json
#	test/evmc/README.md
#	test/evmc/evmc.h
#	test/externalTests/euler.sh
#	test/externalTests/gp2.sh
#	test/externalTests/pool-together.sh
#	test/externalTests/prb-math.py
#	test/externalTests/yield-liquidator.sh
#	test/externalTests/zeppelin.sh
#	test/formal/README.md
#	test/libevmasm/EVMAssemblyTest.cpp
#	test/libevmasm/EVMAssemblyTest.h
#	test/libevmasm/Optimiser.cpp
#	test/libsolidity/ASTJSONTest.cpp
#	test/libsolidity/Assembly.cpp
#	test/libsolidity/FunctionDependencyGraphTest.cpp
#	test/libsolidity/FunctionDependencyGraphTest.h
#	test/libsolidity/InlineAssembly.cpp
#	test/libsolidity/Metadata.cpp
#	test/libsolidity/SemanticTest.cpp
#	test/libsolidity/SemanticTest.h
#	test/libsolidity/SolidityEndToEndTest.cpp
#	test/libsolidity/SolidityExecutionFramework.cpp
#	test/libsolidity/SolidityExecutionFramework.h
#	test/libsolidity/SolidityExpressionCompiler.cpp
#	test/libsolidity/SolidityOptimizer.cpp
#	test/libsolidity/StandardCompiler.cpp
#	test/libsolidity/SyntaxTest.cpp
#	test/libsolidity/SyntaxTest.h
#	test/libsolidity/semanticTests/abicoder/abi_decode_from_calldata.sol
#	test/libsolidity/semanticTests/abicoder/abi_decode_from_calldata_dynamic_array.sol
#	test/libsolidity/semanticTests/abicoder/abi_decode_from_calldata_static_array.sol
#	test/libsolidity/semanticTests/abicoder/abi_decode_from_calldata_struct_v2.sol
#	test/libsolidity/semanticTests/abicoder/abi_decode_from_memory_struct_v2.sol
#	test/libsolidity/semanticTests/abicoder/abi_decode_from_storage_struct_v2.sol
#	test/libsolidity/semanticTests/abicoder/abi_decode_offset_overflow_in_array_2.sol
#	test/libsolidity/semanticTests/abicoder/abi_decode_offset_overflow_in_array_3.sol
#	test/libsolidity/semanticTests/abicoder/abi_decode_overlapping_dynamic_arrays.sol
#	test/libsolidity/semanticTests/abicoder/abi_decode_simple.sol
#	test/libsolidity/semanticTests/abicoder/abi_decode_simple_storage.sol
#	test/libsolidity/semanticTests/abicoder/abi_decode_slice.sol
#	test/libsolidity/semanticTests/abicoder/abi_decode_trivial.sol
#	test/libsolidity/semanticTests/abicoder/abi_encode.sol
#	test/libsolidity/semanticTests/abicoder/abi_encode_call.sol
#	test/libsolidity/semanticTests/abicoder/abi_encode_call_declaration_v2.sol
#	test/libsolidity/semanticTests/abicoder/abi_encode_call_is_consistent_v2.sol
#	test/libsolidity/semanticTests/abicoder/abi_encode_call_memory_v2.sol
#	test/libsolidity/semanticTests/abicoder/abi_encode_call_special_args_v2.sol
#	test/libsolidity/semanticTests/abicoder/abi_encode_call_uint_bytes.sol
#	test/libsolidity/semanticTests/abicoder/abi_encode_call_v2.sol
#	test/libsolidity/semanticTests/abicoder/abi_encode_calldata_slice.sol
#	test/libsolidity/semanticTests/abicoder/abi_encode_decode_simple.sol
#	test/libsolidity/semanticTests/abicoder/abi_encode_empty_string_not_bytes0.sol
#	test/libsolidity/semanticTests/abicoder/abi_encode_empty_string_v1.sol
#	test/libsolidity/semanticTests/abicoder/abi_encode_memory_dynamic_array_and_calldata_bytes_v1.sol
#	test/libsolidity/semanticTests/abicoder/abi_encode_rational.sol
#	test/libsolidity/semanticTests/abicoder/abi_encode_storage_array_v2.sol
#	test/libsolidity/semanticTests/abicoder/abi_encode_v2.sol
#	test/libsolidity/semanticTests/abicoder/abi_encode_v2_in_function_inherited_in_v1_contract.sol
#	test/libsolidity/semanticTests/abicoder/abi_encode_v2_in_modifier_used_in_v1_contract.sol
#	test/libsolidity/semanticTests/abicoder/abi_encode_with_selector_v1.sol
#	test/libsolidity/semanticTests/abicoder/abi_encode_with_selector_v2.sol
#	test/libsolidity/semanticTests/abicoder/abi_encode_with_signature_v1.sol
#	test/libsolidity/semanticTests/abicoder/abi_encode_with_signature_v2.sol
#	test/libsolidity/semanticTests/abicoder/bug_abi_encoder_v2_head_overflow_with_static_array_cleanup.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/byte_arrays.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_2d_dynamic_dynamic_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_2d_dynamic_static_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_bytes_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_dynamic_of_uint_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_dynamic_of_value_types_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_dynamic_static_dynamic_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_dynamic_static_in_library_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_dynamic_static_short_decode_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_dynamic_static_short_reencode_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_function_types_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_indexing_1d_2d_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_indexing_3d_dynamic_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_indexing_3d_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_indexing_dynamic_bytes_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_indexing_dynamic_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_indexing_static_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_length_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_multi_dynamic_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_slicing_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_static_dynamic_static_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_static_of_uint_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_static_of_value_types_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_struct_dynamic_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_struct_static_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_two_dynamic_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_two_static_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_bytes_bytes32_arrays_v1.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_dynamic_array_to_memory_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_nested_array_reencode_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_nested_array_static_reencode_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_overlapping_dynamic_arrays_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_overlapping_nested_dynamic_arrays_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_string_array_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_struct_array_reencode_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/memory_arrays_static.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/memory_dynamic_array_and_calldata_bytes.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/memory_dynamic_array_and_calldata_static_array.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/memory_dynamic_arrays.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/memory_dynamic_nested_arrays_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/array/memory_params_in_external_function.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/copy_from_calldata_removes_bytes_data.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/mediocre_dynamic_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/mediocre_static_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/member_array_dynamic2_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/member_array_dynamic_multiple_fields_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/member_array_dynamic_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/member_array_static_mulitple_fields_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/member_external_function_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/member_offset_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/multiple_structs_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/nested_static_3_fields_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/nested_static_4_fields_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/nested_with_bytes_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/nested_with_dynamic_array_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/nested_with_dynamic_struct_array_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/short_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/simple_multiple_fields_short_types_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/simple_multiple_fields_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/simple_single_field_v2.sol
#	test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/struct_and_ints_v2.sol
#	test/libsolidity/semanticTests/abicoder/cleanup/address_v2.sol
#	test/libsolidity/semanticTests/abicoder/cleanup/bool_v1.sol
#	test/libsolidity/semanticTests/abicoder/cleanup/bool_v2.sol
#	test/libsolidity/semanticTests/abicoder/cleanup/bool_with_sanity_check_v2.sol
#	test/libsolidity/semanticTests/abicoder/cleanup/bytesx_v2.sol
#	test/libsolidity/semanticTests/abicoder/cleanup/cleanup_v1.sol
#	test/libsolidity/semanticTests/abicoder/cleanup/cleanup_v2.sol
#	test/libsolidity/semanticTests/abicoder/cleanup/dynamic_array_v2.sol
#	test/libsolidity/semanticTests/abicoder/cleanup/enum_v1.sol
#	test/libsolidity/semanticTests/abicoder/cleanup/enum_v2.sol
#	test/libsolidity/semanticTests/abicoder/cleanup/function_v2.sol
#	test/libsolidity/semanticTests/abicoder/cleanup/intx_v2.sol
#	test/libsolidity/semanticTests/abicoder/cleanup/reencoded_calldata_string.sol
#	test/libsolidity/semanticTests/abicoder/cleanup/static_array_v2.sol
#	test/libsolidity/semanticTests/abicoder/cleanup/struct2_v2.sol
#	test/libsolidity/semanticTests/abicoder/cleanup/struct_v2.sol
#	test/libsolidity/semanticTests/abicoder/cleanup/uintx_v2.sol
#	test/libsolidity/semanticTests/abicoder/contract_array.sol
#	test/libsolidity/semanticTests/abicoder/contract_array_v2.sol
#	test/libsolidity/semanticTests/abicoder/libraryABI/storage_ptr.sol
#	test/libsolidity/semanticTests/abicoder/return_dynamic_types_cross_call_advanced.sol
#	test/libsolidity/semanticTests/abicoder/return_dynamic_types_cross_call_out_of_range_homestead.sol
#	test/libsolidity/semanticTests/abicoder/return_dynamic_types_cross_call_out_of_range_post_homestead.sol
#	test/libsolidity/semanticTests/abicoder/return_dynamic_types_cross_call_simple.sol
#	test/libsolidity/semanticTests/abicoder/validation/array_exceeds_calldatasize_no_revert_string.sol
#	test/libsolidity/semanticTests/abicoder/validation/array_exceeds_calldatasize_v2.sol
#	test/libsolidity/semanticTests/abicoder/validation/array_exceeds_size_limit_for_calldata_types_v2.sol
#	test/libsolidity/semanticTests/abicoder/validation/calldata_array_dynamic_invalid_static_middle_v2.sol
#	test/libsolidity/semanticTests/abicoder/validation/calldata_array_dynamic_invalid_v2.sol
#	test/libsolidity/semanticTests/abicoder/validation/calldata_with_garbage_v2.sol
#	test/libsolidity/semanticTests/abicoder/validation/external_function_type_inside_struct_v2.sol
#	test/libsolidity/semanticTests/abicoder/validation/static_struct_v2.sol
#	test/libsolidity/semanticTests/array/array_storage_length_access.sol
#	test/libsolidity/semanticTests/array/array_storage_push_empty_length_address.sol
#	test/libsolidity/semanticTests/array/array_storage_push_pop.sol
#	test/libsolidity/semanticTests/array/arrays_complex_from_and_to_storage.sol
#	test/libsolidity/semanticTests/array/byte_array_storage_layout.sol
#	test/libsolidity/semanticTests/array/bytes_length_member.sol
#	test/libsolidity/semanticTests/array/calldata_array_bounds_check_nested_bytes.sol
#	test/libsolidity/semanticTests/array/constant_var_as_array_length.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_calldata_storage.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_cleanup_uint128.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_cleanup_uint40.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_clear_storage.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_clear_storage_packed.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_different_packing.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_including_array.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_nested_array.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_different_base.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_different_base_nested.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_dyn_dyn.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_dynamic_dynamic.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_static_dynamic.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_static_simple.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_static_static.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_struct.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_target_leftover.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_target_leftover2.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_target_simple.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_target_simple_2.sol
#	test/libsolidity/semanticTests/array/copying/array_elements_to_mapping.sol
#	test/libsolidity/semanticTests/array/copying/array_of_function_external_storage_to_storage_dynamic.sol
#	test/libsolidity/semanticTests/array/copying/array_of_function_external_storage_to_storage_dynamic_different_mutability.sol
#	test/libsolidity/semanticTests/array/copying/array_of_struct_calldata_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/array_of_structs_containing_arrays_calldata_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/array_to_mapping.sol
#	test/libsolidity/semanticTests/array/copying/arrays_from_and_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/bytes_inside_mappings.sol
#	test/libsolidity/semanticTests/array/copying/bytes_storage_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/calldata_1d_array_into_2d_memory_array_element.sol
#	test/libsolidity/semanticTests/array/copying/calldata_array_dynamic_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/cleanup_during_multi_element_per_slot_copy.sol
#	test/libsolidity/semanticTests/array/copying/copy_byte_array_in_struct_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/copy_byte_array_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/copy_function_internal_storage_array.sol
#	test/libsolidity/semanticTests/array/copying/copy_internal_function_array_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/copy_removes_bytes_data.sol
#	test/libsolidity/semanticTests/array/copying/copying_bytes_multiassign.sol
#	test/libsolidity/semanticTests/array/copying/elements_of_nested_array_of_structs_calldata_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/elements_of_nested_array_of_structs_memory_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/function_type_array_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/memory_dyn_2d_bytes_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/nested_array_calldata_to_memory.sol
#	test/libsolidity/semanticTests/array/copying/nested_array_calldata_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/nested_array_dynamic_dynamic_calldata_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/nested_array_dynamic_static_calldata_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/nested_array_element_calldata_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/nested_array_element_memory_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/nested_array_element_storage_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/nested_array_memory_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/nested_array_of_structs_calldata_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/nested_array_of_structs_memory_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/nested_array_storage_to_memory.sol
#	test/libsolidity/semanticTests/array/copying/nested_dynamic_array_element_calldata_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/storage_memory_nested_bytes.sol
#	test/libsolidity/semanticTests/array/delete/bytes_delete_element.sol
#	test/libsolidity/semanticTests/array/delete/delete_bytes_array.sol
#	test/libsolidity/semanticTests/array/delete/delete_storage_array_packed.sol
#	test/libsolidity/semanticTests/array/dynamic_array_cleanup.sol
#	test/libsolidity/semanticTests/array/fixed_array_cleanup.sol
#	test/libsolidity/semanticTests/array/invalid_encoding_for_storage_byte_array.sol
#	test/libsolidity/semanticTests/array/pop/array_pop_array_transition.sol
#	test/libsolidity/semanticTests/array/pop/byte_array_pop_copy_long.sol
#	test/libsolidity/semanticTests/array/push/array_push_nested_from_calldata.sol
#	test/libsolidity/semanticTests/array/push/array_push_packed_array.sol
#	test/libsolidity/semanticTests/array/push/array_push_struct.sol
#	test/libsolidity/semanticTests/array/push/nested_bytes_push.sol
#	test/libsolidity/semanticTests/array/push/push_no_args_2d.sol
#	test/libsolidity/semanticTests/array/slices/calldata_array_slicing.sol
#	test/libsolidity/semanticTests/cleanup/byte_array_to_storage_cleanup.sol
#	test/libsolidity/semanticTests/cleanup/indexed_log_topic_during_explicit_downcast_during_emissions.sol
#	test/libsolidity/semanticTests/constants/asm_address_constant_regression.sol
#	test/libsolidity/semanticTests/constructor/arrays_in_constructors.sol
#	test/libsolidity/semanticTests/constructor/bytes_in_constructors_packer.sol
#	test/libsolidity/semanticTests/constructor/bytes_in_constructors_unpacker.sol
#	test/libsolidity/semanticTests/constructor/constructor_static_array_argument.sol
#	test/libsolidity/semanticTests/conversions/calldata_bytes_to_memory.sol
#	test/libsolidity/semanticTests/conversions/calldata_bytes_to_memory_reencode.sol
#	test/libsolidity/semanticTests/events/event_dynamic_nested_array_storage_v2.sol
#	test/libsolidity/semanticTests/events/event_indexed_mixed.sol
#	test/libsolidity/semanticTests/events/event_signature_in_library.sol
#	test/libsolidity/semanticTests/experimental/stub.sol
#	test/libsolidity/semanticTests/experimental/type_class.sol
#	test/libsolidity/semanticTests/externalContracts/FixedFeeRegistrar.sol
#	test/libsolidity/semanticTests/externalContracts/base64.sol
#	test/libsolidity/semanticTests/externalContracts/deposit_contract.sol
#	test/libsolidity/semanticTests/externalContracts/prbmath_signed.sol
#	test/libsolidity/semanticTests/externalContracts/prbmath_unsigned.sol
#	test/libsolidity/semanticTests/externalContracts/ramanujan_pi.sol
#	test/libsolidity/semanticTests/externalContracts/snark.sol
#	test/libsolidity/semanticTests/externalContracts/strings.sol
#	test/libsolidity/semanticTests/fallback/call_forward_bytes.sol
#	test/libsolidity/semanticTests/functionCall/calldata_and_memory_arguments.sol
#	test/libsolidity/semanticTests/functionCall/calldata_argument_external_bytes.sol
#	test/libsolidity/semanticTests/functionCall/calldata_argument_internal_bytes.sol
#	test/libsolidity/semanticTests/functionCall/calldata_argument_internal_dynamic_array_v2.sol
#	test/libsolidity/semanticTests/functionCall/calldata_argument_internal_library_bytes.sol
#	test/libsolidity/semanticTests/functionCall/calldata_argument_internal_library_dynamic_struct_v2.sol
#	test/libsolidity/semanticTests/functionCall/calldata_argument_internal_library_static_struct_v2.sol
#	test/libsolidity/semanticTests/functionCall/calldata_argument_internal_multi_array_v2.sol
#	test/libsolidity/semanticTests/functionCall/calldata_argument_internal_multi_static_array_v2.sol
#	test/libsolidity/semanticTests/functionCall/calldata_argument_internal_struct_as_memory_v2.sol
#	test/libsolidity/semanticTests/functionCall/calldata_argument_internal_struct_v2.sol
#	test/libsolidity/semanticTests/functionCall/send_zero_ether.sol
#	test/libsolidity/semanticTests/functionTypes/internal_function_pointer_with_calldata_args.sol
#	test/libsolidity/semanticTests/functionTypes/store_function.sol
#	test/libsolidity/semanticTests/inheritance/address_overload_resolution.sol
#	test/libsolidity/semanticTests/inheritance/inherited_function_calldata_calldata_interface.sol
#	test/libsolidity/semanticTests/inheritance/inherited_function_calldata_memory_interface.sol
#	test/libsolidity/semanticTests/inheritance/interface_inheritance_conversions.sol
#	test/libsolidity/semanticTests/inlineAssembly/keccak_yul_optimization.sol
#	test/libsolidity/semanticTests/libraries/attached_internal_library_function_accepting_calldata_dynamic_array_or_slice_v2.sol
#	test/libsolidity/semanticTests/libraries/attached_internal_library_function_accepting_calldata_static_array_v2.sol
#	test/libsolidity/semanticTests/libraries/attached_internal_library_function_accepting_calldata_struct_v2.sol
#	test/libsolidity/semanticTests/libraries/attached_internal_library_function_accepting_calldata_v2.sol
#	test/libsolidity/semanticTests/libraries/attached_public_library_function_accepting_calldata.sol
#	test/libsolidity/semanticTests/libraries/using_library_structs.sol
#	test/libsolidity/semanticTests/operators/userDefined/operator_making_pure_external_call.sol
#	test/libsolidity/semanticTests/operators/userDefined/operator_making_view_external_call.sol
#	test/libsolidity/semanticTests/storage/empty_nonempty_empty.sol
#	test/libsolidity/semanticTests/storageLayoutSpecifier/state_variable_dynamic_array.sol
#	test/libsolidity/semanticTests/storageLayoutSpecifier/state_variable_mapping.sol
#	test/libsolidity/semanticTests/structs/copy_from_mapping.sol
#	test/libsolidity/semanticTests/structs/copy_from_storage.sol
#	test/libsolidity/semanticTests/structs/copy_struct_array_from_storage.sol
#	test/libsolidity/semanticTests/structs/copy_struct_with_nested_struct_from_calldata_to_memory.sol
#	test/libsolidity/semanticTests/structs/copy_substructures_from_mapping.sol
#	test/libsolidity/semanticTests/structs/copy_substructures_to_mapping.sol
#	test/libsolidity/semanticTests/structs/copy_to_mapping.sol
#	test/libsolidity/semanticTests/structs/struct_containing_bytes_copy_and_delete.sol
#	test/libsolidity/semanticTests/structs/struct_copy_calldata_to_memory_nested_bytes_v2.sol
#	test/libsolidity/semanticTests/structs/struct_copy_calldata_to_memory_nested_dynamic_array_v2.sol
#	test/libsolidity/semanticTests/structs/struct_copy_calldata_to_memory_nested_static_array_v2.sol
#	test/libsolidity/semanticTests/structs/struct_copy_calldata_to_memory_tuple.sol
#	test/libsolidity/semanticTests/structs/struct_copy_calldata_to_memory_v2.sol
#	test/libsolidity/semanticTests/structs/struct_copy_calldata_to_storage_nested_dynamic_array_v2.sol
#	test/libsolidity/semanticTests/structs/struct_copy_calldata_to_storage_v2.sol
#	test/libsolidity/semanticTests/structs/struct_delete_storage_nested_small.sol
#	test/libsolidity/semanticTests/structs/struct_delete_storage_with_array.sol
#	test/libsolidity/semanticTests/structs/struct_delete_storage_with_arrays_small.sol
#	test/libsolidity/semanticTests/types/mapping/copy_from_mapping_to_mapping.sol
#	test/libsolidity/semanticTests/userDefinedValueType/calldata.sol
#	test/libsolidity/semanticTests/userDefinedValueType/calldata_to_storage.sol
#	test/libsolidity/semanticTests/userDefinedValueType/erc20.sol
#	test/libsolidity/semanticTests/userDefinedValueType/memory_to_storage.sol
#	test/libsolidity/semanticTests/userDefinedValueType/zero_cost_abstraction_comparison_elementary.sol
#	test/libsolidity/semanticTests/userDefinedValueType/zero_cost_abstraction_comparison_userdefined.sol
#	test/libsolidity/semanticTests/various/address_code.sol
#	test/libsolidity/semanticTests/various/codebalance_assembly.sol
#	test/libsolidity/semanticTests/various/contract_binary_dependencies.sol
#	test/libsolidity/semanticTests/various/create_calldata.sol
#	test/libsolidity/semanticTests/various/destructuring_assignment.sol
#	test/libsolidity/semanticTests/various/erc20.sol
#	test/libsolidity/semanticTests/various/skip_dynamic_types_for_structs.sol
#	test/libsolidity/smtCheckerTests/blockchain_state/balance_spend.sol
#	test/libsolidity/smtCheckerTests/blockchain_state/balance_spend_2.sol
#	test/libsolidity/smtCheckerTests/blockchain_state/decreasing_balance.sol
#	test/libsolidity/smtCheckerTests/blockchain_state/free_function_2.sol
#	test/libsolidity/smtCheckerTests/blockchain_state/library_internal_2.sol
#	test/libsolidity/smtCheckerTests/blockchain_state/library_public_2.sol
#	test/libsolidity/smtCheckerTests/blockchain_state/transfer_1.sol
#	test/libsolidity/smtCheckerTests/blockchain_state/transfer_2.sol
#	test/libsolidity/smtCheckerTests/blockchain_state/transfer_3.sol
#	test/libsolidity/smtCheckerTests/blockchain_state/transfer_4.sol
#	test/libsolidity/smtCheckerTests/bmc_coverage/funds.sol
#	test/libsolidity/smtCheckerTests/deployment/deploy_trusted_addresses.sol
#	test/libsolidity/smtCheckerTests/deployment/deploy_untrusted_addresses.sol
#	test/libsolidity/smtCheckerTests/external_calls/external_call_indirect_2.sol
#	test/libsolidity/smtCheckerTests/external_calls/external_call_indirect_5.sol
#	test/libsolidity/smtCheckerTests/functions/functions_external_2.sol
#	test/libsolidity/smtCheckerTests/functions/getters/array_of_structs_1.sol
#	test/libsolidity/smtCheckerTests/functions/getters/array_of_structs_2.sol
#	test/libsolidity/smtCheckerTests/functions/getters/array_of_structs_3.sol
#	test/libsolidity/smtCheckerTests/functions/getters/contract.sol
#	test/libsolidity/smtCheckerTests/functions/getters/struct_4.sol
#	test/libsolidity/smtCheckerTests/modifiers/modifier_abstract.sol
#	test/libsolidity/smtCheckerTests/modifiers/modifier_overriding_1.sol
#	test/libsolidity/smtCheckerTests/modifiers/modifier_overriding_2.sol
#	test/libsolidity/smtCheckerTests/modifiers/modifier_overriding_3.sol
#	test/libsolidity/smtCheckerTests/modifiers/modifier_overriding_4.sol
#	test/libsolidity/smtCheckerTests/modifiers/modifier_virtual_static_call_1.sol
#	test/libsolidity/smtCheckerTests/modifiers/modifier_virtual_static_call_2.sol
#	test/libsolidity/smtCheckerTests/types/address_transfer.sol
#	test/libsolidity/smtCheckerTests/types/address_transfer_2.sol
#	test/libsolidity/smtCheckerTests/types/address_transfer_3.sol
#	test/libsolidity/smtCheckerTests/types/address_transfer_insufficient.sol
#	test/libsolidity/smtCheckerTests/types/contract.sol
#	test/libsolidity/smtCheckerTests/types/contract_2.sol
#	test/libsolidity/smtCheckerTests/types/contract_3.sol
#	test/libsolidity/smtCheckerTests/types/contract_address_conversion_2.sol
#	test/libsolidity/smtCheckerTests/types/struct/struct_constructor_fixed_bytes_from_string_1.sol
#	test/libsolidity/syntaxTests/abiEncoder/conflicting_settings.sol
#	test/libsolidity/syntaxTests/abiEncoder/conflicting_settings_reverse.sol
#	test/libsolidity/syntaxTests/abiEncoder/conflicting_settings_reverse_experimental.sol
#	test/libsolidity/syntaxTests/abiEncoder/select_v1.sol
#	test/libsolidity/syntaxTests/abiEncoder/select_v1_quoted_string.sol
#	test/libsolidity/syntaxTests/abiEncoder/selected_twice.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_accessing_public_state_variable_via_v1_type.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_accessing_public_state_variable_via_v2_type.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v1_library_function_accepting_storage_struct.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_constructor_accepting_struct.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_contract_function_accepting_struct_via_named_argument.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_contract_function_pointer_accepting_struct.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_contract_function_returning_dynamic_string_array.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_contract_function_returning_struct.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_contract_function_returning_struct_with_dynamic_array.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_event_accepting_struct.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_library_attached_function_returning_struct.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_library_function_accepting_storage_struct.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_library_function_returning_struct.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_modifier.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_constructor_with_v2_modifier.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_inheritance_from_contract_calling_v2_function.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_inheritance_from_contract_defining_v2_event.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_inheritance_from_contract_defining_v2_function_accepting_struct.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_inheritance_from_contract_defining_v2_function_returning_struct.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_inheritance_from_contract_emitting_v2_event.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_modifier_overriding_v2_modifier.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_v2_v1_modifier_mix.sol
#	test/libsolidity/syntaxTests/abiEncoder/v2_v1_v1_modifier_sandwich.sol
#	test/libsolidity/syntaxTests/abiEncoder/v2_v1_v2_modifier_sandwich.sol
#	test/libsolidity/syntaxTests/array/calldata_multi_dynamic_V1.sol
#	test/libsolidity/syntaxTests/array/concat/bytes_concat_valid_type_literal.sol
#	test/libsolidity/syntaxTests/array/concat/bytes_concat_wrong_type_empty_string_literal.sol
#	test/libsolidity/syntaxTests/array/copy_from_function_type.sol
#	test/libsolidity/syntaxTests/constants/constant_state_variable_named_transient.sol
#	test/libsolidity/syntaxTests/constants/initialization/abi_encoding_builtin_const_args.sol
#	test/libsolidity/syntaxTests/constants/initialization/addmod_by_zero.sol
#	test/libsolidity/syntaxTests/constants/initialization/addmod_mulmod_rational_arg.sol
#	test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_1.sol
#	test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_2.sol
#	test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_3.sol
#	test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_4.sol
#	test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_5.sol
#	test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_file.sol
#	test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_file_and_library.sol
#	test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_library.sol
#	test/libsolidity/syntaxTests/constants/initialization/division_by_zero.sol
#	test/libsolidity/syntaxTests/constants/initialization/function_pointer_call.sol
#	test/libsolidity/syntaxTests/constants/initialization/modulo_by_zero.sol
#	test/libsolidity/syntaxTests/constants/initialization/mulmod_by_zero.sol
#	test/libsolidity/syntaxTests/constructor/nonabiv2_type.sol
#	test/libsolidity/syntaxTests/constructor/nonabiv2_type_abstract.sol
#	test/libsolidity/syntaxTests/controlFlow/modifiers/implemented_without_placeholder.sol
#	test/libsolidity/syntaxTests/controlFlow/modifiers/modifier_different_functions.sol
#	test/libsolidity/syntaxTests/controlFlow/modifiers/modifier_override.sol
#	test/libsolidity/syntaxTests/controlFlow/modifiers/non_implemented_modifier.sol
#	test/libsolidity/syntaxTests/conversion/implicit_conversion_of_super_in_comparison.sol
#	test/libsolidity/syntaxTests/dataLocations/data_location_in_function_type_fail.sol
#	test/libsolidity/syntaxTests/dataLocations/externalFunction/function_argument_location_specifier_test_external_transient.sol
#	test/libsolidity/syntaxTests/dataLocations/internalFunction/function_argument_location_specifier_test_internal_transient.sol
#	test/libsolidity/syntaxTests/dataLocations/libraries/library_function_with_data_location_transient.sol
#	test/libsolidity/syntaxTests/dataLocations/libraryExternalFunction/function_argument_location_specifier_test_external_transient.sol
#	test/libsolidity/syntaxTests/dataLocations/libraryInternalFunction/function_argument_location_specifier_test_internal_transient.sol
#	test/libsolidity/syntaxTests/dataLocations/privateFunction/private_function_parameters_location_transient.sol
#	test/libsolidity/syntaxTests/dataLocations/privateFunction/private_function_return_parameters_location_transient.sol
#	test/libsolidity/syntaxTests/dataLocations/publicFunction/function_argument_location_specifier_test_public_transient.sol
#	test/libsolidity/syntaxTests/dataLocations/publicFunction/public_function_return_parameters_location_transient.sol
#	test/libsolidity/syntaxTests/dataLocations/transient_function_type_parameter.sol
#	test/libsolidity/syntaxTests/duplicateFunctions/illegal_names_exception.sol
#	test/libsolidity/syntaxTests/errors/no_structs_in_abiv1.sol
#	test/libsolidity/syntaxTests/errors/struct_named_error.sol
#	test/libsolidity/syntaxTests/events/event_nested_array.sol
#	test/libsolidity/syntaxTests/events/event_nested_array_in_struct.sol
#	test/libsolidity/syntaxTests/events/event_struct.sol
#	test/libsolidity/syntaxTests/events/event_struct_indexed.sol
#	test/libsolidity/syntaxTests/events/illegal_names_exception.sol
#	test/libsolidity/syntaxTests/events/illegal_names_exception_file_level.sol
#	test/libsolidity/syntaxTests/experimental/builtin/builtin_type_definition.sol
#	test/libsolidity/syntaxTests/experimental/builtin/builtin_type_definition_duplicate.sol
#	test/libsolidity/syntaxTests/experimental/builtin/builtin_type_definition_unknown.sol
#	test/libsolidity/syntaxTests/experimental/forall/undeclared_type_variable_in_function.sol
#	test/libsolidity/syntaxTests/experimental/forall/undeclared_type_variable_in_quantified_function.sol
#	test/libsolidity/syntaxTests/experimental/forall/undeclared_type_variable_in_type_class.sol
#	test/libsolidity/syntaxTests/experimental/import/experimental_solidity.sol
#	test/libsolidity/syntaxTests/experimental/import/experimental_solidity_multisource_not_all_enable.sol
#	test/libsolidity/syntaxTests/experimental/import/experimental_solidity_out_of_order_1.sol
#	test/libsolidity/syntaxTests/experimental/import/experimental_solidity_out_of_order_2.sol
#	test/libsolidity/syntaxTests/experimental/import/experimental_solidity_wrong_evm_version.sol
#	test/libsolidity/syntaxTests/experimental/import/parsing_stdlib_import_1.sol
#	test/libsolidity/syntaxTests/experimental/import/parsing_stdlib_import_2.sol
#	test/libsolidity/syntaxTests/experimental/import/parsing_stdlib_import_3.sol
#	test/libsolidity/syntaxTests/experimental/import/parsing_stdlib_import_4.sol
#	test/libsolidity/syntaxTests/experimental/inference/import_and_call_stdlib_function.sol
#	test/libsolidity/syntaxTests/experimental/inference/instantiation_invalid_type_constructor.sol
#	test/libsolidity/syntaxTests/experimental/inference/instantiation_member_type_does_not_match_declaration.sol
#	test/libsolidity/syntaxTests/experimental/inference/instantiation_not_for_class.sol
#	test/libsolidity/syntaxTests/experimental/inference/invalid_type_referenced.sol
#	test/libsolidity/syntaxTests/experimental/inference/monomorphic_function_call_type_mismatch.sol
#	test/libsolidity/syntaxTests/experimental/inference/polymorphic_function_call.sol
#	test/libsolidity/syntaxTests/experimental/inference/polymorphic_function_call_let_polymorphism.sol
#	test/libsolidity/syntaxTests/experimental/inference/polymorphic_function_call_type_mismatch.sol
#	test/libsolidity/syntaxTests/experimental/inference/polymorphic_type.sol
#	test/libsolidity/syntaxTests/experimental/inference/polymorphic_type_abs_and_rep.sol
#	test/libsolidity/syntaxTests/experimental/inference/polymorphic_type_instantiation_and_operators.sol
#	test/libsolidity/syntaxTests/experimental/inference/type_variable_multi_use_function_parameter_and_return.sol
#	test/libsolidity/syntaxTests/experimental/inference/type_variable_multi_use_function_parameters.sol
#	test/libsolidity/syntaxTests/experimental/parsing/forall_free_function.sol
#	test/libsolidity/syntaxTests/experimental/parsing/forall_free_function_no_type_var.sol
#	test/libsolidity/syntaxTests/experimental/parsing/forall_free_function_with_sorts.sol
#	test/libsolidity/syntaxTests/experimental/parsing/forall_type_class.sol
#	test/libsolidity/syntaxTests/experimental/parsing/forall_type_class_instantiation.sol
#	test/libsolidity/syntaxTests/freeFunctions/free_constructor.sol
#	test/libsolidity/syntaxTests/freeFunctions/free_fallback.sol
#	test/libsolidity/syntaxTests/freeFunctions/free_receive.sol
#	test/libsolidity/syntaxTests/functionTypes/function_type_with_transient_param.sol
#	test/libsolidity/syntaxTests/getter/nested_structs.sol
#	test/libsolidity/syntaxTests/immutable/immutable_state_var_named_transient.sol
#	test/libsolidity/syntaxTests/immutable/inheritance_virtual_modifiers.sol
#	test/libsolidity/syntaxTests/imports/inheritance_abi_encoder_mismatch_1.sol
#	test/libsolidity/syntaxTests/imports/inheritance_abi_encoder_mismatch_2.sol
#	test/libsolidity/syntaxTests/inheritance/dataLocation/modifier_parameter_data_location_change_illegal_internal.sol
#	test/libsolidity/syntaxTests/inheritance/override/modifier_ambiguous.sol
#	test/libsolidity/syntaxTests/inheritance/override/modifier_ambiguous_fail.sol
#	test/libsolidity/syntaxTests/inheritance/override/modifier_inherited_different_signature.sol
#	test/libsolidity/syntaxTests/inheritance/override/modifier_inherited_different_signature_override.sol
#	test/libsolidity/syntaxTests/inheritance/override/nonintermediate_common_base_and_unique_implementation_modifier.sol
#	test/libsolidity/syntaxTests/inheritance/virtual/modifier_virtual_err.sol
#	test/libsolidity/syntaxTests/inheritance/virtual/simple.sol
#	test/libsolidity/syntaxTests/inlineAssembly/blobhash_pre_cancun_not_reserved.sol
#	test/libsolidity/syntaxTests/inlineAssembly/clash_with_non_reserved_pure_yul_builtin.sol
#	test/libsolidity/syntaxTests/inlineAssembly/memory_safe_dialect_string_and_comment.sol
#	test/libsolidity/syntaxTests/inlineAssembly/natspec_multi.sol
#	test/libsolidity/syntaxTests/inlineAssembly/natspec_multi_swallowed.sol
#	test/libsolidity/syntaxTests/inlineAssembly/prevrandao_allowed_function_pre_paris.sol
#	test/libsolidity/syntaxTests/inlineAssembly/solidity_keywords.sol
#	test/libsolidity/syntaxTests/modifiers/definition_in_contract.sol
#	test/libsolidity/syntaxTests/modifiers/definition_in_contract_unimplemented.sol
#	test/libsolidity/syntaxTests/modifiers/definition_in_interface.sol
#	test/libsolidity/syntaxTests/modifiers/definition_in_library.sol
#	test/libsolidity/syntaxTests/modifiers/definition_in_library_unimplemented.sol
#	test/libsolidity/syntaxTests/modifiers/empty_modifier_body.sol
#	test/libsolidity/syntaxTests/modifiers/empty_modifier_err.sol
#	test/libsolidity/syntaxTests/modifiers/legal_modifier_override.sol
#	test/libsolidity/syntaxTests/modifiers/modifier_abstract_override.sol
#	test/libsolidity/syntaxTests/modifiers/multiple_inheritance_unimplemented_override.sol
#	test/libsolidity/syntaxTests/modifiers/transient_parameter.sol
#	test/libsolidity/syntaxTests/modifiers/unimplemented_function_and_modifier.sol
#	test/libsolidity/syntaxTests/modifiers/unimplemented_override_unimplemented.sol
#	test/libsolidity/syntaxTests/modifiers/use_unimplemented_from_base.sol
#	test/libsolidity/syntaxTests/modifiers/use_unimplemented_on_overridden_func.sol
#	test/libsolidity/syntaxTests/modifiers/use_unimplemented_static.sol
#	test/libsolidity/syntaxTests/nameAndTypeResolution/045_returning_multi_dimensional_arrays.sol
#	test/libsolidity/syntaxTests/nameAndTypeResolution/046_returning_multi_dimensional_static_arrays.sol
#	test/libsolidity/syntaxTests/nameAndTypeResolution/048_returning_arrays_in_structs_arrays.sol
#	test/libsolidity/syntaxTests/nameAndTypeResolution/346_unused_return_value_send.sol
#	test/libsolidity/syntaxTests/nameAndTypeResolution/405_address_checksum_type_deduction.sol
#	test/libsolidity/syntaxTests/nameAndTypeResolution/413_address_methods.sol
#	test/libsolidity/syntaxTests/nameAndTypeResolution/466_does_not_error_transfer_payable_fallback.sol
#	test/libsolidity/syntaxTests/nameAndTypeResolution/535_address_overload_resolution.sol
#	test/libsolidity/syntaxTests/nameAndTypeResolution/585_abi_decode_with_unsupported_types.sol
#	test/libsolidity/syntaxTests/parsing/contract_named_transient.sol
#	test/libsolidity/syntaxTests/parsing/unexpected.sol
#	test/libsolidity/syntaxTests/pragma/experimental_pragma_duplicate.sol
#	test/libsolidity/syntaxTests/pragma/experimental_test_warning.sol
#	test/libsolidity/syntaxTests/sizeLimits/bytecode_too_large_abiencoder_v1.sol
#	test/libsolidity/syntaxTests/specialFunctions/abi_encodePacked_nested_dynamic_array.sol
#	test/libsolidity/syntaxTests/specialFunctions/abi_encode_nested_dynamic_array.sol
#	test/libsolidity/syntaxTests/specialFunctions/abi_encode_structs.sol
#	test/libsolidity/syntaxTests/specialFunctions/abidecode/abi_decode_nested_dynamic_array.sol
#	test/libsolidity/syntaxTests/specialFunctions/abidecode/abi_decode_struct.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/abi_decode.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/address.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/array_literal.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/bitwise_negation_after_cast.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/boolean.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/constant_divided_by_its_negation.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/constant_divided_by_zero.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/constant_from_base_contract.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/contract_named_at.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/contract_named_layout.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/contract_with_members_named_layout_and_at.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/enum.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/function_defined_in_other_contract.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/function_selector.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/hex_address.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/hex_string.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/hex_string_cast.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/layout_specification_bytes.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/layout_specification_constant_in_expression.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/layout_specified_by_bytes_concat.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/layout_specified_by_function_empty_call_options.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/layout_specified_by_interface_id.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/layout_specified_by_kecak256.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/layout_specified_by_module.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/layout_specified_by_other_contract.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/layout_specified_by_type.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/literal_cast.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/precompiles.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/rational_number_without_fractional_part.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/string.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/ternary_operator.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/tuple.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/type_uint_max.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/user_defined_value_type.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/user_defined_value_type_unwrap.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/user_defined_value_type_wrap.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/value_from_array_literal.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/value_from_bytes.sol
#	test/libsolidity/syntaxTests/structs/recursion/recursive_struct_nested_mapping_memory.sol
#	test/libsolidity/syntaxTests/unusedVariables/try_catch.sol
#	test/libsolidity/syntaxTests/variableDeclaration/transient_as_identifier.sol
#	test/libsolidity/syntaxTests/viewPureChecker/builtin_functions.sol
#	test/libsolidity/syntaxTests/viewPureChecker/builtin_functions_view_fail.sol
#	test/libsolidity/syntaxTests/viewPureChecker/eof/builtin_functions.sol
#	test/libsolidity/util/TestFileParser.cpp
#	test/libsolutil/DisjointSet.cpp
#	test/libyul/Common.cpp
#	test/libyul/EVMCodeTransformTest.cpp
#	test/libyul/ObjectParser.cpp
#	test/libyul/YulOptimizerTestCommon.cpp
#	test/libyul/ssa/CallGraphTest.h
#	test/libyul/ssa/ControlFlowGraphTest.cpp
#	test/libyul/ssa/controlFlowGraph/complex.yul
#	test/libyul/ssa/controlFlowGraph/complex2.yul
#	test/libyul/ssa/controlFlowGraph/default_initialized_variable.yul
#	test/libyul/ssa/controlFlowGraph/function.yul
#	test/libyul/ssa/controlFlowGraph/if.yul
#	test/libyul/ssa/controlFlowGraph/if_const.yul
#	test/libyul/ssa/controlFlowGraph/nested_for.yul
#	test/libyul/ssa/controlFlowGraph/nested_functi…
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.