beksaev

Environment: **solc**Version: 0.8.11+commit.d7f03943.Darwin.appleclang **souffle** version 2.2 When securify ./securify/staticanalysis/testContract.sol get such errors: > pragma directive defines a prior version to 0.8.11. Changing pragma version to 0.8.11.... > Traceback (most recent...