issues
search
microsoft
/
verisol
A formal verifier and analysis tool for Solidity Smart Contracts
Other
245
stars
46
forks
source link
Bug in VeriSol return value in case of exception in SolToBoogie fixed
#266
Closed
ellab123
closed
4 years ago