solidity/test/cmdlineTests
2021-10-05 15:19:10 +02:00
..
abiencoderv2_no_warning Remove empty exit files from command-line tests 2021-08-05 17:41:33 +02:00
asm_json Update tests. 2021-09-22 11:33:02 +02:00
ast_compact_json_with_base_path Export canonicalName 2021-09-28 12:00:30 +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_generated_sources Update commandline tests. 2021-09-08 12:25:56 +02:00
combined_json_with_base_path Export canonicalName 2021-09-28 12:00:30 +02:00
constant_optimizer_yul Print code snippets next to source locations in IR output 2021-09-14 12:09:59 +02:00
debug_info_in_yul_snippet_escaping Rename existing debug info tests to match the naming convention 2021-09-21 11:07:46 +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 Cover cmdlineTests.sh errors 2020-07-09 14:39:05 +02:00
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 CommandLineInterface: Display an error instead of crashing when assembly variant has no Ewasm translation 2020-05-30 03:09:42 +02:00
exp_base_literal Update commandline tests. 2021-09-16 17:19:17 +02:00
function_debug_info Update tests 2021-05-27 18:31:54 +01:00
function_debug_info_via_yul Update tests. 2021-09-22 11:33:02 +02:00
ir_compiler_inheritance_nosubobjects Print code snippets next to source locations in IR output 2021-09-14 12:09:59 +02:00
ir_compiler_subobjects Print code snippets next to source locations in IR output 2021-09-14 12:09:59 +02:00
ir_with_assembly_no_memoryguard_creation Print code snippets next to source locations in IR output 2021-09-14 12:09:59 +02:00
ir_with_assembly_no_memoryguard_runtime Print code snippets next to source locations in IR output 2021-09-14 12:09:59 +02:00
keccak_optimization_deploy_code Print code snippets next to source locations in IR output 2021-09-14 12:09:59 +02:00
keccak_optimization_low_runs Print code snippets next to source locations in IR output 2021-09-14 12:09:59 +02: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
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 Properly filter requested artefacts inside the EVM objects. 2020-12-07 22:03:06 +01:00
linking_standard_solidity_quote_in_file_name Properly filter requested artefacts inside the EVM objects. 2020-12-07 22:03:06 +01:00
linking_standard_solidity_unresolved_references Properly filter requested artefacts inside the EVM objects. 2020-12-07 22:03:06 +01:00
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 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_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 [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 Update commandline tests. 2021-09-16 17:19:17 +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 Print code snippets next to source locations in IR output 2021-09-14 12:09:59 +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 Merge remote-tracking branch 'origin/develop' into breaking 2020-12-08 17:42:31 +01:00
output_selection_all_A2 Merge remote-tracking branch 'origin/develop' into breaking 2020-12-08 17:42:31 +01:00
output_selection_all_blank Update tests. 2020-12-01 16:15:19 +01:00
output_selection_all_star Merge remote-tracking branch 'origin/develop' into breaking 2020-12-08 17:42:31 +01:00
output_selection_single_A1 Merge remote-tracking branch 'origin/develop' into breaking 2020-12-08 17:42:31 +01:00
output_selection_single_all Merge remote-tracking branch 'origin/develop' into breaking 2020-12-08 17:42:31 +01:00
output_selection_single_B1 Merge remote-tracking branch 'origin/develop' into breaking 2020-12-08 17:42:31 +01:00
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 canonicalName 2021-09-28 12:00:30 +02:00
recovery_ast_empty_contract Update existing tests. 2020-10-08 18:56:17 +02:00
recovery_standard_json Export canonicalName 2021-09-28 12:00:30 +02:00
require_overload Update existing tests. 2020-05-13 18:16:59 +02:00
revert_strings Update commandline tests. 2021-09-16 17:19:17 +02:00
standard_debug_info_in_evm_asm_via_ir_location Update tests. 2021-09-22 11:33:02 +02:00
standard_debug_info_in_yul_location Rename existing debug info tests to match the naming convention 2021-09-21 11:07:46 +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 Report warning if contract uses abicoder v1, but IR is requested 2020-12-09 01:20:58 +00: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 Improve abi decoding functions for arrays. 2021-09-15 13:50:19 +02:00
standard_generatedSources Improve abi decoding functions for arrays. 2021-09-15 13:50:19 +02:00
standard_immutable_references Update source location tests. 2020-12-09 15:25:15 +01: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 Update commandline tests. 2021-09-16 17:19:17 +02:00
standard_irOptimized_requested Update commandline tests. 2021-09-16 17:19:17 +02:00
standard_method_identifiers_requested Update existing tests. 2020-05-13 18:16:59 +02:00
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 [SMTChecker] Report values for block, msg and tx variables in counterexamples 2021-10-05 15:19:10 +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 [SMTChecker] Report values for block, msg and tx variables in counterexamples 2021-10-05 15:19:10 +02:00
standard_model_checker_targets_default_bmc Test updates. 2021-08-12 16:56:12 +02:00
standard_model_checker_targets_default_chc [SMTChecker] Report values for block, msg and tx variables in counterexamples 2021-10-05 15:19:10 +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 [SMTChecker] Report values for block, msg and tx variables in counterexamples 2021-10-05 15:19:10 +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 [SMTChecker] Report values for block, msg and tx variables in counterexamples 2021-10-05 15:19:10 +02:00
standard_model_checker_targets_overflow_bmc Test updates. 2021-08-12 16:56:12 +02:00
standard_model_checker_targets_overflow_chc [SMTChecker] Report values for block, msg and tx variables in counterexamples 2021-10-05 15:19:10 +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 [SMTChecker] Report values for block, msg and tx variables in counterexamples 2021-10-05 15:19:10 +02:00
standard_model_checker_targets_underflow_bmc Test updates. 2021-08-12 16:56:12 +02:00
standard_model_checker_targets_underflow_chc [SMTChecker] Report values for block, msg and tx variables in counterexamples 2021-10-05 15:19:10 +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 [SMTChecker] Report values for block, msg and tx variables in counterexamples 2021-10-05 15:19:10 +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 [SMTChecker] Report values for block, msg and tx variables in counterexamples 2021-10-05 15:19:10 +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 canonicalName 2021-09-28 12:00:30 +02:00
standard_optimizer_generatedSources Improve abi decoding functions for arrays. 2021-09-15 13:50:19 +02:00
standard_optimizer_invalid_detail_type Update existing tests. 2020-05-13 18:16:59 +02:00
standard_optimizer_invalid_details Update existing tests. 2020-05-13 18:16:59 +02:00
standard_optimizer_no_yul Update existing tests. 2020-05-13 18:16:59 +02:00
standard_optimizer_yul Update existing tests. 2020-05-13 18:16:59 +02:00
standard_optimizer_yulDetails Update existing tests. 2020-05-13 18:16:59 +02:00
standard_optimizer_yulDetails_no_object Update existing tests. 2020-05-13 18:16:59 +02:00
standard_optimizer_yulDetails_optimiserSteps Update existing tests. 2020-05-13 18:16:59 +02:00
standard_optimizer_yulDetails_optimiserSteps_invalid_abbreviation Update existing tests. 2020-05-13 18:16:59 +02:00
standard_optimizer_yulDetails_optimiserSteps_invalid_nesting Update existing tests. 2020-05-13 18:16:59 +02:00
standard_optimizer_yulDetails_optimiserSteps_type Update existing tests. 2020-05-13 18:16:59 +02:00
standard_optimizer_yulDetails_optimiserSteps_unbalanced_bracket Update existing tests. 2020-05-13 18:16:59 +02:00
standard_optimizer_yulDetails_without_yul Update existing tests. 2020-05-13 18:16:59 +02:00
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-16 17:19:17 +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 Add warning that Yul is still experimental 2019-03-25 20:17:11 +00:00
standard_yul_invalid_object_name Add warning that Yul is still experimental 2019-03-25 20:17:11 +00:00
standard_yul_multiple_files Auto-update command line expectations 2019-04-08 20:40:04 +08:00
standard_yul_multiple_files_selected Auto-update command line expectations 2019-04-08 20:40:04 +08:00
standard_yul_object Fix source location of builtin function calls. 2021-07-06 16:54:29 +02:00
standard_yul_object_invalid_sub Update tests. 2020-12-01 16:15:19 +01:00
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_single_file_via_urls StandardCompiler: Do not discard non-fatal errors that happened before a fatal error 2021-09-16 20:29:03 +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
storage_layout_bytes Update tests. 2020-12-01 16:15:19 +01:00
storage_layout_dyn_array Update tests. 2020-12-01 16:15:19 +01:00
storage_layout_many Update tests. 2020-12-01 16:15:19 +01:00
storage_layout_mapping Update tests. 2020-12-01 16:15:19 +01:00
storage_layout_smoke Update tests. 2020-12-01 16:15:19 +01:00
storage_layout_smoke_two_contracts Update tests. 2020-12-01 16:15:19 +01:00
storage_layout_string Update tests. 2020-12-01 16:15:19 +01:00
storage_layout_struct Update tests. 2020-12-01 16:15:19 +01:00
storage_layout_struct_packed Update tests. 2020-12-01 16:15:19 +01:00
storage_layout_user_defined UserDefinedValueType.storageBytes() is correctly set 2021-09-29 11:41:47 +02:00
storage_layout_value_types Update tests. 2020-12-01 16:15:19 +01:00
storage_layout_value_types_packed Update tests. 2020-12-01 16:15:19 +01: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 Updating tests after improving Yul error reporting 2021-02-09 16:55:33 +01:00
strict_asm_only_cr Fix handling of carriage return. 2021-03-09 15:33:12 +01:00
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 CommandLineInterface: Disallow --yul-dialect and --machine when not in assembly mode 2020-06-15 17:12:51 +02: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 Update commandline tests. 2021-09-16 17:19:17 +02:00
viair_subobjects Print code snippets next to source locations in IR output 2021-09-14 12:09:59 +02:00
wasm_to_wasm_function_returning_multiple_values Update the expected output of command-line tests after wasm changes 2020-06-16 15:36:47 +02:00
wasm_to_wasm_memory_instructions_alignment Update the expected output of command-line tests after wasm changes 2020-06-16 15:36:47 +02:00
yul_optimize_runs CommandLineParser: Handle --optimize-runs option in assembly mode 2021-07-29 18:15:57 +02:00
yul_optimizer_steps Print code snippets next to source locations in IR output 2021-09-14 12:09:59 +02: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_invalid_nesting Update existing tests. 2020-05-13 18:16:59 +02:00
yul_optimizer_steps_unbalanced_bracket Update existing tests. 2020-05-13 18:16:59 +02:00
yul_string_format_ascii Update commandline tests. 2021-09-16 17:19:17 +02:00
yul_string_format_ascii_bytes32 Update commandline tests. 2021-09-16 17:19:17 +02:00
yul_string_format_ascii_bytes32_from_number Update commandline tests. 2021-09-16 17:19:17 +02:00
yul_string_format_ascii_long Update commandline tests. 2021-09-16 17:19:17 +02:00
yul_string_format_hex Update commandline tests. 2021-09-16 17:19:17 +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