checkedint.tests.contract.safeop

Precise and detailed description of the expected behaviour of checkedint.safeOp against which it can be automatically tested. 80+ bit floating-point is used to compute the expected value for each operation with many different combinations of inputs.

Note: These tests currently will not work on systems where is(real == double), because Precision!double < Precision!ulong.

Meta

Authors

Thomas Stuart Bockman