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
e735ff1a95497160840afa772dab2a32181db8bc
solidity/test/cmdlineTests
T
History
Rodrigo Q. SaramagoDanielKamil ŚliwakLeo
 feba4de509 Add paris constraints to SMTChecker 
Co-authored-by: Daniel <daniel@ekpyron.org>
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
Co-authored-by: Leo <leo@ethereum.org>
2023-01-31 11:03:04 +01: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
Set handlers use unified jsonPrint with prettifier if needed
2022-04-04 20:17:11 +02:00
ast_compact_json_with_base_path
Set handlers use unified jsonPrint with prettifier if needed
2022-04-04 20:17:11 +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
Update commandline tests.
2021-09-08 12:25:56 +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
Set handlers use unified jsonPrint with prettifier if needed
2022-04-04 20:17:11 +02: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
evm_to_wasm
No longer mark Yul as experimental.
2022-03-14 14:48:01 +01:00
evm_to_wasm_break
No longer mark Yul as experimental.
2022-03-14 14:48:01 +01:00
evm_to_wasm_output_selection_asm_only
No longer mark Yul as experimental.
2022-03-14 14:48:01 +01:00
evm_to_wasm_output_selection_ewasm_ir_only
No longer mark Yul as experimental.
2022-03-14 14:48:01 +01:00
evm_to_wasm_output_selection_ewasm_only
No longer mark Yul as experimental.
2022-03-14 14:48:01 +01:00
evm_to_wasm_unsupported_translation
CommandLineInterface: Display an error instead of crashing when assembly variant has no Ewasm translation
2020-05-30 03:09:42 +02: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
Update tests
2021-05-27 18:31:54 +01: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
Mark viaIR code generation as non-experimental.
2022-03-14 14:48:00 +01: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
CommandLineParser: Validate compiler output selection
2021-10-06 20:09:33 +02: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
regenerating tests expectation
2022-10-26 15:13:47 +05: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
No longer mark Yul as experimental.
2022-03-14 14:48:01 +01: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
No longer mark Yul as experimental.
2022-03-14 14:48:01 +01:00
linking_strict_assembly_qualified_library_unqualified_reference
No longer mark Yul as experimental.
2022-03-14 14:48:01 +01:00
linking_strict_assembly_same_library_name_different_files
No longer mark Yul as experimental.
2022-03-14 14:48:01 +01:00
linking_strict_assembly_same_library_name_different_files_in_link_references
No longer mark Yul as experimental.
2022-03-14 14:48:01 +01:00
linking_strict_assembly_unqualified_library_qualified_reference
No longer mark Yul as experimental.
2022-03-14 14:48:01 +01:00
linking_strict_assembly_unqualified_library_unqualified_reference
No longer mark Yul as experimental.
2022-03-14 14:48:01 +01:00
linking_strict_assembly_unresolved_references
No longer mark Yul as experimental.
2022-03-14 14:48:01 +01: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
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_invariants_all
update cli tests
2022-11-24 13:08:06 +01:00
model_checker_invariants_contract
update cli tests
2022-11-24 13:08:06 +01:00
model_checker_invariants_contract_reentrancy
update cli tests
2022-11-24 13:08:06 +01:00
model_checker_invariants_reentrancy
update cli tests
2022-11-24 13:08:06 +01:00
model_checker_invariants_wrong
CLI and JSON tests
2021-10-26 11:30: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_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
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
Fix wrong cleanup when copying from calldata to memory
2022-08-08 13:07:16 +02:00
no_cbor_metadata
Rename command line tests for the --no-cbor-metadata/appendCBOR option
2022-10-19 21:28:45 +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
Report when no contracts to compile
2022-12-19 13:47:03 +01:00
object_compiler
No longer mark Yul as experimental.
2022-03-14 14:48:01 +01: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_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_ewasm_ir_only
New CLI output in assembly mode: --ewasm-ir
2021-11-04 18:23:11 +01: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
Set handlers use unified jsonPrint with prettifier if needed
2022-04-04 20:17:11 +02:00
recovery_ast_empty_contract
fix(parser): error for unexpected token
2022-04-29 16:13:04 +04:00
recovery_standard_json
regenerating tests expectation
2022-10-26 15:13:47 +05: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
New CLI output in assembly mode: --ewasm-ir
2021-11-04 18:23:11 +01: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_ewasm_requested
regenerating tests expectation
2022-10-26 15:13:47 +05:00
standard_ewasm_requested_abstract
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
regenerating tests expectation
2022-10-26 15:13:47 +05:00
standard_generatedSources
regenerating tests expectation
2022-10-26 15:13:47 +05:00
standard_immutable_references
regenerating tests expectation
2022-10-26 15:13:47 +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_requested
regenerating tests expectation
2022-10-26 15:13:47 +05: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
regenerating tests expectation
2022-10-26 15:13:47 +05:00
standard_model_checker_contracts_multi_source
regenerating tests expectation
2022-10-26 15:13:47 +05:00
standard_model_checker_contracts_only_one
regenerating tests expectation
2022-10-26 15:13:47 +05: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
Allow running Eldarica from the command line
2022-11-22 21:16:45 +01:00
standard_model_checker_divModSlacks_default_bmc
Allow running Eldarica from the command line
2022-11-22 21:16:45 +01:00
standard_model_checker_divModSlacks_default_chc
regenerating tests expectation
2022-10-26 15:13:47 +05:00
standard_model_checker_divModSlacks_false_all
Allow running Eldarica from the command line
2022-11-22 21:16:45 +01:00
standard_model_checker_divModSlacks_false_bmc
Allow running Eldarica from the command line
2022-11-22 21:16:45 +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_invariants_contract
update cli tests
2022-11-24 13:08:06 +01:00
standard_model_checker_invariants_contract_reentrancy
regenerating tests expectation
2022-10-26 15:13:47 +05:00
standard_model_checker_invariants_reentrancy
update cli tests
2022-11-24 13:08:06 +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_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_solvers_none
Allow running Eldarica from the command line
2022-11-22 21:16:45 +01:00
standard_model_checker_solvers_smtlib2
Add paris constraints to SMTChecker
2023-01-31 11:03:04 +01: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
Allow running Eldarica from the command line
2022-11-22 21:16:45 +01:00
standard_model_checker_timeout_bmc
Allow running Eldarica from the command line
2022-11-22 21:16:45 +01:00
standard_model_checker_timeout_chc
regenerating tests expectation
2022-10-26 15:13:47 +05: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
regenerating tests expectation
2022-10-26 15:13:47 +05:00
standard_optimizer_generatedSources
regenerating tests expectation
2022-10-26 15:13:47 +05: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
regenerating tests expectation
2022-10-26 15:13:47 +05: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
regenerating tests expectation
2022-10-26 15:13:47 +05:00
standard_yul_object_invalid_sub
regenerating tests expectation
2022-10-26 15:13:47 +05:00
standard_yul_object_name
regenerating tests expectation
2022-10-26 15:13:47 +05:00
standard_yul_optimiserSteps
regenerating tests expectation
2022-10-26 15:13:47 +05:00
standard_yul_optimized
regenerating tests expectation
2022-10-26 15:13:47 +05: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_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_steps
No longer mark Yul as experimental.
2022-03-14 14:48:01 +01:00
strict_asm_options_in_non_asm_mode
CommandLineInterface: Disallow --yul-dialect and --machine when not in assembly mode
2020-06-15 17:12:51 +02: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
No longer mark Yul as experimental.
2022-03-14 14:48:01 +01:00
strict_asm_output_selection_ewasm_ir_only
No longer mark Yul as experimental.
2022-03-14 14:48:01 +01:00
strict_asm_output_selection_ewasm_only
No longer mark Yul as experimental.
2022-03-14 14:48:01 +01:00
strict_asm_output_selection_invalid
Don't ignore output selection in assembly mode
2021-11-04 18:23:11 +01: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
wasm_to_wasm_function_returning_multiple_values
No longer mark Yul as experimental.
2022-03-14 14:48:01 +01:00
wasm_to_wasm_memory_instructions_alignment
No longer mark Yul as experimental.
2022-03-14 14:48:01 +01:00
yul_function_name_clashes
No longer mark Yul as experimental.
2022-03-14 14:48:01 +01:00
yul_function_name_clashes_different_params
No longer mark Yul as experimental.
2022-03-14 14:48:01 +01:00
yul_optimize_runs
No longer mark Yul as experimental.
2022-03-14 14:48:01 +01: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_to_wasm_source_location_crash
No longer mark Yul as experimental.
2022-03-14 14:48:01 +01:00
yul_verbatim
No longer mark Yul as experimental.
2022-03-14 14:48:01 +01:00
yul_verbatim_msize
No longer mark Yul as experimental.
2022-03-14 14:48:01 +01:00