| .. |
|
abiencoderv2_no_warning
|
|
|
|
ast_json_import_wrong_evmVersion
|
|
|
|
combined_json_generated_sources
|
|
|
|
dup_opt_peephole
|
|
|
|
error_codes
|
|
|
|
evm_to_wasm
|
[ewasm] Polyfill: balance & address: Update Tests.
|
2021-01-19 13:04:45 -05:00 |
|
evm_to_wasm_break
|
[ewasm] Polyfill: balance & address: Update Tests.
|
2021-01-19 13:04:45 -05:00 |
|
evm_to_wasm_unsupported_translation
|
|
|
|
exp_base_literal
|
Update tests.
|
2021-01-20 18:25:27 +01:00 |
|
ir_compiler_inheritance_nosubobjects
|
|
|
|
ir_compiler_subobjects
|
Update tests.
|
2021-01-20 18:25:27 +01:00 |
|
ir_with_assembly_no_memoryguard_creation
|
|
|
|
ir_with_assembly_no_memoryguard_runtime
|
|
|
|
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
|
|
|
|
linking_standard_solidity_quote_in_file_name
|
|
|
|
linking_standard_solidity_unresolved_references
|
|
|
|
linking_standard_yul
|
|
|
|
linking_standard_yul_quote_in_file_name
|
|
|
|
linking_standard_yul_unresolved_references
|
|
|
|
linking_strict_assembly
|
[CLI] Allow "=" as separator between library name and address in --libraries commandline option.
|
2021-01-25 16:14:39 +08:00 |
|
linking_strict_assembly_duplicate_library_name
|
[CLI] Allow "=" as separator between library name and address in --libraries commandline option.
|
2021-01-25 16:14:39 +08:00 |
|
linking_strict_assembly_no_file_name_in_link_reference
|
[CLI] Allow "=" as separator between library name and address in --libraries commandline option.
|
2021-01-25 16:14:39 +08:00 |
|
linking_strict_assembly_same_library_name_different_files
|
[CLI] Allow "=" as separator between library name and address in --libraries commandline option.
|
2021-01-25 16:14:39 +08:00 |
|
linking_strict_assembly_same_library_name_different_files_in_link_references
|
[CLI] Allow "=" as separator between library name and address in --libraries commandline option.
|
2021-01-25 16:14:39 +08:00 |
|
linking_strict_assembly_unresolved_references
|
[CLI] Allow "=" as separator between library name and address in --libraries commandline option.
|
2021-01-25 16:14:39 +08:00 |
|
message_format
|
|
|
|
message_format_utf8
|
|
|
|
model_checker_engine_all
|
Output internal calls
|
2021-01-12 14:57:04 +01:00 |
|
model_checker_engine_bmc
|
|
|
|
model_checker_engine_chc
|
Output internal calls
|
2021-01-12 14:57:04 +01:00 |
|
model_checker_engine_none
|
|
|
|
model_checker_targets_all
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
model_checker_targets_all_bmc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
model_checker_targets_all_chc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
model_checker_targets_assert_bmc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
model_checker_targets_assert_chc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
model_checker_targets_balance_bmc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
model_checker_targets_balance_chc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
model_checker_targets_constant_condition_bmc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
model_checker_targets_constant_condition_chc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
model_checker_targets_div_by_zero_bmc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
model_checker_targets_div_by_zero_chc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
model_checker_targets_error
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
model_checker_targets_overflow_bmc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
model_checker_targets_overflow_chc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
model_checker_targets_pop_empty_bmc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
model_checker_targets_pop_empty_chc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
model_checker_targets_underflow_bmc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
model_checker_targets_underflow_chc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
model_checker_targets_underflow_overflow_assert_bmc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
model_checker_targets_underflow_overflow_assert_chc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
model_checker_targets_underflow_overflow_bmc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
model_checker_targets_underflow_overflow_chc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
model_checker_timeout_all
|
|
|
|
model_checker_timeout_bmc
|
|
|
|
model_checker_timeout_chc
|
|
|
|
name_simplifier
|
Update tests.
|
2021-01-20 18:25:27 +01:00 |
|
object_compiler
|
|
|
|
optimizer_array_sload
|
Update tests.
|
2021-01-20 18:25:27 +01:00 |
|
optimizer_BlockDeDuplicator
|
Add inlining for old optimizer.
|
2021-02-09 19:08:58 +01:00 |
|
optimizer_inliner_add
|
Add inlining for old optimizer.
|
2021-02-09 19:08:58 +01:00 |
|
optimizer_inliner_call_from_constructor
|
Add inlining for old optimizer.
|
2021-02-09 19:08:58 +01:00 |
|
optimizer_inliner_dynamic_reference
|
Add inlining for old optimizer.
|
2021-02-09 19:08:58 +01:00 |
|
optimizer_inliner_dynamic_reference_constructor
|
Add inlining for old optimizer.
|
2021-02-09 19:08:58 +01:00 |
|
optimizer_inliner_inc
|
Add inlining for old optimizer.
|
2021-02-09 19:08:58 +01:00 |
|
optimizer_inliner_multireturn
|
Add inlining for old optimizer.
|
2021-02-09 19:08:58 +01:00 |
|
optimizer_user_yul
|
|
|
|
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
|
|
|
|
recovery_ast_constructor
|
|
|
|
recovery_ast_empty_contract
|
|
|
|
recovery_standard_json
|
|
|
|
require_overload
|
|
|
|
standard_default_success
|
|
|
|
standard_empty_file_name
|
|
|
|
standard_ewasm_requested
|
[ewasm] Polyfill: balance & address: Update Tests.
|
2021-01-19 13:04:45 -05:00 |
|
standard_ewasm_requested_abstract
|
|
|
|
standard_file_not_found
|
|
|
|
standard_generatedSources
|
Update tests.
|
2021-01-20 18:25:27 +01:00 |
|
standard_immutable_references
|
|
|
|
standard_ir_requested
|
Update tests.
|
2021-01-20 18:25:27 +01:00 |
|
standard_irOptimized_requested
|
Update tests.
|
2021-01-20 18:25:27 +01:00 |
|
standard_method_identifiers_requested
|
|
|
|
standard_missing_key_useLiteralContent
|
|
|
|
standard_model_checker_engine_all
|
Output internal calls
|
2021-01-12 14:57:04 +01:00 |
|
standard_model_checker_engine_bmc
|
[SMTChecker] Added transaction constraints also for contract deployment
|
2021-02-01 16:46:34 +01:00 |
|
standard_model_checker_engine_chc
|
Output internal calls
|
2021-01-12 14:57:04 +01:00 |
|
standard_model_checker_engine_none
|
|
|
|
standard_model_checker_targets_all
|
[SMTChecker] Added transaction constraints also for contract deployment
|
2021-02-01 16:46:34 +01:00 |
|
standard_model_checker_targets_all_bmc
|
[SMTChecker] Added transaction constraints also for contract deployment
|
2021-02-01 16:46:34 +01:00 |
|
standard_model_checker_targets_all_chc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
standard_model_checker_targets_assert_bmc
|
[SMTChecker] Added transaction constraints also for contract deployment
|
2021-02-01 16:46:34 +01:00 |
|
standard_model_checker_targets_assert_chc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
standard_model_checker_targets_balance_bmc
|
[SMTChecker] Added transaction constraints also for contract deployment
|
2021-02-01 16:46:34 +01:00 |
|
standard_model_checker_targets_balance_chc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
standard_model_checker_targets_constantCondition_bmc
|
[SMTChecker] Added transaction constraints also for contract deployment
|
2021-02-01 16:46:34 +01:00 |
|
standard_model_checker_targets_constantCondition_chc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
standard_model_checker_targets_div_by_zero_bmc
|
[SMTChecker] Added transaction constraints also for contract deployment
|
2021-02-01 16:46:34 +01:00 |
|
standard_model_checker_targets_div_by_zero_chc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
standard_model_checker_targets_overflow_bmc
|
[SMTChecker] Added transaction constraints also for contract deployment
|
2021-02-01 16:46:34 +01:00 |
|
standard_model_checker_targets_overflow_chc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
standard_model_checker_targets_pop_empty_bmc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
standard_model_checker_targets_pop_empty_chc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
standard_model_checker_targets_underflow_bmc
|
[SMTChecker] Added transaction constraints also for contract deployment
|
2021-02-01 16:46:34 +01:00 |
|
standard_model_checker_targets_underflow_chc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
standard_model_checker_targets_underflow_overflow_assert_bmc
|
[SMTChecker] Added transaction constraints also for contract deployment
|
2021-02-01 16:46:34 +01:00 |
|
standard_model_checker_targets_underflow_overflow_assert_chc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
standard_model_checker_targets_underflow_overflow_bmc
|
[SMTChecker] Added transaction constraints also for contract deployment
|
2021-02-01 16:46:34 +01:00 |
|
standard_model_checker_targets_underflow_overflow_chc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
standard_model_checker_targets_wrong
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
standard_model_checker_timeout_all
|
[SMTChecker] Added transaction constraints also for contract deployment
|
2021-02-01 16:46:34 +01:00 |
|
standard_model_checker_timeout_bmc
|
[SMTChecker] Added transaction constraints also for contract deployment
|
2021-02-01 16:46:34 +01:00 |
|
standard_model_checker_timeout_chc
|
|
|
|
standard_model_checker_timeout_wrong_key
|
|
|
|
standard_model_checker_timeout_wrong_value
|
|
|
|
standard_only_ast_requested
|
|
|
|
standard_optimizer_generatedSources
|
Round up allocations to multiples of 32.
|
2021-01-14 21:52:17 +00: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
|
|
|
|
standard_viair_requested
|
Update tests.
|
2021-01-20 18:25:27 +01:00 |
|
standard_wrong_key_auxiliary_input
|
|
|
|
standard_wrong_key_metadata
|
|
|
|
standard_wrong_key_optimizer
|
|
|
|
standard_wrong_key_root
|
|
|
|
standard_wrong_key_settings
|
|
|
|
standard_wrong_key_source
|
|
|
|
standard_wrong_type_auxiliary_input
|
|
|
|
standard_wrong_type_auxiliary_input_smtlib2responses
|
|
|
|
standard_wrong_type_auxiliary_input_smtlib2responses_member
|
|
|
|
standard_wrong_type_metadata
|
|
|
|
standard_wrong_type_optimizer
|
|
|
|
standard_wrong_type_output_selection
|
|
|
|
standard_wrong_type_output_selection_contract
|
|
|
|
standard_wrong_type_output_selection_file
|
|
|
|
standard_wrong_type_output_selection_output
|
|
|
|
standard_wrong_type_remappings
|
|
|
|
standard_wrong_type_remappings_entry
|
|
|
|
standard_wrong_type_root
|
|
|
|
standard_wrong_type_settings
|
|
|
|
standard_wrong_type_source
|
|
|
|
standard_wrong_type_sources
|
|
|
|
standard_wrong_type_useLiteralContent
|
|
|
|
standard_yul
|
|
|
|
standard_yul_embedded_object_name
|
|
|
|
standard_yul_invalid_object_name
|
|
|
|
standard_yul_multiple_files
|
|
|
|
standard_yul_multiple_files_selected
|
|
|
|
standard_yul_object
|
|
|
|
standard_yul_object_invalid_sub
|
|
|
|
standard_yul_object_name
|
|
|
|
standard_yul_optimiserSteps
|
|
|
|
standard_yul_optimized
|
|
|
|
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
|
Updating tests after improving Yul error reporting
|
2021-02-09 16:55:33 +01:00 |
|
strict_asm_optimizer_steps
|
|
|
|
strict_asm_options_in_non_asm_mode
|
|
|
|
structured_documentation_source_location
|
|
|
|
too_long_line
|
|
|
|
too_long_line_both_sides_short
|
|
|
|
too_long_line_edge_in
|
|
|
|
too_long_line_edge_out
|
|
|
|
too_long_line_left_short
|
|
|
|
too_long_line_multiline
|
Update tests
|
2020-12-14 19:32:31 +00:00 |
|
too_long_line_right_short
|
|
|
|
viair_abicoder_v1
|
Update tests.
|
2021-01-20 18:25:27 +01:00 |
|
viair_subobjects
|
Update tests.
|
2021-01-20 18:25:27 +01:00 |
|
wasm_to_wasm_function_returning_multiple_values
|
|
|
|
wasm_to_wasm_memory_instructions_alignment
|
|
|
|
yul_optimizer_steps
|
|
|
|
yul_optimizer_steps_disabled
|
|
|
|
yul_optimizer_steps_invalid_abbreviation
|
|
|
|
yul_optimizer_steps_invalid_nesting
|
|
|
|
yul_optimizer_steps_unbalanced_bracket
|
|
|
|
yul_stack_opt
|
|
|
|
yul_stack_opt_disabled
|
|
|
|
yul_string_format_ascii
|
Update tests.
|
2021-01-20 18:25:27 +01:00 |
|
yul_string_format_ascii_bytes32
|
Update tests.
|
2021-01-20 18:25:27 +01:00 |
|
yul_string_format_ascii_bytes32_from_number
|
Update tests.
|
2021-01-20 18:25:27 +01:00 |
|
yul_string_format_ascii_long
|
Update tests.
|
2021-01-20 18:25:27 +01:00 |
|
yul_string_format_hex
|
Update tests.
|
2021-01-20 18:25:27 +01:00 |
