Fix calldata

This commit is contained in:
radrow 2021-06-22 17:54:05 +02:00
parent e2af89287d
commit 75b2d6981f
2 changed files with 3 additions and 1 deletions

1
.gitignore vendored
View File

@ -21,3 +21,4 @@ rebar3.crashdump
aesophia
.qcci
current_counterexample.eqc
test/contracts/test.aes

View File

@ -244,8 +244,9 @@ check_call1(ContractString0, FunName, Args, Options) ->
fate ->
%% First check the contract without the __call function
#{ fcode := OrgFcode
, fcode_env := #{child_con_env := ChildContracts}
, ast := Ast } = string_to_code(ContractString0, Options),
FateCode = aeso_fcode_to_fate:compile(OrgFcode, []),
FateCode = aeso_fcode_to_fate:compile(ChildContracts, OrgFcode, []),
%% collect all hashes and compute the first name without hash collision to
SymbolHashes = maps:keys(aeb_fate_code:symbols(FateCode)),
CallName = first_none_match(?CALL_NAME, SymbolHashes,