input-output-hk / input-output-hk/cuddle
Roundtrip test failure
- Dominant language
- Haskell
- Stars
- 7
- Forks
- 5
- PR merge metrics
- No merged PRs in 30d
Description
```
Failures:
test/Test/Codec/CBOR/Cuddle/CDDL/Parser.hs:37:3:
1) cddlParser, Roundtripping should be id, Trip GroupEntry
Falsified (after 80 tests and 23 shrinks):
GEType Nothing Nothing (Type0 (Type1 (T2Unwrapped (Name "x") (Just (GenericArg (Type1 (T2Unwrapped (Name "Z") Nothing) (Just (RangeOp Closed,T2Tag Nothing (Type0 (Type1 (T2Enum (Group ([GEGroup Nothing (Group ([GERef Nothing (Name "I") Nothing] :| []))] :| []))) Nothing :| [])))) :| [])))) Nothing :| []))
GEType Nothing Nothing (Type0 (Type1 (T2Unwrapped (Name "x") (Just (GenericArg (Type1 (T2Unwrapped (Name "Z") Nothing) (Just (RangeOp Closed,T2Tag Nothing (Type0 (Type1 (T2Enum (Group ([GEType Nothing Nothing (Type0 (Type1 (T2Group (Type0 (Type1 (T2Name (Name "I") Nothing) Nothing :| []))) Nothing :| []))] :| []))) Nothing :| [])))) :| [])))) Nothing :| []))
"~ x<~ Z .. #6(& ((I)))>" /= "~ x<~ Z .. #6(& (( I)))>"
To rerun use: --match "/cddlParser/Roundtripping should be id/Trip GroupEntry/" --seed 1014413989
Randomized with seed 1014413989
```
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.