Slither cannot run because of the incompatible solidity versions of PuppyRaffle.sol and its dependencies

[fabriziogianni7]

Description

slither . is failing because it encounters incompatible versions of solidity in PuppyRaffle and its dependencies.
I can't find how to fix it here without setting a higher version on the contract 🤔🤔🤔

[fabriziogianni7]

temporary fix:
manually updating the version of PuppyRaffle to 0.8.25 and then running
slither src --ignore-compile --solc-remaps @openzeppelin=lib/openzeppelin-contracts --exclude-dependencies

I also found that the version 3.4.0 of openzeppelin, in ERC721 contract, does not have _exists() and totalSupply(). so I just commented it.

[EngrPips]

Awesome, Thank you so much for posting this as it would help anyone that run into similar issue