kdt
kdt copied to clipboard
Test suite fails.
Noticed during stackage nightly build:
kdt > test (suite: StaticTest)
=== prop_validTree from app-src/Tests/StaticTest.hs:20 ===
+++ OK, passed 100 tests.
=== prop_sameElements from app-src/Tests/StaticTest.hs:29 ===
+++ OK, passed 100 tests.
=== prop_validNumElements from app-src/Tests/StaticTest.hs:37 ===
+++ OK, passed 100 tests.
=== prop_nearestEqualToLinear from app-src/Tests/StaticTest.hs:49 ===
+++ OK, passed 100 tests.
=== prop_inRadiusEqualToLinear from app-src/Tests/StaticTest.hs:65 ===
+++ OK, passed 100 tests.
=== prop_kNearestEqualToLinear from app-src/Tests/StaticTest.hs:82 ===
+++ OK, passed 100 tests.
=== prop_kNearestSorted from app-src/Tests/StaticTest.hs:96 ===
+++ OK, passed 100 tests.
=== prop_rangeEqualToLinear from app-src/Tests/StaticTest.hs:110 ===
+++ OK, passed 100 tests.
=== prop_equalAxisValueSameElems from app-src/Tests/StaticTest.hs:120 ===
+++ OK, passed 100 tests.
=== prop_equalAxisValueEqualToLinear from app-src/Tests/StaticTest.hs:125 ===
*** Failed! Falsified (after 8 tests):
Point2d (-1.25) (-0.5)
[Point2d 0.8977569929311257 (-1.0),Point2d 1.0 4.5,Point2d 7.0 1.0,Point2d 0.6266900277410289 5.25,Point2d 3.0 1.8,Point2d 0.6220498537630059 3.0]
=== prop_unbalancedInsertValid from app-src/Tests/StaticTest.hs:130 ===
+++ OK, passed 100 tests.
=== prop_unbalancedInsertNNEqualToLinear from app-src/Tests/StaticTest.hs:135 ===
+++ OK, passed 100 tests.
Another run exposes:
=== prop_equalAxisValueEqualToLinear from app-src/Tests/StaticTest.hs:125 ===
*** Failed! Falsified (after 8 tests):
Point2d 0.941070807325919 2.5
[Point2d 2.5347776717191572e-2 2.0,Point2d 3.0 0.658442994507156]
So it is at least unstable. Disabled test execution for now.