cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
f397b9a083
solidity/test/cmdlineTests
History
Kamil Śliwak f397b9a083 cmdlineTests: Add prefixes for temporary files/dirs
2023-06-02 16:10:40 +02:00
..
~assembler_modes cmdlineTests: Remove superfluous output from script-based tests and adjust the rest 2023-06-02 16:10:40 +02:00
~ast_export_with_stop_after_parsing cmdlineTests: Remove superfluous output from script-based tests and adjust the rest 2023-06-02 16:10:40 +02:00
~ast_import_export cmdlineTests: Add prefixes for temporary files/dirs 2023-06-02 16:10:40 +02:00
~compilation_tests cmdlineTests: Remove superfluous output from script-based tests and adjust the rest 2023-06-02 16:10:40 +02:00
~documentation_examples cmdlineTests: Add prefixes for temporary files/dirs 2023-06-02 16:10:40 +02:00
~library_checksum cmdlineTests: Remove superfluous output from script-based tests and adjust the rest 2023-06-02 16:10:40 +02:00
~library_long_names cmdlineTests: Remove superfluous output from script-based tests and adjust the rest 2023-06-02 16:10:40 +02:00
~linking cmdlineTests: Add prefixes for temporary files/dirs 2023-06-02 16:10:40 +02:00
~overwriting_files cmdlineTests: Add prefixes for temporary files/dirs 2023-06-02 16:10:40 +02:00
~soljson_via_fuzzer cmdlineTests: Add prefixes for temporary files/dirs 2023-06-02 16:10:40 +02:00
~standard_input cmdlineTests: Remove superfluous set and temporary dirs 2023-06-02 16:10:40 +02:00
~unknown_options cmdlineTests: Remove superfluous output from script-based tests and adjust the rest 2023-06-02 16:10:40 +02:00
~update_bugs_by_version cmdlineTests: Add prefixes for temporary files/dirs 2023-06-02 16:10:40 +02:00
~via_ir_equivalence cmdlineTests: Add prefixes for temporary files/dirs 2023-06-02 16:10:40 +02:00
abiencoderv2_no_warning Remove empty exit files from command-line tests 2021-08-05 17:41:33 +02:00
asm_json Checks for overflow/underflow after add/sub operations. 2022-06-23 14:41:12 -03:00
asm_json_no_pretty_print Checks for overflow/underflow after add/sub operations. 2022-06-23 14:41:12 -03:00
ast_compact_json_no_pretty_json Export all events. 2023-05-03 14:08:27 -03:00
ast_compact_json_with_base_path Export all events. 2023-05-03 14:08:27 -03:00
ast_ir Yul AST output on the CLI and in Standard JSON 2023-05-26 12:35:31 +02:00
ast_json_import_wrong_evmVersion Remove leftovers of compact-format and interface from --combined-json 2021-10-01 13:05:30 +02:00
combined_json_abi Set handlers use unified jsonPrint with prettifier if needed 2022-04-04 20:17:11 +02:00
combined_json_generated_sources Yul AST output on the CLI and in Standard JSON 2023-05-26 12:35:31 +02:00
combined_json_no_pretty_print Set handlers use unified jsonPrint with prettifier if needed 2022-04-04 20:17:11 +02:00
combined_json_with_base_path Add experimental support to import AST via Standard JSON. 2023-05-09 14:07:38 -05:00
combined_json_with_devdoc Set handlers use unified jsonPrint with prettifier if needed 2022-04-04 20:17:11 +02:00
combined_json_with_userdoc Set handlers use unified jsonPrint with prettifier if needed 2022-04-04 20:17:11 +02:00
constant_optimizer_yul Mark viaIR code generation as non-experimental. 2022-03-14 14:48:00 +01:00
debug_info_in_yul_and_evm_asm_print_all Update tests. 2022-08-15 16:24:10 +02:00
debug_info_in_yul_and_evm_asm_print_all_and_none Expose --debug-info/settings.debug.debugInfo option 2021-10-11 20:34:48 +02:00
debug_info_in_yul_and_evm_asm_print_location_only Update tests. 2022-08-15 16:24:10 +02:00
debug_info_in_yul_and_evm_asm_print_none Update tests. 2022-08-15 16:24:10 +02:00
debug_info_in_yul_and_evm_asm_print_snippet_only Expose --debug-info/settings.debug.debugInfo option 2021-10-11 20:34:48 +02:00
debug_info_in_yul_snippet_escaping Fix wrong cleanup when copying from calldata to memory 2022-08-08 13:07:16 +02:00
dup_opt_peephole Fill in junk in stack layouts on terminating control flow paths. 2022-03-15 18:36:55 +01:00
error_codes Cover cmdlineTests.sh errors 2020-07-09 14:39:05 +02:00
events_in_abi Export all events. 2023-05-03 14:08:27 -03:00
evmasm_difficulty_post_paris Adds support for the EVM version "Paris". 2023-01-23 18:50:36 +00:00
evmasm_difficulty_pre_paris Adds support for the EVM version "Paris". 2023-01-23 18:50:36 +00:00
evmasm_prevrandao_post_paris Adds support for the EVM version "Paris". 2023-01-23 18:50:36 +00:00
evmasm_prevrandao_pre_paris Adds support for the EVM version "Paris". 2023-01-23 18:50:36 +00:00
exp_base_literal Mark viaIR code generation as non-experimental. 2022-03-14 14:48:00 +01:00
function_debug_info Change default EVM version to Shanghai. 2023-05-08 16:34:23 +02:00
function_debug_info_via_yul Update test expectations. 2022-05-23 13:37:50 +02:00
hashes Include used events in `--hashes` output 2022-02-09 13:50:42 +01:00
inline_assembly_function_name_clash Change default EVM version to Shanghai. 2023-05-08 16:34:23 +02:00
ir_compiler_inheritance_nosubobjects Mark viaIR code generation as non-experimental. 2022-03-14 14:48:00 +01:00
ir_compiler_subobjects Update tests. 2022-08-15 16:24:10 +02:00
ir_with_assembly_no_memoryguard_creation Update tests. 2022-08-15 16:24:10 +02:00
ir_with_assembly_no_memoryguard_runtime Update tests. 2022-08-15 16:24:10 +02:00
keccak_optimization_deploy_code Mark viaIR code generation as non-experimental. 2022-03-14 14:48:00 +01:00
keccak_optimization_low_runs Mark viaIR code generation as non-experimental. 2022-03-14 14:48:00 +01:00
linker_mode_invalid_option_no_optimize_yul Reject optimizer options as invalid in linker and Standard JSON modes 2021-09-13 15:35:11 +02:00
linker_mode_invalid_option_optimize Reject optimizer options as invalid in linker and Standard JSON modes 2021-09-13 15:35:11 +02:00
linker_mode_invalid_option_optimize_runs Reject optimizer options as invalid in linker and Standard JSON modes 2021-09-13 15:35:11 +02:00
linker_mode_invalid_option_optimize_yul Reject optimizer options as invalid in linker and Standard JSON modes 2021-09-13 15:35:11 +02:00
linker_mode_invalid_option_yul_optimizations Reject optimizer options as invalid in linker and Standard JSON modes 2021-09-13 15:35:11 +02:00
linker_mode_output_selection_invalid Remove EWASM backend. 2023-05-11 10:56:55 -05:00
linking_qualified_library_name Remove linking to unqualified library name 2021-10-20 18:11:58 +03:30
linking_solidity [CLI] Allow "=" as separator between library name and address in --libraries commandline option. 2021-01-25 16:14:39 +08:00
linking_solidity_unresolved_references [CLI] Allow "=" as separator between library name and address in --libraries commandline option. 2021-01-25 16:14:39 +08:00
linking_standard_solidity regenerating tests expectation 2022-10-26 15:13:47 +05:00
linking_standard_solidity_quote_in_file_name regenerating tests expectation 2022-10-26 15:13:47 +05:00
linking_standard_solidity_unresolved_references Change default EVM version to Shanghai. 2023-05-08 16:34:23 +02:00
linking_standard_yul regenerating tests expectation 2022-10-26 15:13:47 +05:00
linking_standard_yul_quote_in_file_name regenerating tests expectation 2022-10-26 15:13:47 +05:00
linking_standard_yul_unresolved_references regenerating tests expectation 2022-10-26 15:13:47 +05:00
linking_strict_assembly Change default EVM version to Shanghai. 2023-05-08 16:34:23 +02:00
linking_strict_assembly_duplicate_library_name Add sstore to linker tests to prevent the address from being optimized out 2021-07-01 16:54:09 +02:00
linking_strict_assembly_qualified_library_qualified_reference Change default EVM version to Shanghai. 2023-05-08 16:34:23 +02:00
linking_strict_assembly_qualified_library_unqualified_reference Change default EVM version to Shanghai. 2023-05-08 16:34:23 +02:00
linking_strict_assembly_same_library_name_different_files Change default EVM version to Shanghai. 2023-05-08 16:34:23 +02:00
linking_strict_assembly_same_library_name_different_files_in_link_references Change default EVM version to Shanghai. 2023-05-08 16:34:23 +02:00
linking_strict_assembly_unqualified_library_qualified_reference Change default EVM version to Shanghai. 2023-05-08 16:34:23 +02:00
linking_strict_assembly_unqualified_library_unqualified_reference Change default EVM version to Shanghai. 2023-05-08 16:34:23 +02:00
linking_strict_assembly_unresolved_references Change default EVM version to Shanghai. 2023-05-08 16:34:23 +02:00
linking_unqualified_library_name Remove linking to unqualified library name 2021-10-20 18:11:58 +03:30
message_format Update existing tests. 2020-05-13 18:16:59 +02:00
message_format_utf8 Add pragmas and SPDX comments to command-line tests to get cleaner error output 2021-08-05 17:41:30 +02:00
model_checker_contracts_all Choose contracts to be analyzed by the SMTChecker 2021-04-21 10:34:14 +02:00
model_checker_contracts_all_explicit Choose contracts to be analyzed by the SMTChecker 2021-04-21 10:34:14 +02:00
model_checker_contracts_contract_missing Choose contracts to be analyzed by the SMTChecker 2021-04-21 10:34:14 +02:00
model_checker_contracts_empty_contract Choose contracts to be analyzed by the SMTChecker 2021-04-21 10:34:14 +02:00
model_checker_contracts_empty_source Choose contracts to be analyzed by the SMTChecker 2021-04-21 10:34:14 +02:00
model_checker_contracts_inexistent_contract [SMTChecker] Add a new trusted mode which assumes that code that is 2023-02-06 17:02:33 +01:00
model_checker_contracts_inexistent_source Remove empty exit files from command-line tests 2021-08-05 17:41:33 +02:00
model_checker_contracts_one_contract_missing Choose contracts to be analyzed by the SMTChecker 2021-04-21 10:34:14 +02:00
model_checker_contracts_only_one [SMTChecker] Add a new trusted mode which assumes that code that is 2023-02-06 17:02:33 +01:00
model_checker_contracts_source_missing Choose contracts to be analyzed by the SMTChecker 2021-04-21 10:34:14 +02:00
model_checker_divModSlacks_default_all Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
model_checker_divModSlacks_default_bmc Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
model_checker_divModSlacks_default_chc Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
model_checker_divModSlacks_false_all Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
model_checker_divModSlacks_false_bmc Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
model_checker_divModSlacks_false_chc Add option divModWithSlacks 2021-08-06 15:50:25 +02:00
model_checker_engine_all update command line tests 2021-04-08 21:03:39 +02:00
model_checker_engine_bmc update command line tests 2021-04-08 21:03:39 +02:00
model_checker_engine_chc update command line tests 2021-04-08 21:03:39 +02:00
model_checker_engine_none Add pragmas and SPDX comments to command-line tests to get cleaner error output 2021-08-05 17:41:30 +02:00
model_checker_ext_calls_empty_arg [SMTChecker] Add a new trusted mode which assumes that code that is 2023-02-06 17:02:33 +01:00
model_checker_ext_calls_trusted_chc Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
model_checker_ext_calls_untrusted_chc [SMTChecker] Add a new trusted mode which assumes that code that is 2023-02-06 17:02:33 +01:00
model_checker_ext_calls_wrong_arg [SMTChecker] Add a new trusted mode which assumes that code that is 2023-02-06 17:02:33 +01:00
model_checker_invariants_all Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
model_checker_invariants_contract Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
model_checker_invariants_contract_reentrancy Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
model_checker_invariants_reentrancy Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
model_checker_invariants_wrong CLI and JSON tests 2021-10-26 11:30:30 +02:00
model_checker_show_proved_safe_default_all_engines Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
model_checker_show_proved_safe_default_bmc Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
model_checker_show_proved_safe_default_chc Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
model_checker_show_proved_safe_true_all_engines Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
model_checker_show_proved_safe_true_bmc Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
model_checker_show_proved_safe_true_chc Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
model_checker_show_unproved_default_all_engines CL tests 2021-08-04 13:54:50 +02:00
model_checker_show_unproved_default_bmc CL tests 2021-08-04 13:54:50 +02:00
model_checker_show_unproved_default_chc CL tests 2021-08-04 13:54:50 +02:00
model_checker_show_unproved_true_all_engines Make show unproved CLI a flag 2021-08-11 10:54:03 +02:00
model_checker_show_unproved_true_bmc Make show unproved CLI a flag 2021-08-11 10:54:03 +02:00
model_checker_show_unproved_true_chc Make show unproved CLI a flag 2021-08-11 10:54:03 +02:00
model_checker_show_unsupported_default_all_engines add cli tests 2023-03-15 17:52:58 +01:00
model_checker_show_unsupported_default_bmc add cli tests 2023-03-15 17:52:58 +01:00
model_checker_show_unsupported_default_chc add cli tests 2023-03-15 17:52:58 +01:00
model_checker_show_unsupported_true_all_engines add cli tests 2023-03-15 17:52:58 +01:00
model_checker_show_unsupported_true_bmc add cli tests 2023-03-15 17:52:58 +01:00
model_checker_show_unsupported_true_chc add cli tests 2023-03-15 17:52:58 +01:00
model_checker_solvers_smtlib2 Update commandline tests 2021-08-27 16:25:09 +02:00
model_checker_solvers_wrong Add option to choose solver 2021-07-27 17:14:21 +02:00
model_checker_solvers_wrong2 Add option to choose solver 2021-07-27 17:14:21 +02:00
model_checker_solvers_z3 Add option to choose solver 2021-07-27 17:14:21 +02:00
model_checker_solvers_z3_implicit Allow running Eldarica from the command line 2022-11-22 21:16:45 +01:00
model_checker_solvers_z3_smtlib2 Add option to choose solver 2021-07-27 17:14:21 +02:00
model_checker_targets_all_all_engines [SMTChecker] Report values for block, msg and tx variables in counterexamples 2021-10-05 15:19:10 +02:00
model_checker_targets_all_bmc Do not create VCs for underoverflow by default for Sol >=0.8 2021-08-09 14:12:31 +02:00
model_checker_targets_all_chc [SMTChecker] Report values for block, msg and tx variables in counterexamples 2021-10-05 15:19:10 +02:00
model_checker_targets_assert_bmc update command line tests 2021-04-08 21:03:39 +02:00
model_checker_targets_assert_chc [SMTChecker] Report values for block, msg and tx variables in counterexamples 2021-10-05 15:19:10 +02:00
model_checker_targets_balance_bmc update command line tests 2021-04-08 21:03:39 +02:00
model_checker_targets_balance_chc Add pragmas and SPDX comments to command-line tests to get cleaner error output 2021-08-05 17:41:30 +02:00
model_checker_targets_constant_condition_bmc update command line tests 2021-04-08 21:03:39 +02:00
model_checker_targets_constant_condition_chc Add pragmas and SPDX comments to command-line tests to get cleaner error output 2021-08-05 17:41:30 +02:00
model_checker_targets_default_all_engines [SMTChecker] Report values for block, msg and tx variables in counterexamples 2021-10-05 15:19:10 +02:00
model_checker_targets_default_bmc Do not create VCs for underoverflow by default for Sol >=0.8 2021-08-09 14:12:31 +02:00
model_checker_targets_default_chc [SMTChecker] Report values for block, msg and tx variables in counterexamples 2021-10-05 15:19:10 +02:00
model_checker_targets_div_by_zero_bmc update command line tests 2021-04-08 21:03:39 +02:00
model_checker_targets_div_by_zero_chc [SMTChecker] Report values for block, msg and tx variables in counterexamples 2021-10-05 15:19:10 +02:00
model_checker_targets_error update command line tests 2021-04-08 21:03:39 +02:00
model_checker_targets_out_of_bounds_bmc Add pragmas and SPDX comments to command-line tests to get cleaner error output 2021-08-05 17:41:30 +02:00
model_checker_targets_out_of_bounds_chc [SMTChecker] Report values for block, msg and tx variables in counterexamples 2021-10-05 15:19:10 +02:00
model_checker_targets_overflow_bmc update command line tests 2021-04-08 21:03:39 +02:00
model_checker_targets_overflow_chc [SMTChecker] Report values for block, msg and tx variables in counterexamples 2021-10-05 15:19:10 +02:00
model_checker_targets_pop_empty_bmc Add pragmas and SPDX comments to command-line tests to get cleaner error output 2021-08-05 17:41:30 +02:00
model_checker_targets_pop_empty_chc [SMTChecker] Report values for block, msg and tx variables in counterexamples 2021-10-05 15:19:10 +02:00
model_checker_targets_underflow_bmc update command line tests 2021-04-08 21:03:39 +02:00
model_checker_targets_underflow_chc [SMTChecker] Report values for block, msg and tx variables in counterexamples 2021-10-05 15:19:10 +02:00
model_checker_targets_underflow_overflow_assert_bmc update command line tests 2021-04-08 21:03:39 +02:00
model_checker_targets_underflow_overflow_assert_chc [SMTChecker] Report values for block, msg and tx variables in counterexamples 2021-10-05 15:19:10 +02:00
model_checker_targets_underflow_overflow_bmc update command line tests 2021-04-08 21:03:39 +02:00
model_checker_targets_underflow_overflow_chc [SMTChecker] Report values for block, msg and tx variables in counterexamples 2021-10-05 15:19:10 +02:00
model_checker_timeout_all Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
model_checker_timeout_bmc Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
model_checker_timeout_chc Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
name_simplifier Fix wrong cleanup when copying from calldata to memory 2022-08-08 13:07:16 +02:00
no_cbor_metadata Change default EVM version to Shanghai. 2023-05-08 16:34:23 +02:00
no_cbor_metadata_with_metadata_hash Rename command line tests for the --no-cbor-metadata/appendCBOR option 2022-10-19 21:28:45 +02:00
no_contract_combined_json Add experimental support to import AST via Standard JSON. 2023-05-09 14:07:38 -05:00
object_compiler Change default EVM version to Shanghai. 2023-05-08 16:34:23 +02:00
optimize_full_storage_write Support metadata via IR. 2021-06-21 18:20:31 +02:00
optimizer_array_sload Checks for overflow/underflow after add/sub operations. 2022-06-23 14:41:12 -03:00
optimizer_BlockDeDuplicator Support metadata via IR. 2021-06-21 18:20:31 +02:00
optimizer_enabled_invalid_yul_optimizer_enabled_and_disabled Disallow using both --optimize-yul and --no-optimize-yul at the same time 2023-05-24 15:54:40 +02:00
optimizer_inliner_add Support metadata via IR. 2021-06-21 18:20:31 +02:00
optimizer_inliner_call_from_constructor Support metadata via IR. 2021-06-21 18:20:31 +02:00
optimizer_inliner_dynamic_reference Checks for overflow/underflow after add/sub operations. 2022-06-23 14:41:12 -03:00
optimizer_inliner_dynamic_reference_constructor Checks for overflow/underflow after add/sub operations. 2022-06-23 14:41:12 -03:00
optimizer_inliner_inc Support metadata via IR. 2021-06-21 18:20:31 +02:00
optimizer_inliner_multireturn Support metadata via IR. 2021-06-21 18:20:31 +02:00
optimizer_user_yul Optimize eq iszero jumpi to xor jumpi and remove double jump. 2022-03-10 14:41:41 +01:00
output_selection_all_A1 regenerating tests expectation 2022-10-26 15:13:47 +05:00
output_selection_all_A2 regenerating tests expectation 2022-10-26 15:13:47 +05:00
output_selection_all_blank regenerating tests expectation 2022-10-26 15:13:47 +05:00
output_selection_all_star regenerating tests expectation 2022-10-26 15:13:47 +05:00
output_selection_single_A1 regenerating tests expectation 2022-10-26 15:13:47 +05:00
output_selection_single_all regenerating tests expectation 2022-10-26 15:13:47 +05:00
output_selection_single_B1 regenerating tests expectation 2022-10-26 15:13:47 +05:00
pretty_json_indent_only regenerating tests expectation 2022-10-26 15:13:47 +05:00
pretty_json_standard regenerating tests expectation 2022-10-26 15:13:47 +05:00
pretty_json_standard_indent regenerating tests expectation 2022-10-26 15:13:47 +05:00
recovery_ast_constructor Export all events. 2023-05-03 14:08:27 -03:00
recovery_ast_empty_contract fix(parser): error for unexpected token 2022-04-29 16:13:04 +04:00
recovery_standard_json Export all events. 2023-05-03 14:08:27 -03:00
require_overload Update existing tests. 2020-05-13 18:16:59 +02:00
revert_strings Mark viaIR code generation as non-experimental. 2022-03-14 14:48:00 +01:00
standard_cli_output_selection_invalid Remove EWASM backend. 2023-05-11 10:56:55 -05:00
standard_debug_info_in_evm_asm_via_ir_location regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_debug_info_in_yul_and_evm_asm_print_all regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_debug_info_in_yul_and_evm_asm_print_location_only regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_debug_info_in_yul_and_evm_asm_print_none regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_debug_info_in_yul_and_evm_asm_print_snippet_only regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_debug_info_in_yul_location regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_default_success regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_empty_file_name regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_file_not_found Process input files in Standard JSON mode just like in other modes 2021-07-27 15:54:32 +02:00
standard_function_debug_info Change default EVM version to Shanghai. 2023-05-08 16:34:23 +02:00
standard_generatedSources Yul AST output on the CLI and in Standard JSON 2023-05-26 12:35:31 +02:00
standard_immutable_references regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_import_ast Add experimental support to import AST via Standard JSON. 2023-05-09 14:07:38 -05:00
standard_import_ast_select_bytecode Add experimental support to import AST via Standard JSON. 2023-05-09 14:07:38 -05:00
standard_invalid_option_no_optimize_yul Reject optimizer options as invalid in linker and Standard JSON modes 2021-09-13 15:35:11 +02:00
standard_invalid_option_optimize Reject optimizer options as invalid in linker and Standard JSON modes 2021-09-13 15:35:11 +02:00
standard_invalid_option_optimize_runs Reject optimizer options as invalid in linker and Standard JSON modes 2021-09-13 15:35:11 +02:00
standard_invalid_option_optimize_yul Reject optimizer options as invalid in linker and Standard JSON modes 2021-09-13 15:35:11 +02:00
standard_invalid_option_yul_optimizations Reject optimizer options as invalid in linker and Standard JSON modes 2021-09-13 15:35:11 +02:00
standard_ir_ast_requested Yul AST output on the CLI and in Standard JSON 2023-05-26 12:35:31 +02:00
standard_ir_requested regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_irOptimized_ast_requested Yul AST output on the CLI and in Standard JSON 2023-05-26 12:35:31 +02:00
standard_irOptimized_requested regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_json_no_pretty_print regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_method_identifiers_requested regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_method_identifiers_requested_empty regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_missing_key_useLiteralContent regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_contracts_all regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_contracts_all_explicit regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_contracts_empty_array regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_contracts_empty_contract regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_contracts_empty_source regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_contracts_inexistent_contract [SMTChecker] Add a new trusted mode which assumes that code that is 2023-02-06 17:02:33 +01:00
standard_model_checker_contracts_multi_source [SMTChecker] Add a new trusted mode which assumes that code that is 2023-02-06 17:02:33 +01:00
standard_model_checker_contracts_only_one [SMTChecker] Add a new trusted mode which assumes that code that is 2023-02-06 17:02:33 +01:00
standard_model_checker_contracts_wrong_key_sources regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_contracts_wrong_key_sources_2 regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_contracts_wrong_key_sources_3 regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_contracts_wrong_key_sources_4 regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_divModSlacks_default_all Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
standard_model_checker_divModSlacks_default_bmc Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
standard_model_checker_divModSlacks_default_chc Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
standard_model_checker_divModSlacks_false_all Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
standard_model_checker_divModSlacks_false_bmc Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
standard_model_checker_divModSlacks_false_chc regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_divModSlacks_wrong regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_engine_all regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_engine_bmc Allow running Eldarica from the command line 2022-11-22 21:16:45 +01:00
standard_model_checker_engine_chc regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_engine_none regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_ext_calls_empty_arg [SMTChecker] Add a new trusted mode which assumes that code that is 2023-02-06 17:02:33 +01:00
standard_model_checker_ext_calls_trusted_chc Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
standard_model_checker_ext_calls_untrusted_chc [SMTChecker] Add a new trusted mode which assumes that code that is 2023-02-06 17:02:33 +01:00
standard_model_checker_ext_calls_wrong_arg_1 [SMTChecker] Add a new trusted mode which assumes that code that is 2023-02-06 17:02:33 +01:00
standard_model_checker_ext_calls_wrong_arg_2 [SMTChecker] Add a new trusted mode which assumes that code that is 2023-02-06 17:02:33 +01:00
standard_model_checker_invariants_contract Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
standard_model_checker_invariants_contract_reentrancy regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_invariants_reentrancy Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
standard_model_checker_invariants_wrong_key regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_invariants_wrong_type regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_invariants_wrong_type_2 regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_show_proved_safe_default_all_engines Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
standard_model_checker_show_proved_safe_default_bmc Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
standard_model_checker_show_proved_safe_default_chc Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
standard_model_checker_show_proved_safe_false_all_engines Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
standard_model_checker_show_proved_safe_false_bmc Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
standard_model_checker_show_proved_safe_false_chc Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
standard_model_checker_show_proved_safe_true_all_engines Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
standard_model_checker_show_proved_safe_true_bmc Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
standard_model_checker_show_proved_safe_true_chc Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
standard_model_checker_show_proved_safe_wrong Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
standard_model_checker_show_unproved_default_all_engines Allow running Eldarica from the command line 2022-11-22 21:16:45 +01:00
standard_model_checker_show_unproved_false_all_engines Allow running Eldarica from the command line 2022-11-22 21:16:45 +01:00
standard_model_checker_show_unproved_false_bmc Allow running Eldarica from the command line 2022-11-22 21:16:45 +01:00
standard_model_checker_show_unproved_false_chc regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_show_unproved_true_all_engines Allow running Eldarica from the command line 2022-11-22 21:16:45 +01:00
standard_model_checker_show_unproved_true_bmc Allow running Eldarica from the command line 2022-11-22 21:16:45 +01:00
standard_model_checker_show_unproved_true_chc regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_show_unproved_wrong regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_show_unsupported_default_all_engines add cli tests 2023-03-15 17:52:58 +01:00
standard_model_checker_show_unsupported_default_bmc add cli tests 2023-03-15 17:52:58 +01:00
standard_model_checker_show_unsupported_default_chc add cli tests 2023-03-15 17:52:58 +01:00
standard_model_checker_show_unsupported_false_all_engines add cli tests 2023-03-15 17:52:58 +01:00
standard_model_checker_show_unsupported_false_bmc add cli tests 2023-03-15 17:52:58 +01:00
standard_model_checker_show_unsupported_false_chc add cli tests 2023-03-15 17:52:58 +01:00
standard_model_checker_show_unsupported_true_all_engines add cli tests 2023-03-15 17:52:58 +01:00
standard_model_checker_show_unsupported_true_bmc add cli tests 2023-03-15 17:52:58 +01:00
standard_model_checker_show_unsupported_true_chc add cli tests 2023-03-15 17:52:58 +01:00
standard_model_checker_show_unsupported_wrong add cli tests 2023-03-15 17:52:58 +01:00
standard_model_checker_solvers_none Allow running Eldarica from the command line 2022-11-22 21:16:45 +01:00
standard_model_checker_solvers_smtlib2 [SMTChecker] Use path condition when creating CHC targets 2023-04-21 18:56:34 +02:00
standard_model_checker_solvers_z3 regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_solvers_z3_smtlib2 regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_targets_assert_bmc Allow running Eldarica from the command line 2022-11-22 21:16:45 +01:00
standard_model_checker_targets_assert_chc regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_targets_balance_bmc Allow running Eldarica from the command line 2022-11-22 21:16:45 +01:00
standard_model_checker_targets_balance_chc regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_targets_constantCondition_bmc Allow running Eldarica from the command line 2022-11-22 21:16:45 +01:00
standard_model_checker_targets_constantCondition_chc regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_targets_default_all_engines Allow running Eldarica from the command line 2022-11-22 21:16:45 +01:00
standard_model_checker_targets_default_bmc Allow running Eldarica from the command line 2022-11-22 21:16:45 +01:00
standard_model_checker_targets_default_chc regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_targets_div_by_zero_bmc Allow running Eldarica from the command line 2022-11-22 21:16:45 +01:00
standard_model_checker_targets_div_by_zero_chc regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_targets_empty_array regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_targets_out_of_bounds_bmc regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_targets_out_of_bounds_chc regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_targets_overflow_bmc Allow running Eldarica from the command line 2022-11-22 21:16:45 +01:00
standard_model_checker_targets_overflow_chc regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_targets_pop_empty_bmc regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_targets_pop_empty_chc regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_targets_underflow_bmc Allow running Eldarica from the command line 2022-11-22 21:16:45 +01:00
standard_model_checker_targets_underflow_chc regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_targets_underflow_overflow_assert_bmc Allow running Eldarica from the command line 2022-11-22 21:16:45 +01:00
standard_model_checker_targets_underflow_overflow_assert_chc regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_targets_underflow_overflow_bmc Allow running Eldarica from the command line 2022-11-22 21:16:45 +01:00
standard_model_checker_targets_underflow_overflow_chc regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_targets_wrong_target_types regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_targets_wrong_target_types_2 regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_targets_wrong_targets regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_timeout_all Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
standard_model_checker_timeout_bmc Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
standard_model_checker_timeout_chc Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
standard_model_checker_timeout_wrong_key regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_model_checker_timeout_wrong_value regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_no_append_cbor regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_no_append_cbor_with_metadata_hash regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_only_ast_requested Export all events. 2023-05-03 14:08:27 -03:00
standard_optimizer_generatedSources Yul AST output on the CLI and in Standard JSON 2023-05-26 12:35:31 +02:00
standard_optimizer_invalid_detail_type regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_optimizer_invalid_details regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_optimizer_no_yul regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_optimizer_yul regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_optimizer_yulDetails regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_optimizer_yulDetails_no_object regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_optimizer_yulDetails_optimiserSteps regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_optimizer_yulDetails_optimiserSteps_invalid_abbreviation regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_optimizer_yulDetails_optimiserSteps_invalid_nested_delimiter regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_optimizer_yulDetails_optimiserSteps_mutliple_delimiters regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_optimizer_yulDetails_optimiserSteps_nested_brackets regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_optimizer_yulDetails_optimiserSteps_nesting_too_deep regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_optimizer_yulDetails_optimiserSteps_type regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_optimizer_yulDetails_optimiserSteps_unbalanced_closing_bracket regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_optimizer_yulDetails_optimiserSteps_unbalanced_opening_bracket regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_optimizer_yulDetails_optimiserSteps_with_cleanup_sequence regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_optimizer_yulDetails_optimiserSteps_with_empty_cleanup_sequence regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_optimizer_yulDetails_optimiserSteps_with_empty_optimisation_sequence regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_optimizer_yulDetails_optimiserSteps_with_empty_sequence regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_optimizer_yulDetails_without_yul regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_parsing_import_absolute_paths regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_secondary_source_location regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_urls_existing_and_missing regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_urls_missing regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_viair_requested regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_wrong_key_auxiliary_input regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_wrong_key_metadata regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_wrong_key_optimizer regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_wrong_key_root regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_wrong_key_settings regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_wrong_key_source regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_wrong_type_auxiliary_input regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_wrong_type_auxiliary_input_smtlib2responses regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_wrong_type_auxiliary_input_smtlib2responses_member regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_wrong_type_metadata regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_wrong_type_optimizer regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_wrong_type_output_selection regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_wrong_type_output_selection_contract regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_wrong_type_output_selection_file regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_wrong_type_output_selection_output regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_wrong_type_remappings regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_wrong_type_remappings_entry regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_wrong_type_root regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_wrong_type_settings regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_wrong_type_source regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_wrong_type_sources regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_wrong_type_useLiteralContent regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_yul Yul AST output on the CLI and in Standard JSON 2023-05-26 12:35:31 +02:00
standard_yul_debug_info_print_all regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_yul_debug_info_print_location_only regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_yul_debug_info_print_none regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_yul_debug_info_print_snippet_only regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_yul_embedded_object_name regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_yul_immutable_references regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_yul_invalid_object_name regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_yul_multiple_files regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_yul_multiple_files_selected regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_yul_object Yul AST output on the CLI and in Standard JSON 2023-05-26 12:35:31 +02:00
standard_yul_object_invalid_sub regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_yul_object_name Yul AST output on the CLI and in Standard JSON 2023-05-26 12:35:31 +02:00
standard_yul_optimiserSteps Yul AST output on the CLI and in Standard JSON 2023-05-26 12:35:31 +02:00
standard_yul_optimized Yul AST output on the CLI and in Standard JSON 2023-05-26 12:35:31 +02:00
standard_yul_single_file_via_urls regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_yul_stack_opt regenerating tests expectation 2022-10-26 15:13:47 +05:00
standard_yul_stack_opt_disabled regenerating tests expectation 2022-10-26 15:13:47 +05:00
stdin Add pragmas and SPDX comments to command-line tests to get cleaner error output 2021-08-05 17:41:30 +02:00
storage_layout_bytes regenerating tests expectation 2022-10-26 15:13:47 +05:00
storage_layout_dyn_array regenerating tests expectation 2022-10-26 15:13:47 +05:00
storage_layout_many regenerating tests expectation 2022-10-26 15:13:47 +05:00
storage_layout_mapping regenerating tests expectation 2022-10-26 15:13:47 +05:00
storage_layout_smoke regenerating tests expectation 2022-10-26 15:13:47 +05:00
storage_layout_smoke_two_contracts regenerating tests expectation 2022-10-26 15:13:47 +05:00
storage_layout_string regenerating tests expectation 2022-10-26 15:13:47 +05:00
storage_layout_struct regenerating tests expectation 2022-10-26 15:13:47 +05:00
storage_layout_struct_packed regenerating tests expectation 2022-10-26 15:13:47 +05:00
storage_layout_user_defined Set handlers use unified jsonPrint with prettifier if needed 2022-04-04 20:17:11 +02:00
storage_layout_user_defined_no_pretty_print Set handlers use unified jsonPrint with prettifier if needed 2022-04-04 20:17:11 +02:00
storage_layout_value_types regenerating tests expectation 2022-10-26 15:13:47 +05:00
storage_layout_value_types_packed regenerating tests expectation 2022-10-26 15:13:47 +05:00
strict_asm_ast_compact_json Yul AST output on the CLI and in Standard JSON 2023-05-26 12:35:31 +02:00
strict_asm_debug_info_print_all No longer mark Yul as experimental. 2022-03-14 14:48:01 +01:00
strict_asm_debug_info_print_location_only No longer mark Yul as experimental. 2022-03-14 14:48:01 +01:00
strict_asm_debug_info_print_none No longer mark Yul as experimental. 2022-03-14 14:48:01 +01:00
strict_asm_debug_info_print_snippet_only Expose --debug-info/settings.debug.debugInfo option 2021-10-11 20:34:48 +02:00
strict_asm_invalid_option_optimize_yul CommandLineInterface: In error message about options disallowed in assembly mode only include the names of actually used options 2020-06-29 15:23:13 +02:00
strict_asm_invalid_option_output_dir CommandLineInterface: In error message about options disallowed in assembly mode only include the names of actually used options 2020-06-29 15:23:13 +02:00
strict_asm_jump No longer mark Yul as experimental. 2022-03-14 14:48:01 +01:00
strict_asm_only_cr No longer mark Yul as experimental. 2022-03-14 14:48:01 +01:00
strict_asm_optimizer_invalid_yul_optimizer_enabled_and_disabled Disallow using both --optimize-yul and --no-optimize-yul at the same time 2023-05-24 15:54:40 +02:00
strict_asm_optimizer_steps Change default EVM version to Shanghai. 2023-05-08 16:34:23 +02:00
strict_asm_options_in_non_asm_mode Remove EWASM backend. 2023-05-11 10:56:55 -05:00
strict_asm_output_selection_asm_only No longer mark Yul as experimental. 2022-03-14 14:48:01 +01:00
strict_asm_output_selection_bin_only Change default EVM version to Shanghai. 2023-05-08 16:34:23 +02:00
strict_asm_output_selection_invalid Remove EWASM backend. 2023-05-11 10:56:55 -05:00
strict_asm_output_selection_ir_optimized_only No longer mark Yul as experimental. 2022-03-14 14:48:01 +01:00
structured_documentation_source_location Update existing tests. 2020-05-13 18:16:59 +02:00
too_long_line Add pragmas and SPDX comments to command-line tests to get cleaner error output 2021-08-05 17:41:30 +02:00
too_long_line_both_sides_short Add pragmas and SPDX comments to command-line tests to get cleaner error output 2021-08-05 17:41:30 +02:00
too_long_line_edge_in Add pragmas and SPDX comments to command-line tests to get cleaner error output 2021-08-05 17:41:30 +02:00
too_long_line_edge_out Add pragmas and SPDX comments to command-line tests to get cleaner error output 2021-08-05 17:41:30 +02:00
too_long_line_left_short Add pragmas and SPDX comments to command-line tests to get cleaner error output 2021-08-05 17:41:30 +02:00
too_long_line_multiline Add pragmas and SPDX comments to command-line tests to get cleaner error output 2021-08-05 17:41:30 +02:00
too_long_line_right_short Add pragmas and SPDX comments to command-line tests to get cleaner error output 2021-08-05 17:41:30 +02:00
viair_abicoder_v1 Mark viaIR code generation as non-experimental. 2022-03-14 14:48:00 +01:00
viair_subobject_optimization Fix wrong cleanup when copying from calldata to memory 2022-08-08 13:07:16 +02:00
viair_subobjects Update tests. 2022-08-15 16:24:10 +02:00
yul_function_name_clashes Change default EVM version to Shanghai. 2023-05-08 16:34:23 +02:00
yul_function_name_clashes_different_params Change default EVM version to Shanghai. 2023-05-08 16:34:23 +02:00
yul_optimize_runs Change default EVM version to Shanghai. 2023-05-08 16:34:23 +02:00
yul_optimizer_steps Mark viaIR code generation as non-experimental. 2022-03-14 14:48:00 +01:00
yul_optimizer_steps_disabled Update existing tests. 2020-05-13 18:16:59 +02:00
yul_optimizer_steps_invalid_abbreviation Update existing tests. 2020-05-13 18:16:59 +02:00
yul_optimizer_steps_nested_brackets Mark viaIR code generation as non-experimental. 2022-03-14 14:48:00 +01:00
yul_optimizer_steps_nesting_too_deep OptimizerSuite: Rewrite runSequence() with support for nested brackets 2021-10-06 19:15:02 +02:00
yul_optimizer_steps_short_sequence Make hardcoded parts of the optimizer sequence configurable 2022-09-12 10:57:36 +02:00
yul_optimizer_steps_unbalanced_closing_bracket OptimizerSuite: Rewrite runSequence() with support for nested brackets 2021-10-06 19:15:02 +02:00
yul_optimizer_steps_unbalanced_opening_bracket OptimizerSuite: Rewrite runSequence() with support for nested brackets 2021-10-06 19:15:02 +02:00
yul_optimizer_steps_with_empty_cleanup_sequence Command line tests and minor touch ups 2022-09-12 11:13:49 +02:00
yul_optimizer_steps_with_empty_optimization_sequence Command line tests and minor touch ups 2022-09-12 11:13:49 +02:00
yul_string_format_ascii regenerating tests expectation 2022-10-26 15:13:47 +05:00
yul_string_format_ascii_bytes32 regenerating tests expectation 2022-10-26 15:13:47 +05:00
yul_string_format_ascii_bytes32_from_number regenerating tests expectation 2022-10-26 15:13:47 +05:00
yul_string_format_ascii_long regenerating tests expectation 2022-10-26 15:13:47 +05:00
yul_string_format_hex regenerating tests expectation 2022-10-26 15:13:47 +05:00
yul_verbatim No longer mark Yul as experimental. 2022-03-14 14:48:01 +01:00
yul_verbatim_msize Change default EVM version to Shanghai. 2023-05-08 16:34:23 +02:00