aboutsummaryrefslogtreecommitdiffstats
path: root/test/libsolidity/smtCheckerTests/special/msg_sender_2.sol
Commit message (Expand)AuthorAgeFilesLines
* [SMTChecker] Support basic typecastLeonardo Alt2019-01-161-2/+1
* [SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhashLeonardo Alt2018-10-191-0/+14