Skip to content

Commit

Permalink
Adds 32 static test vectors for scalar mul, sqr, inv.
Browse files Browse the repository at this point in the history
These were generated by testing more than 10^12 random test vectors
 for coverage on instrumented (comparison operator outcomes) 32-bit
 and 64-bit code, plus additional edge condition requirements (e.g.
 inputs of 0, 1, -1) and then solving a minimum set cover problem.

The required responses were generated with Sage.

This significantly improves the lcov branch coverage report and
 makes the tests much more sensitive to mutation testing of the
 scalar code.

The challenges and responses are in the form of pairs of scalars:
  C1 * C2 == R1
  (C1 * C2) * (1 / C2) == C1
  C2 * (1 / C2) == 1
  C1 * C1 == R2
  C1^2    == R2
  • Loading branch information
gmaxwell committed Oct 30, 2015
1 parent 3b7bc69 commit 26abce7
Showing 1 changed file with 578 additions and 0 deletions.
Loading

0 comments on commit 26abce7

Please sign in to comment.