Merge pull request #321 from aeternity/calldata-fix

Fix calldata
This commit is contained in:
Hans Svensson
2021-06-24 09:19:05 +02:00
committed by GitHub
2 changed files with 3 additions and 1 deletions
+1
View File
@@ -21,3 +21,4 @@ rebar3.crashdump
aesophia
.qcci
current_counterexample.eqc
test/contracts/test.aes
+2 -1
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,