search

microsoft / verisol

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

question: Switching between solidity versions #267

Open MalteRei opened 4 years ago

MalteRei commented 4 years ago

Hi,

I would like to use VeriSol for a smart contract written in an older solidity version. Is there an ability to quickly switch between solidity compiler versions when using VeriSol?

ParserError: Source file requires different compiler version (current compiler is 0.5.10+commit.5a6ea5b1.Windows.msvc - note that nightly builds are considered to be strictly less than the released version

Thank you Malte

FIVIL commented 2 years ago

Hi,

I have run into the same issue as well, it seems that the tool downloads a version of solc compiler and then only uses that version, wouldn't it be much better if the tool would check if solc compiler is already installed on the machine and if there is use the available version? this way users could handle versioning using tools like solc-select