cerc-io/solidity
11
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
Files
soltestViaIR
solidity/test/cmdlineTests
T
History
chriseth 1304080a77 Update commandline tests.
2021-09-08 12:25:56 +02:00
..
abiencoderv2_no_warning
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02:00
ast_compact_json_with_base_path
Export used errors in the AST.
2021-04-19 14:15:50 +02:00
ast_json_import_wrong_evmVersion
…
combined_json_generated_sources
Update commandline tests.
2021-09-08 12:25:56 +02:00
combined_json_with_base_path
Export used errors in the AST.
2021-04-19 14:15:50 +02:00
constant_optimizer_yul
Only list used source names.
2021-09-06 18:33:05 +02:00
dup_opt_peephole
Add pragmas and SPDX comments to command-line tests to get cleaner error output
2021-08-05 17:41:30 +02:00
error_codes
…
evm_to_wasm
Tests for FunctionSpecializer
2021-03-29 11:02:18 +02:00
evm_to_wasm_break
Adjust cost of literal zero.
2021-04-22 11:42:42 +02:00
evm_to_wasm_unsupported_translation
…
exp_base_literal
Update commandline tests.
2021-09-08 12:25:56 +02:00
function_debug_info
Update tests
2021-05-27 18:31:54 +01:00
function_debug_info_via_yul
Note function entry points.
2021-05-04 17:15:13 +02:00
ir_compiler_inheritance_nosubobjects
Only list used source names.
2021-09-06 18:33:05 +02:00
ir_compiler_subobjects
Only list used source names.
2021-09-06 18:33:05 +02:00
ir_with_assembly_no_memoryguard_creation
Only list used source names.
2021-09-06 18:33:05 +02:00
ir_with_assembly_no_memoryguard_runtime
Only list used source names.
2021-09-06 18:33:05 +02:00
keccak_optimization_deploy_code
Only list used source names.
2021-09-06 18:33:05 +02:00
keccak_optimization_low_runs
Only list used source names.
2021-09-06 18:33:05 +02:00
linking_solidity
…
linking_solidity_unresolved_references
…
linking_standard_solidity
…
linking_standard_solidity_quote_in_file_name
…
linking_standard_solidity_unresolved_references
…
linking_standard_yul
Add sstore to linker tests to prevent the address from being optimized out
2021-07-01 16:54:09 +02:00
linking_standard_yul_quote_in_file_name
Add sstore to linker tests to prevent the address from being optimized out
2021-07-01 16:54:09 +02:00
linking_standard_yul_unresolved_references
Add sstore to linker tests to prevent the address from being optimized out
2021-07-01 16:54:09 +02:00
linking_strict_assembly
Fix source location of builtin function calls.
2021-07-06 16:54:29 +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_no_file_name_in_link_reference
Fix source location of builtin function calls.
2021-07-06 16:54:29 +02:00
linking_strict_assembly_same_library_name_different_files
Fix source location of builtin function calls.
2021-07-06 16:54:29 +02:00
linking_strict_assembly_same_library_name_different_files_in_link_references
Fix source location of builtin function calls.
2021-07-06 16:54:29 +02:00
linking_strict_assembly_unresolved_references
Fix source location of builtin function calls.
2021-07-06 16:54:29 +02:00
message_format
…
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
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02: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
Choose contracts to be analyzed by the SMTChecker
2021-04-21 10:34:14 +02: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
Add option divModWithSlacks
2021-08-06 15:50:25 +02:00
model_checker_divModSlacks_default_bmc
Add option divModWithSlacks
2021-08-06 15:50:25 +02:00
model_checker_divModSlacks_default_chc
Add option divModWithSlacks
2021-08-06 15:50:25 +02:00
model_checker_divModSlacks_false_all
Add option divModWithSlacks
2021-08-06 15:50:25 +02:00
model_checker_divModSlacks_false_bmc
Add option divModWithSlacks
2021-08-06 15:50:25 +02: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_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_solvers_all
Add option to choose solver
2021-07-27 17:14:21 +02:00
model_checker_solvers_all_implicit
Add option to choose solver
2021-07-27 17:14:21 +02: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_smtlib2
Add option to choose solver
2021-07-27 17:14:21 +02:00
model_checker_targets_all_all_engines
Do not create VCs for underoverflow by default for Sol >=0.8
2021-08-09 14:12:31 +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
Do not create VCs for underoverflow by default for Sol >=0.8
2021-08-09 14:12:31 +02:00
model_checker_targets_assert_bmc
update command line tests
2021-04-08 21:03:39 +02:00
model_checker_targets_assert_chc
update command line tests
2021-04-08 21:03:39 +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
Do not create VCs for underoverflow by default for Sol >=0.8
2021-08-09 14:12:31 +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
Do not create VCs for underoverflow by default for Sol >=0.8
2021-08-09 14:12:31 +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
update command line tests
2021-04-08 21:03:39 +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
update command line tests
2021-04-08 21:03:39 +02:00
model_checker_targets_overflow_bmc
update command line tests
2021-04-08 21:03:39 +02:00
model_checker_targets_overflow_chc
update command line tests
2021-04-08 21:03:39 +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
update command line tests
2021-04-08 21:03:39 +02:00
model_checker_targets_underflow_bmc
update command line tests
2021-04-08 21:03:39 +02:00
model_checker_targets_underflow_chc
update command line tests
2021-04-08 21:03:39 +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
update command line tests
2021-04-08 21:03:39 +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
update command line tests
2021-04-08 21:03:39 +02:00
model_checker_timeout_all
CL tests
2021-08-04 13:54:50 +02:00
model_checker_timeout_bmc
CL tests
2021-08-04 13:54:50 +02:00
model_checker_timeout_chc
CL tests
2021-08-04 13:54:50 +02:00
name_simplifier
Update commandline tests.
2021-09-08 12:25:56 +02:00
object_compiler
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02:00
optimize_full_storage_write
Support metadata via IR.
2021-06-21 18:20:31 +02:00
optimizer_array_sload
Only list used source names.
2021-09-06 18:33:05 +02:00
optimizer_BlockDeDuplicator
Support metadata via IR.
2021-06-21 18:20:31 +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
Fix source location for `if` statements.
2021-07-07 17:37:01 +02:00
optimizer_inliner_dynamic_reference_constructor
Fix source location for `if` statements.
2021-07-07 17:37:01 +02: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
Support metadata via IR.
2021-06-21 18:20:31 +02:00
output_selection_all_A1
…
output_selection_all_A2
…
output_selection_all_blank
…
output_selection_all_star
…
output_selection_single_A1
…
output_selection_single_all
…
output_selection_single_B1
…
pretty_json_combined
Make --pretty-json work with Standard JSON output
2021-07-26 16:00:46 +02:00
pretty_json_indent_only
Make --pretty-json work with Standard JSON output
2021-07-26 16:00:46 +02:00
pretty_json_standard
Make --pretty-json work with Standard JSON output
2021-07-26 16:00:46 +02:00
pretty_json_standard_indent
Make --pretty-json work with Standard JSON output
2021-07-26 16:00:46 +02:00
recovery_ast_constructor
Export used errors in the AST.
2021-04-19 14:15:50 +02:00
recovery_ast_empty_contract
…
recovery_standard_json
Export used errors in the AST.
2021-04-19 14:15:50 +02:00
require_overload
…
revert_strings
Update commandline tests.
2021-09-08 12:25:56 +02:00
standard_default_success
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02:00
standard_empty_file_name
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02:00
standard_ewasm_requested
Support metadata via IR.
2021-06-21 18:20:31 +02:00
standard_ewasm_requested_abstract
…
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
Update commandline tests.
2021-09-08 12:25:56 +02:00
standard_generatedSources
Update commandline tests.
2021-09-08 12:25:56 +02:00
standard_immutable_references
…
standard_ir_requested
Update commandline tests.
2021-09-08 12:25:56 +02:00
standard_irOptimized_requested
Update commandline tests.
2021-09-08 12:25:56 +02:00
standard_method_identifiers_requested
…
standard_missing_key_useLiteralContent
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02:00
standard_model_checker_contracts_all
Choose contracts to be analyzed by the SMTChecker
2021-04-21 10:34:14 +02:00
standard_model_checker_contracts_all_explicit
Choose contracts to be analyzed by the SMTChecker
2021-04-21 10:34:14 +02:00
standard_model_checker_contracts_empty_array
Choose contracts to be analyzed by the SMTChecker
2021-04-21 10:34:14 +02:00
standard_model_checker_contracts_empty_contract
Choose contracts to be analyzed by the SMTChecker
2021-04-21 10:34:14 +02:00
standard_model_checker_contracts_empty_source
Choose contracts to be analyzed by the SMTChecker
2021-04-21 10:34:14 +02:00
standard_model_checker_contracts_inexistent_contract
Choose contracts to be analyzed by the SMTChecker
2021-04-21 10:34:14 +02:00
standard_model_checker_contracts_multi_source
Update commandline tests
2021-08-27 16:25:09 +02:00
standard_model_checker_contracts_only_one
Choose contracts to be analyzed by the SMTChecker
2021-04-21 10:34:14 +02:00
standard_model_checker_contracts_wrong_key_sources
Choose contracts to be analyzed by the SMTChecker
2021-04-21 10:34:14 +02:00
standard_model_checker_contracts_wrong_key_sources_2
Choose contracts to be analyzed by the SMTChecker
2021-04-21 10:34:14 +02:00
standard_model_checker_contracts_wrong_key_sources_3
Choose contracts to be analyzed by the SMTChecker
2021-04-21 10:34:14 +02:00
standard_model_checker_contracts_wrong_key_sources_4
Choose contracts to be analyzed by the SMTChecker
2021-04-21 10:34:14 +02:00
standard_model_checker_divModSlacks_default_all
Test updates.
2021-08-12 16:56:12 +02:00
standard_model_checker_divModSlacks_default_bmc
Test updates.
2021-08-12 16:56:12 +02:00
standard_model_checker_divModSlacks_default_chc
Add option divModWithSlacks
2021-08-06 15:50:25 +02:00
standard_model_checker_divModSlacks_false_all
Test updates.
2021-08-12 16:56:12 +02:00
standard_model_checker_divModSlacks_false_bmc
Test updates.
2021-08-12 16:56:12 +02:00
standard_model_checker_divModSlacks_false_chc
Add option divModWithSlacks
2021-08-06 15:50:25 +02:00
standard_model_checker_divModSlacks_wrong
Add option divModWithSlacks
2021-08-06 15:50:25 +02:00
standard_model_checker_engine_all
update command line tests
2021-04-08 21:03:39 +02:00
standard_model_checker_engine_bmc
Test updates.
2021-08-12 16:56:12 +02:00
standard_model_checker_engine_chc
update command line tests
2021-04-08 21:03:39 +02:00
standard_model_checker_engine_none
update command line tests
2021-04-08 21:03:39 +02:00
standard_model_checker_show_unproved_default_all_engines
Test updates.
2021-08-12 16:56:12 +02:00
standard_model_checker_show_unproved_false_all_engines
Test updates.
2021-08-12 16:56:12 +02:00
standard_model_checker_show_unproved_false_bmc
Test updates.
2021-08-12 16:56:12 +02:00
standard_model_checker_show_unproved_false_chc
CL tests
2021-08-04 13:54:50 +02:00
standard_model_checker_show_unproved_true_all_engines
Test updates.
2021-08-12 16:56:12 +02:00
standard_model_checker_show_unproved_true_bmc
Test updates.
2021-08-12 16:56:12 +02:00
standard_model_checker_show_unproved_true_chc
CL tests
2021-08-04 13:54:50 +02:00
standard_model_checker_show_unproved_wrong
CL tests
2021-08-04 13:54:50 +02:00
standard_model_checker_solvers_all
Add option to choose solver
2021-07-27 17:14:21 +02:00
standard_model_checker_solvers_none
Add option to choose solver
2021-07-27 17:14:21 +02:00
standard_model_checker_solvers_smtlib2
Update commandline tests
2021-08-27 16:25:09 +02:00
standard_model_checker_solvers_z3
Add option to choose solver
2021-07-27 17:14:21 +02:00
standard_model_checker_solvers_z3_smtlib2
Add option to choose solver
2021-07-27 17:14:21 +02:00
standard_model_checker_targets_assert_bmc
Test updates.
2021-08-12 16:56:12 +02:00
standard_model_checker_targets_assert_chc
Change settings.modelChecker.targets to take an array instead of string
2021-04-19 17:53:03 +02:00
standard_model_checker_targets_balance_bmc
Test updates.
2021-08-12 16:56:12 +02:00
standard_model_checker_targets_balance_chc
Change settings.modelChecker.targets to take an array instead of string
2021-04-19 17:53:03 +02:00
standard_model_checker_targets_constantCondition_bmc
Test updates.
2021-08-12 16:56:12 +02:00
standard_model_checker_targets_constantCondition_chc
Change settings.modelChecker.targets to take an array instead of string
2021-04-19 17:53:03 +02:00
standard_model_checker_targets_default_all_engines
Update existing CLI tests
2021-08-25 21:10:08 +02:00
standard_model_checker_targets_default_bmc
Test updates.
2021-08-12 16:56:12 +02:00
standard_model_checker_targets_default_chc
Do not create VCs for underoverflow by default for Sol >=0.8
2021-08-09 14:12:31 +02:00
standard_model_checker_targets_div_by_zero_bmc
Test updates.
2021-08-12 16:56:12 +02:00
standard_model_checker_targets_div_by_zero_chc
Change settings.modelChecker.targets to take an array instead of string
2021-04-19 17:53:03 +02:00
standard_model_checker_targets_empty_array
Change settings.modelChecker.targets to take an array instead of string
2021-04-19 17:53:03 +02:00
standard_model_checker_targets_out_of_bounds_bmc
Change settings.modelChecker.targets to take an array instead of string
2021-04-19 17:53:03 +02:00
standard_model_checker_targets_out_of_bounds_chc
Change settings.modelChecker.targets to take an array instead of string
2021-04-19 17:53:03 +02:00
standard_model_checker_targets_overflow_bmc
Test updates.
2021-08-12 16:56:12 +02:00
standard_model_checker_targets_overflow_chc
Change settings.modelChecker.targets to take an array instead of string
2021-04-19 17:53:03 +02:00
standard_model_checker_targets_pop_empty_bmc
Change settings.modelChecker.targets to take an array instead of string
2021-04-19 17:53:03 +02:00
standard_model_checker_targets_pop_empty_chc
Change settings.modelChecker.targets to take an array instead of string
2021-04-19 17:53:03 +02:00
standard_model_checker_targets_underflow_bmc
Test updates.
2021-08-12 16:56:12 +02:00
standard_model_checker_targets_underflow_chc
Change settings.modelChecker.targets to take an array instead of string
2021-04-19 17:53:03 +02:00
standard_model_checker_targets_underflow_overflow_assert_bmc
Test updates.
2021-08-12 16:56:12 +02:00
standard_model_checker_targets_underflow_overflow_assert_chc
Change settings.modelChecker.targets to take an array instead of string
2021-04-19 17:53:03 +02:00
standard_model_checker_targets_underflow_overflow_bmc
Test updates.
2021-08-12 16:56:12 +02:00
standard_model_checker_targets_underflow_overflow_chc
Change settings.modelChecker.targets to take an array instead of string
2021-04-19 17:53:03 +02:00
standard_model_checker_targets_wrong_target_types
Change settings.modelChecker.targets to take an array instead of string
2021-04-19 17:53:03 +02:00
standard_model_checker_targets_wrong_target_types_2
Change settings.modelChecker.targets to take an array instead of string
2021-04-19 17:53:03 +02:00
standard_model_checker_targets_wrong_targets
Change settings.modelChecker.targets to take an array instead of string
2021-04-19 17:53:03 +02:00
standard_model_checker_timeout_all
Update existing CLI tests
2021-08-25 21:10:08 +02:00
standard_model_checker_timeout_bmc
Test updates.
2021-08-12 16:56:12 +02:00
standard_model_checker_timeout_chc
CL tests
2021-08-04 13:54:50 +02:00
standard_model_checker_timeout_wrong_key
update command line tests
2021-04-08 21:03:39 +02:00
standard_model_checker_timeout_wrong_value
update command line tests
2021-04-08 21:03:39 +02:00
standard_only_ast_requested
Export used errors in the AST.
2021-04-19 14:15:50 +02:00
standard_optimizer_generatedSources
Update commandline tests.
2021-09-08 12:25:56 +02:00
standard_optimizer_invalid_detail_type
…
standard_optimizer_invalid_details
…
standard_optimizer_no_yul
…
standard_optimizer_yul
…
standard_optimizer_yulDetails
…
standard_optimizer_yulDetails_no_object
…
standard_optimizer_yulDetails_optimiserSteps
…
standard_optimizer_yulDetails_optimiserSteps_invalid_abbreviation
…
standard_optimizer_yulDetails_optimiserSteps_invalid_nesting
…
standard_optimizer_yulDetails_optimiserSteps_type
…
standard_optimizer_yulDetails_optimiserSteps_unbalanced_bracket
…
standard_optimizer_yulDetails_without_yul
…
standard_secondary_source_location
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02:00
standard_viair_requested
Update commandline tests.
2021-09-08 12:25:56 +02:00
standard_wrong_key_auxiliary_input
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02:00
standard_wrong_key_metadata
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02:00
standard_wrong_key_optimizer
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02:00
standard_wrong_key_root
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02:00
standard_wrong_key_settings
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02:00
standard_wrong_key_source
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02:00
standard_wrong_type_auxiliary_input
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02:00
standard_wrong_type_auxiliary_input_smtlib2responses
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02:00
standard_wrong_type_auxiliary_input_smtlib2responses_member
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02:00
standard_wrong_type_metadata
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02:00
standard_wrong_type_optimizer
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02:00
standard_wrong_type_output_selection
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02:00
standard_wrong_type_output_selection_contract
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02:00
standard_wrong_type_output_selection_file
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02:00
standard_wrong_type_output_selection_output
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02:00
standard_wrong_type_remappings
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02:00
standard_wrong_type_remappings_entry
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02:00
standard_wrong_type_root
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02:00
standard_wrong_type_settings
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02:00
standard_wrong_type_source
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02:00
standard_wrong_type_sources
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02:00
standard_wrong_type_useLiteralContent
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02:00
standard_yul
Update tests
2021-07-05 13:46:53 +02:00
standard_yul_embedded_object_name
…
standard_yul_invalid_object_name
…
standard_yul_multiple_files
…
standard_yul_multiple_files_selected
…
standard_yul_object
Fix source location of builtin function calls.
2021-07-06 16:54:29 +02:00
standard_yul_object_invalid_sub
…
standard_yul_object_name
Fix source location of builtin function calls.
2021-07-06 16:54:29 +02:00
standard_yul_optimiserSteps
Update tests
2021-07-05 13:46:53 +02:00
standard_yul_optimized
Update tests
2021-07-05 13:46:53 +02:00
standard_yul_stack_opt
Use a simpler stack optimization test to avoid having ICE message with absolute paths as expected output
2021-07-01 17:29:24 +02:00
standard_yul_stack_opt_disabled
Use a simpler stack optimization test to avoid having ICE message with absolute paths as expected output
2021-07-01 17:29:24 +02:00
stdin
Add pragmas and SPDX comments to command-line tests to get cleaner error output
2021-08-05 17:41:30 +02:00
stdin_allowed_paths
Prevent adding '-' CLI flag to allowed paths as if it was an actual file
2021-04-19 16:58:48 +02:00
storage_layout_bytes
…
storage_layout_dyn_array
…
storage_layout_many
…
storage_layout_mapping
…
storage_layout_smoke
…
storage_layout_smoke_two_contracts
…
storage_layout_string
…
storage_layout_struct
…
storage_layout_struct_packed
…
storage_layout_value_types
…
storage_layout_value_types_packed
…
strict_asm_invalid_option_optimize_yul
…
strict_asm_invalid_option_output_dir
…
strict_asm_jump
…
strict_asm_only_cr
…
strict_asm_optimizer_steps
Fix source location for `if` statements.
2021-07-07 17:37:01 +02:00
strict_asm_options_in_non_asm_mode
…
structured_documentation_source_location
…
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
Update commandline tests.
2021-09-08 12:25:56 +02:00
viair_subobjects
Only list used source names.
2021-09-06 18:33:05 +02:00
wasm_to_wasm_function_returning_multiple_values
…
wasm_to_wasm_memory_instructions_alignment
…
yul_optimize_runs
CommandLineParser: Handle --optimize-runs option in assembly mode
2021-07-29 18:15:57 +02:00
yul_optimizer_steps
Update commandline tests.
2021-09-08 12:25:56 +02:00
yul_optimizer_steps_disabled
…
yul_optimizer_steps_invalid_abbreviation
…
yul_optimizer_steps_invalid_nesting
…
yul_optimizer_steps_unbalanced_bracket
…
yul_source_locations
Update commandline tests.
2021-09-08 12:25:56 +02:00
yul_source_locations_in_asm
Update commandline tests.
2021-09-08 12:25:56 +02:00
yul_string_format_ascii
Update commandline tests.
2021-09-08 12:25:56 +02:00
yul_string_format_ascii_bytes32
Update commandline tests.
2021-09-08 12:25:56 +02:00
yul_string_format_ascii_bytes32_from_number
Update commandline tests.
2021-09-08 12:25:56 +02:00
yul_string_format_ascii_long
Update commandline tests.
2021-09-08 12:25:56 +02:00
yul_string_format_hex
Update commandline tests.
2021-09-08 12:25:56 +02:00
yul_verbatim
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02:00
yul_verbatim_msize
Remove empty exit files from command-line tests
2021-08-05 17:41:33 +02:00