declare module 'solidity-coverage';