search

microsoft / verisol

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

Change the name of corral to lower cases #122

Closed Yuepeng-Wang closed 5 years ago

Yuepeng-Wang commented 5 years ago

Switch to lower cases for the path to corral binary, because Linux is case sensitive for paths. Please check this would also work on Windows and Mac.

shuvendu-lahiri commented 5 years ago

Address #119