Solidity-require

library BoringMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256 c) {
        require((c = a + b) >= b, "BoringMath: Add Overflow");
    }
}

앞의 조건을 충족하지 못했을 때 뒤의 메세지를 출력한다.