search

eth-sri / securify2

Securify v2.0
Apache License 2.0
579 stars 133 forks source link

The range of pragma versions it currently supports? #24

Open enderphan94 opened 3 years ago

enderphan94 commented 3 years ago

So the tool just supports those contracts that have pragma versions <= 0.5.12?

My contract is running with 0.6.12. But got this error:

ParserError: Source file requires different compiler version (current compiler is 0.5.12+commit.7709ece9.Linux.g++ - note that nightly builds are considered to be strictly less than the released version

nucks commented 2 years ago

@enderphan94 it says here that it supports pragma versions 0.5.* and 0.6.*.

nucks commented 2 years ago

@enderphan94 The way to resolve the error would be to change the Solidity version referenced in the Dockerfile. You'll see a variable called ARG SOLC=0.5.12 that you need to change to reference your version of Solidity. i.e., ARG SOLC=0.6.12. After rebuilding with that change, the problem should be resolved.

nucks commented 2 years ago

28 Created a PR to make this more clear in the README.