ghorn/dvda — Issue #28: improve QuickCheck tests and fix errors revealed in tests
Author: ghorn
Created: 2011-12-16 07:44:29+00:00
State: open

Complicated because it's easy to get NaN or Infinity, or errors related to TInt overflows.

Current tests are on a restricted subset that will hopefully show some errors. That subset should be grown.

Current tests are on scalars only, need to implement tensors.

Need to implement symbolic variables/substitution tests.