Interval fuzzing no longer works well

[agroce]

Given this contract:

pragma solidity ^0.4.0;

contract BlindAuction {
    uint public biddingEnd;

    bool bugged = false;

    modifier onlyBefore(uint _time) { if (now >= _time) throw; _; }

    function BlindAuction(
    ) {
	uint _biddingTime = 30000;
        biddingEnd = now + _biddingTime;
    }

    function bid()
        onlyBefore(biddingEnd)
    {
	bugged = true;
    }

    function echidna_bugged() public returns (bool) {
	return !bugged;
    }
}

echidna 1.4.0.0 release reliably finds a failing test, while latest master (probably after this: https://github.com/crytic/echidna/pull/455/files) does not.

[ggrieco-tob]

I think I know why this fails.

[ggrieco-tob]

It should be fixed in #469. Please test it.

[ggrieco-tob]

This should be fixed.