Haskell-Things / Haskell-Things/ImplicitCAD
QuickCheck test failures
- 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.