issues
search
microsoft
/
verisol
A formal verifier and analysis tool for Solidity Smart Contracts
Other
245
stars
46
forks
source link
new test for VeriSol.Modifies; VeriSolContracts.sol extended for Modifies
#261
Open
ellab123
opened
4 years ago