Call check_proof_attribute
for contract harnesses (#3522)
#8294
Loading
check_proof_attribute
for contract harnesses (#3522)
#8294