fsainas/contracts-verification-benchmark

An open benchmark for evaluating smart contracts verification tools.

Solidity