kdt icon indicating copy to clipboard operation
kdt copied to clipboard

Test suite fails.

Open alaendle opened this issue 2 years ago • 0 comments

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.

alaendle avatar Jul 31 '23 12:07 alaendle