nicedinner02

No coverage data produced

2

The coverage.json, coverage.txt, and the JSON files in the coverage folder are either empty or only contain "{"coverage":{}}" when we run the command "timeout 20s ityfuzz evm -t './build/*'" with...

For the contract below, I run the command: timeout 10s ityfuzz evm -t "abi_and_bin/example/*". pragma solidity ^0.4.21; contract example { uint256 price = 1; constructor() public payable { require(msg.value ==...