| .. |
|
clash_in_branches.yul
|
update new test.
|
2022-03-17 17:32:50 +01:00 |
|
double_mload_with_other_reassignment.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
double_mload_with_reassignment.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
double_mload.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
for_break_sstore.yul
|
fixup! New tests for switch and if.
|
2022-03-17 14:39:05 +01:00 |
|
for_continue_sstore.yul
|
fixup! New tests for switch and if.
|
2022-03-17 14:39:05 +01:00 |
|
for_reverting_sstore.yul
|
fixup! New tests for switch and if.
|
2022-03-17 14:39:05 +01:00 |
|
for_reverting.yul
|
fixup! New tests for switch and if.
|
2022-03-17 14:39:05 +01:00 |
|
if_non_revert.yul
|
New tests for switch and if.
|
2022-03-17 12:26:59 +01:00 |
|
if_revert.yul
|
New tests for switch and if.
|
2022-03-17 12:26:59 +01:00 |
|
keccak_crash.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
keccak_fail1.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
keccak_fail2.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
keccak_short.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
keccak_string_literal.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
keccak_symbolic_memory.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
keccak_with_msize.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
keccak.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
loop.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
memory_with_different_kinds_of_invalidation.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
memory_with_msize.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
merge_known_write_with_distance.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
merge_known_write.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
merge_mload_with_known_distance.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
merge_mload_with_rewrite.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
merge_mload_without_rewrite.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
merge_unknown_write.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
merge_with_rewrite.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
mload_in_function.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
mload_self.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
mload_with_revert.yul
|
Improved branch handling in data flow analyzer.
|
2022-03-17 12:24:25 +01:00 |
|
mstore_in_function_loop_body.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
mstore_in_function_loop_init.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
multi_sload_loop.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
re_store_memory.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
re_store_storage.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
reassign_value_expression.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
reassign.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
second_mstore_with_delta.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
second_store_same_value.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
second_store_with_delta.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
second_store.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
side_effects_of_user_functions.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
simple_memory.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
simple.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
staticcall.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
switch_reassign_non_revert.yul
|
New tests for switch and if.
|
2022-03-17 12:26:59 +01:00 |
|
switch_reassign_revert.yul
|
New tests for switch and if.
|
2022-03-17 12:26:59 +01:00 |
|
switch_with_default_reverting.yul
|
New tests for switch and if.
|
2022-03-17 12:26:59 +01:00 |
|
switch_with_default.yul
|
New tests for switch and if.
|
2022-03-17 12:26:59 +01:00 |
|
switch_without_default_reverting.yul
|
New tests for switch and if.
|
2022-03-17 12:26:59 +01:00 |
|
switch_without_default.yul
|
New tests for switch and if.
|
2022-03-17 12:26:59 +01:00 |
|
verbatim_mload.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
verbatim_sload.yul
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
