SignedMathTest

Inherits: Test

Functions

testSymbolicTernary

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

testSymbolicMinMax

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

testSymbolicMin

function testSymbolicMin(int256 a, int256 b) public pure;

testSymbolicMax

function testSymbolicMax(int256 a, int256 b) public pure;

testAverage1

function testAverage1(int256 a, int256 b) public pure;

testAverage2

function testAverage2(int256 a, int256 b) public pure;

testSymbolicAbs

function testSymbolicAbs(int256 a) public pure;