This release contains the runtime tests for SafeInt.
When run, it should output:
If it prints "Error in case ...", then there's a problem.
These tests have been validated as of SafeInt version 3.0.15. You will also require SafeInt3.hpp in order to compile.
Note - compiles with zero warnings at /Wall on Visual Studio 2010. We're working towards few to no warnings on gcc as well.
Many thanks to Jeffrey Walton of OWASP for completing MultVerify, DivVerify, and adding the addition, subtraction, increment/decrement and modulus checks. His subtraction test suite found an actual runtime bug in the case of unsigned int64, signed int64 when the signed portion is negative.
Update - 7/31 - added increment/decrement checks.