aboutsummaryrefslogtreecommitdiffstats
path: root/test/libsolidity/smtCheckerTests/functions/functions_external_1.sol
Commit message (Expand)AuthorAgeFilesLines
* [SMTChecker] Clear state knowledge after external function callsLeonardo Alt2019-01-211-0/+21