Commit cdb0a458 authored by Klaus Aehlig's avatar Klaus Aehlig
Browse files

Relax expectation of accuracy



When updating statistics to obtain new standard deviations,
rounding errors do happen. Testing for an accuracy of 1e-10
is still an order of magnitude better than our limit of 1e-9
for taking action.
Signed-off-by: default avatarKlaus Aehlig <aehlig@google.com>
Reviewed-by: default avatarPetr Pudlak <pudlak@google.com>
parent 5c63bf67
...@@ -342,7 +342,7 @@ prop_stddev_update = ...@@ -342,7 +342,7 @@ prop_stddev_update =
direct = stdDev modified direct = stdDev modified
in printTestCase ("Value computed by update " ++ show with_update in printTestCase ("Value computed by update " ++ show with_update
++ " differs too much from correct value " ++ show direct) ++ " differs too much from correct value " ++ show direct)
(abs (with_update - direct) < 1e-12) (abs (with_update - direct) < 1e-10)
-- | Test list for the Utils module. -- | Test list for the Utils module.
testSuite "Utils" testSuite "Utils"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment