diff options
| author | Leonardo Alt <leo@ethereum.org> | 2018-12-21 01:11:20 +0800 |
|---|---|---|
| committer | Leonardo Alt <leo@ethereum.org> | 2019-01-21 19:58:40 +0800 |
| commit | 7f8ceaadab0c265674b591aa50cfeb8910628b9f (patch) | |
| tree | 2deda16f70a2a8805b9fba5b67698058db07905b /test/libsolidity/SMTChecker.cpp | |
| parent | f8e9aed839dce87cebb3e27f20ee8dbe4b782a84 (diff) | |
| download | dexon-solidity-7f8ceaadab0c265674b591aa50cfeb8910628b9f.tar.gz dexon-solidity-7f8ceaadab0c265674b591aa50cfeb8910628b9f.tar.zst dexon-solidity-7f8ceaadab0c265674b591aa50cfeb8910628b9f.zip | |
[SMTChecker] Clear state knowledge after external function calls
Diffstat (limited to 'test/libsolidity/SMTChecker.cpp')
0 files changed, 0 insertions, 0 deletions