slither/tests/timestamp.sol

contract Timestamp{
    event Time(uint);

    function bad0() external{
        require(block.timestamp == 0);
    }   

    function bad1() external{
        uint time = block.timestamp;
        require(time == 0);
    }   

    function bad2() external returns(bool){
        return block.timestamp>0;
    }   

    function good() external returns(uint){
        emit Time(block.timestamp);
    }
}