aboutsummaryrefslogtreecommitdiffstats
path: root/test/libsolidity/smtCheckerTestsJSON/simple.sol
Commit message (Expand)AuthorAgeFilesLines
* Add SMTChecker tests for standard JSONLeonardo Alt2018-11-231-0/+10