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