Known bug for esbmc-solidity

ChenfengWei0 / esbmc

The efficient SMT-based bounded model checker

http://esbmc.org/

Other

0 stars 1 forks source link

Closed ChenfengWei0 closed 1 year ago

ChenfengWei0 commented 1 year ago

if we try to verify the function in the contract, we don't call the constructor first.