diff options
author | chriseth <chris@ethereum.org> | 2017-07-12 21:03:29 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-07-12 21:03:29 +0800 |
commit | 106acd9cbb827a39cd9bfd67866dafe0eeeb31de (patch) | |
tree | d51cec3ba7cad7ccad440312ae2e19a7a62d2509 /test/compilationTests/zeppelin/math/SafeMath.sol | |
parent | fca8d781b4490026dce657fd344a1fe36c9179f2 (diff) | |
parent | ac84b36144f746662e5ddb984d283e053c7d06ba (diff) | |
download | dexon-solidity-106acd9cbb827a39cd9bfd67866dafe0eeeb31de.tar dexon-solidity-106acd9cbb827a39cd9bfd67866dafe0eeeb31de.tar.gz dexon-solidity-106acd9cbb827a39cd9bfd67866dafe0eeeb31de.tar.bz2 dexon-solidity-106acd9cbb827a39cd9bfd67866dafe0eeeb31de.tar.lz dexon-solidity-106acd9cbb827a39cd9bfd67866dafe0eeeb31de.tar.xz dexon-solidity-106acd9cbb827a39cd9bfd67866dafe0eeeb31de.tar.zst dexon-solidity-106acd9cbb827a39cd9bfd67866dafe0eeeb31de.zip |
Merge pull request #2522 from ethereum/testCode
Added various contracts for testing.
Diffstat (limited to 'test/compilationTests/zeppelin/math/SafeMath.sol')
-rw-r--r-- | test/compilationTests/zeppelin/math/SafeMath.sol | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/test/compilationTests/zeppelin/math/SafeMath.sol b/test/compilationTests/zeppelin/math/SafeMath.sol new file mode 100644 index 00000000..dc05ba28 --- /dev/null +++ b/test/compilationTests/zeppelin/math/SafeMath.sol @@ -0,0 +1,32 @@ +pragma solidity ^0.4.11; + + +/** + * @title SafeMath + * @dev Math operations with safety checks that throw on error + */ +library SafeMath { + function mul(uint256 a, uint256 b) internal returns (uint256) { + uint256 c = a * b; + assert(a == 0 || c / a == b); + return c; + } + + function div(uint256 a, uint256 b) internal returns (uint256) { + // assert(b > 0); // Solidity automatically throws when dividing by 0 + uint256 c = a / b; + // assert(a == b * c + a % b); // There is no case in which this doesn't hold + return c; + } + + function sub(uint256 a, uint256 b) internal returns (uint256) { + assert(b <= a); + return a - b; + } + + function add(uint256 a, uint256 b) internal returns (uint256) { + uint256 c = a + b; + assert(c >= a); + return c; + } +} |