search

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts
Other
245 stars 46 forks source link

VeriSol Calldata translation #249

Closed stephensj2 closed 4 years ago

stephensj2 commented 4 years ago

Sometimes when processing functions whose arguments have storage location calldata, VeriSol crashes with the following error: VeriSol translation error: Unknown type string during InferKeyTypeFromTypeString: address[] calldata An example of such is given below: calldata.txt

shuvendu-lahiri commented 4 years ago

Please let me know if it is OK to close this.

stephensj2 commented 4 years ago

It seems to work. I think it can be closed.