MathTest

Inherits: Test

Functions

testSymbolicTernary

function testSymbolicTernary(bool f, uint256 a, uint256 b) public pure;

testAdd512

function testAdd512(uint256 a, uint256 b) public pure;

testMul512

function testMul512(uint256 a, uint256 b) public pure;

testSymbolicMinMax

function testSymbolicMinMax(uint256 a, uint256 b) public pure;

testCeilDiv

function testCeilDiv(uint256 a, uint256 b) public pure;

testSqrt

function testSqrt(uint256 input, uint8 r) public pure;

_squareBigger

function _squareBigger(uint256 value, uint256 ref) private pure returns (bool);

_squareSmaller

function _squareSmaller(uint256 value, uint256 ref) private pure returns (bool);

testInvMod

function testInvMod(uint256 value, uint256 p) public pure;

testInvMod2

function testInvMod2(uint256 seed) public pure;

testInvMod17

function testInvMod17(uint256 seed) public pure;

testInvMod65537

function testInvMod65537(uint256 seed) public pure;

testInvModP256

function testInvModP256(uint256 seed) public pure;

_testInvMod

function _testInvMod(uint256 value, uint256 p, bool allowZero) private pure;

testLog2

function testLog2(uint256 input, uint8 r) public pure;

_powerOf2Bigger

function _powerOf2Bigger(uint256 value, uint256 ref) private pure returns (bool);

_powerOf2Smaller

function _powerOf2Smaller(uint256 value, uint256 ref) private pure returns (bool);

testLog10

function testLog10(uint256 input, uint8 r) public pure;

_powerOf10Bigger

function _powerOf10Bigger(uint256 value, uint256 ref) private pure returns (bool);

_powerOf10Smaller

function _powerOf10Smaller(uint256 value, uint256 ref) private pure returns (bool);

testLog256

function testLog256(uint256 input, uint8 r) public pure;

_powerOf256Bigger

function _powerOf256Bigger(uint256 value, uint256 ref) private pure returns (bool);

_powerOf256Smaller

function _powerOf256Smaller(uint256 value, uint256 ref) private pure returns (bool);

testMulDiv

function testMulDiv(uint256 x, uint256 y, uint256 d) public pure;

testMulDivDomain

forge-config: default.allow_internal_expect_revert = true

function testMulDivDomain(uint256 x, uint256 y, uint256 d) public;

testModExp

forge-config: default.allow_internal_expect_revert = true

function testModExp(uint256 b, uint256 e, uint256 m) public;

testTryModExp

function testTryModExp(uint256 b, uint256 e, uint256 m) public view;

testModExpMemory

forge-config: default.allow_internal_expect_revert = true

function testModExpMemory(uint256 b, uint256 e, uint256 m) public;

testTryModExpMemory

function testTryModExpMemory(uint256 b, uint256 e, uint256 m) public view;

_asRounding

function _asRounding(uint8 r) private pure returns (Math.Rounding);

_mulKaratsuba

function _mulKaratsuba(uint256 x, uint256 y) private pure returns (uint256 high, uint256 low);

_nativeModExp

function _nativeModExp(uint256 b, uint256 e, uint256 m) private pure returns (uint256);