experiment: ci-run

workload: arroy

strategy: proptest

property: BqLenMatchesIter

mode: solve

status: failed

tool: proptest

counterexample:
Test failed: len()=1 but iter().count()=64 (input len=1).
minimal failing input: [
    0.0,
]


strategy: quickcheck

tool: quickcheck

counterexample: quickcheck counterexample: (0)


strategy: crabcheck

tool: crabcheck

counterexample: crabcheck counterexample: ([0])


counterexample: crabcheck counterexample: ([1])


strategy: hegel

tool: hegel

counterexample: hegel found counterexample: Property test failed: len()=1 but iter().count()=64 (input len=1)


property: CosineDistanceInUnit


counterexample: quickcheck counterexample: (1152921504607734418 0 true)


counterexample: quickcheck counterexample: (1152921504606846984 0 true)


counterexample: quickcheck counterexample: (1152921504606847205 0 true)


counterexample: quickcheck counterexample: (1152921504606847079 0 true)


counterexample: quickcheck counterexample: (1152921504606847098 0 true)


counterexample: quickcheck counterexample: (1152921504606847650 0 true)


counterexample: quickcheck counterexample: (1152921504606847046 0 true)


counterexample: crabcheck counterexample: ([1, 3, 0] [1, 3, 3] true)


counterexample: crabcheck counterexample: ([1, 0, 3] [1, 1, 3] true)


counterexample: crabcheck counterexample: ([1, 0, 3] [3, 3, 3] true)


counterexample: crabcheck counterexample: ([3, 0, 2] [2, 3, 3] true)


counterexample: crabcheck counterexample: ([2, 1, 1, 0] [4, 1, 3, 0] true)


counterexample: crabcheck counterexample: ([1, 3, 0] [0, 1, 0] true)


counterexample: crabcheck counterexample: ([1, 1] [2, 2] true)


counterexample: crabcheck counterexample: ([0, 3, 1] [1, 1, 3] true)


counterexample: crabcheck counterexample: ([1, 1] [0, 2] true)


counterexample: crabcheck counterexample: ([0, 1, 1] [1, 1, 1] true)


property: BqEuclidSelfDistanceZero

counterexample:
Test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1.
minimal failing input: [
    0.0,
]


counterexample: quickcheck counterexample: (0)


counterexample: crabcheck counterexample: ([0])


counterexample: crabcheck counterexample: ([0, 0])


counterexample: hegel found counterexample: Property test failed: built_distance(p, p) = 4 (expected 0.0) for v.len()=1