diff --git a/tests/simil/test_1.txt b/tests/simil/test_1.txt index 8baef1b4a..f722b9880 100644 --- a/tests/simil/test_1.txt +++ b/tests/simil/test_1.txt @@ -1 +1,2 @@ -abc +Function complexExternalWrites in contract Complex is encoded as: +new_contract (local_solc_variable(default)):=(temporary_variable) high_level_call high_level_call high_level_call high_level_call high_level_call new_contract (local_solc_variable(default)):=(temporary_variable) high_level_call new_contract (local_solc_variable(default)):=(temporary_variable) solidity_call(keccak256()) type_conversion(bytes4) low_level_call new_contract (local_solc_variable(default)):=(temporary_variable) solidity_call(keccak256()) type_conversion(bytes4) low_level_call