Haskell-Things / Haskell-Things/ImplicitCAD

QuickCheck test failures

Open
#441 3 comments 1 reaction 0 assignees View on GitHub
Dominant language
JavaScript
Stars
1.6k
Forks
148
PR merge metrics
No merged PRs in 30d

Description

found on Hydra. Seems mostly related to `(full|empty)Space`

```
Failures:

tests/ImplicitSpec.hs:303:3:
1) symbolic obj 3, identity, difference is complement
Falsified (after 43 tests and 15 shrinks):
[extrude (scale (V2 0.0 0.0) emptySpace) 0.0]
(V3 0.0 0.0 0.0,())
Inside /= Outside

To rerun use: --match "/symbolic obj 3/identity/difference is complement/"

tests/ImplicitSpec.hs:141:3:
2) symbolic obj 3, inverses, scale inverse
Falsified (after 3 tests and 3 shrinks):
V3 2.0 0.0 0.0
(fullSpace,(V3 0.0 0.0 0.0,()))
Outside /= Inside

To rerun use: --match "/symbolic obj 3/inverses/scale inverse/"

tests/ImplicitSpec.hs:250:3:
3) symbolic obj 3, 3d transform, scale
Falsified (after 3 tests and 3 shrinks):
V3 2.0 0.0 0.0
(fullSpace,(V3 0.0 0.0 0.0,()))
Inside /= Outside

To rerun use: --match "/symbolic obj 3/3d transform/scale/"

Randomized with seed 1283303818
```

and

```
Failures:

tests/ImplicitSpec.hs:141:3:
1) symbolic obj 2, inverses, scale inverse
Falsified (after 2 tests and 3 shrinks):
V2 0.0 (-1.0)
(fullSpace,(V2 0.0 0.0,()))
Outside /= Inside

To rerun use: --match "/symbolic obj 2/inverses/scale inverse/"

tests/ImplicitSpec.hs:141:3:
2) symbolic obj 3, inverses, scale inverse
Falsified (after 1 test and 4 shrinks):
V3 0.6249951862256663 0.0 0.0
(cylinder 0.0 1.0,(V3 0.0 0.0 0.0,()))
Outside /= Surface

To rerun use: --match "/symbolic obj 3/inverses/scale inverse/"

tests/ImplicitSpec.hs:221:3:
3) symbolic obj 3, 3d rotation, (x + y = 360) degrees is id
Falsified (after 1 test and 6 shrinks):
0.0
V3 0.0 0.0 0.5991642884513831
(cube False (V3 0.0 0.1 0.0),(V3 0.0 0.1 0.0,()))
Outside /= Surface

To rerun use: --match "/symbolic obj 3/3d rotation/(x + y = 360) degrees is id/"

Randomized with seed 563777087
```

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.