Fix to catch “Compilation Error” exception from SolToBoogie compiler

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts

Other

245 stars 46 forks source link

Fix to catch “Compilation Error” exception from SolToBoogie compiler #265

Closed ellab123 closed 4 years ago

ellab123 commented 4 years ago

Unhandled exception "Compilation Error" from SolToBoogie is caught and a user friendly error message printed. The fix is needed to call VeriSol.exe from the batch file.