mythril/tests/testdata/input_contracts/exceptions.sol

contract Exceptions {

    uint256[8] myarray;

    function assert1() {
    	uint256 i = 1;
        assert(i == 0);
    }

    function assert2() {
    	uint256 i = 1;
        assert(i > 0);
    }

    function assert3(uint256 input) {
        assert(input != 23);
    }

    function requireisfine(uint256 input) {
        require(input != 23);
    }

    function divisionby0(uint256 input) {
        uint256 i = 1/input;
    }

    function thisisfine(uint256 input) {
        if (input > 0) {
            uint256 i = 1/input;
        }
    }    

    function arrayaccess(uint256 index) {
        uint256 i = myarray[index];
    }

    function thisisalsofind(uint256 index) {
        if (index < 8) {
            uint256 i = myarray[index];
        }
    }

}