question: Switching between solidity versions

[MalteRei]

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]

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