aboutsummaryrefslogtreecommitdiffstats
path: root/test/libsolidity/smtCheckerTests/special/many.sol
Commit message (Expand)AuthorAgeFilesLines
* add a 'readable' format for large hex valuesKevin Kelley2018-12-061-1/+1
* [SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhashLeonardo Alt2018-10-191-0/+25