search

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts
Other
245 stars 46 forks source link

Handle tx related variables #193

Closed shuvendu-lahiri closed 5 years ago

shuvendu-lahiri commented 5 years ago

tx.gasprice (uint): gas price of the transaction tx.origin (address payable): sender of the transaction (full call chain)