search

ghorn / dvda

(deprecated) Symbolic expressions and algorithmic differentiation in Haskell.
7 stars 4 forks source link

improve QuickCheck tests #28

Open ghorn opened 12 years ago

ghorn commented 12 years ago

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.

ghorn commented 12 years ago

*Numeric.Dvda.Tests.Tests> f <- toFunction [] [cosh(tan(878 :: Expr Double))] gcc -O2 -std=gnu99 -fPIC -shared -Wall -Wextra -Werror call_07f265004a2f704...5dd7aac057.c -o call_07f265004a2f704...5dd7aac057.o

*Numeric.Dvda.Tests.Tests> callC f [] == callNative f [] False

*Numeric.Dvda.Tests.Tests> callC f [] [293344.38466561126]

*Numeric.Dvda.Tests.Tests> callNative f [] [293344.3846656112]