Open
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
Metadata
Metadata
Assignees
Labels
No labels