Closed hiqua closed 5 years ago
DeepCode analyzed this pull request. There are no new issues.
I guess I would prefer to merge this after https://github.com/eth-sri/securify/pull/90 but otherwise LGTM.
DeepCode analyzed this pull request. There are no new issues.