← Back to Coverage Index

error Tests — lean4-yaml-verified

YAML 1.2.2 parser compliance against the official yaml-test-suite

Unique Tests

74

Passed

0

Failed

0

Expected Fail

74

Unexpected Pass

0

Skipped (1.3)

0

Timeout

0

Correct

74/74
(100.0%)

Coverage by Stage

scalar
0/0 correct (0.0%) · 0 pass, 0 fail, 0 exp-fail, 0 unexp-pass, 0 timeout
flow
0/0 correct (0.0%) · 0 pass, 0 fail, 0 exp-fail, 0 unexp-pass, 0 timeout
block
0/0 correct (0.0%) · 0 pass, 0 fail, 0 exp-fail, 0 unexp-pass, 0 timeout
document
0/0 correct (0.0%) · 0 pass, 0 fail, 0 exp-fail, 0 unexp-pass, 0 timeout
advanced
0/0 correct (0.0%) · 0 pass, 0 fail, 0 exp-fail, 0 unexp-pass, 0 timeout
error
74/74 correct (100.0%) · 0 pass, 0 fail, 74 exp-fail, 0 unexp-pass, 0 timeout
Showing 74 of 74
ID Name Stage Outcome Tags Error
236B Invalid value after mapping error Expected Fail errormapping
2CMS Invalid mapping in plain multiline error Expected Fail errormapping
3HFZ Invalid content after document end marker error Expected Fail errorfooter
4EJS Invalid tabs as indendation in a mapping error Expected Fail errormappingwhitespace
4H7K Flow sequence with invalid extra closing bracket error Expected Fail errorflowsequence
4HVU Wrong indendation in Sequence error Expected Fail errorsequenceindent
4JVG Scalar value with two anchors error Expected Fail anchorerrormapping
55WF Invalid escape in double quoted string error Expected Fail errordouble
5LLU Block scalar with wrong indented line after spaces only error Expected Fail errorfoldedwhitespace
5TRB Invalid document-start marker in doublequoted tring error Expected Fail headerdoubleerror
5U3A Sequence on same Line as Mapping Key error Expected Fail errorsequencemapping
62EZ Invalid block mapping key on same line as previous key error Expected Fail errorflowmapping
6JTT Flow sequence without closing bracket error Expected Fail errorflowsequence
6S55 Invalid scalar at the end of sequence error Expected Fail errormappingsequence
7LBH Multiline double quoted implicit keys error Expected Fail errordouble
7MNF Missing colon error Expected Fail errormapping
8XDJ Comment in plain multiline value error Expected Fail errorcommentscalar
9C9N Wrong indented flow sequence error Expected Fail errorflowindentsequence
9CWY Invalid scalar at the end of mapping error Expected Fail errormappingsequence
9HCY Need document footer before directives error Expected Fail directiveerrorfootertagunknown-tag
9JBA Invalid comment after end of flow sequence error Expected Fail commenterrorflowsequence
9KBC Mapping starting at --- line error Expected Fail errorheadermapping
9MAG Flow sequence with invalid comma at the beginning error Expected Fail errorflowsequence
9MMA Directive by itself with no document error Expected Fail errordirective
B63P Directive without document error Expected Fail errordirectivedocument
BD7L Invalid mapping after sequence error Expected Fail errormappingsequence
BF9H Trailing comment in multiline plain scalar error Expected Fail commenterrorscalar
BS4K Comment between plain scalar lines error Expected Fail errorscalar
C2SP Flow Mapping Key on two lines error Expected Fail errorflowmapping
CML9 Missing comma in flow error Expected Fail errorflowcomment
CQ3W Double quoted string without closing quote error Expected Fail errordouble
CTN5 Flow sequence with invalid extra comma error Expected Fail errorflowsequence
CVW2 Invalid comment after comma error Expected Fail commenterrorflowsequence
CXX2 Mapping with anchor on document start line error Expected Fail anchorerrorheadermapping
D49Q Multiline single quoted implicit keys error Expected Fail errorsinglemapping
DK4H Implicit key followed by newline error Expected Fail errorflowmappingsequence
DMG6 Wrong indendation in Map error Expected Fail errormappingindent
EB22 Missing document-end marker before directive error Expected Fail errordirectivefooter
EW3V Wrong indendation in mapping error Expected Fail errormappingindent
G7JE Multiline implicit keys error Expected Fail errormapping
G9HC Invalid anchor in zero indented sequence error Expected Fail anchorerrorsequence
GDY7 Comment that looks like a mapping key error Expected Fail commenterrormapping
GT5M Node anchor in sequence error Expected Fail anchorerrorsequence
H7J7 Node anchor not indented error Expected Fail anchorerrorindenttag
HRE5 Double quoted scalar with escaped single quote error Expected Fail doubleerrorsingle
HU3P Invalid Mapping in plain scalar error Expected Fail errormappingscalar
JY7Z Trailing content that looks like a mapping error Expected Fail errormappingdouble
KS4U Invalid item after end of flow sequence error Expected Fail errorflowsequence
LHL4 Invalid tag error Expected Fail errortag
N4JP Bad indentation in mapping error Expected Fail errormappingindentdouble
N782 Invalid document markers in flow style error Expected Fail flowedgeheaderfootererror
P2EQ Invalid sequene item on same line as previous item error Expected Fail errorflowmappingsequence
Q4CL Trailing content after quoted value error Expected Fail errormappingdouble
QB6E Wrong indented multiline quoted scalar error Expected Fail doubleerrorindent
QLJ7 Tag shorthand used in documents but only defined in the first error Expected Fail errordirectivetag
RHX7 YAML directive without document end marker error Expected Fail directiveerror
RXY3 Invalid document-end marker in single quoted string error Expected Fail footersingleerror
S4GJ Invalid text after block scalar indicator error Expected Fail errorfolded
S98Z Block scalar with more spaces than first content line error Expected Fail errorfoldedcommentscalarwhitespace
SF5V Duplicate YAML directive error Expected Fail directiveerror
SR86 Anchor plus Alias error Expected Fail aliaserror
SU5Z Comment without whitespace after doublequoted scalar error Expected Fail commenterrordoublewhitespace
SU74 Anchor and alias as mapping key error Expected Fail erroranchoraliasmapping
SY6V Anchor before sequence entry on same line error Expected Fail anchorerrorsequence
T833 Flow mapping missing a separating comma error Expected Fail errorflowmapping
TD5N Invalid scalar after sequence error Expected Fail errorsequencescalar
U44R Bad indentation in mapping (2) error Expected Fail errormappingindentdouble
U99R Invalid comma in tag error Expected Fail errortag
W9L4 Literal block scalar with more spaces in first line error Expected Fail errorliteralwhitespace
X4QW Comment without whitespace after block scalar indicator error Expected Fail foldedcommenterrorwhitespace
ZCZ6 Invalid mapping in plain single line value error Expected Fail errormappingscalar
ZL4Z Invalid nested mapping error Expected Fail errormapping
ZVH3 Wrong indented sequence item error Expected Fail errorsequenceindent
ZXT5 Implicit key followed by newline and adjacent value error Expected Fail errorflowmappingsequence