← Back to Coverage Index

advanced Tests — lean4-yaml-verified

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

Unique Tests

81

Passed

64

Failed

0

Expected Fail

0

Unexpected Pass

0

Skipped (1.3)

17

Timeout

0

Correct

64/64
(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
64/64 correct (100.0%) · 64 pass, 0 fail, 0 exp-fail, 0 unexp-pass · 17 YAML 1.3 skipped, 0 timeout
error
0/0 correct (0.0%) · 0 pass, 0 fail, 0 exp-fail, 0 unexp-pass, 0 timeout
Showing 81 of 81
ID Name Stage Outcome Tags Error
26DV Whitespace around colon in mappings advanced Pass aliasmappingwhitespace
2AUY Tags in Block Sequence advanced Pass tagsequence
2SXE Anchors With Colon in Name advanced Skip aliasedgemapping1.3-err
2XXW Spec Example 2.25. Unordered Sets advanced Pass specmappingunknown-tagexplicit-key
33X3 Three explicit integers in a block sequence advanced Pass sequencetag
35KP Tags for Root Objects advanced Pass explicit-keyheadermappingtag
3GZX Spec Example 7.1. Alias Nodes advanced Pass mappingspecalias
3R3P Single block sequence with anchor advanced Pass anchorsequence
4FJ6 Nested implicit complex keys advanced Pass complex-keyflowmappingsequence
52DL Explicit Non-Specific Tag [1.3] advanced Skip tag1.3-mod
565N Construct Binary advanced Pass tagunknown-tag
57H4 Spec Example 8.22. Block Collection Nodes advanced Pass sequencemappingtag
5TYM Spec Example 6.21. Local Tag Prefix advanced Pass local-tagspecdirectivetag
5WE3 Spec Example 8.17. Explicit Block Mapping Entries advanced Pass explicit-keyspecmappingcommentliteralsequence
6BFJ Mapping, key and flow sequence item anchors advanced Pass anchorcomplex-keyflowmappingsequence
6CK3 Spec Example 6.26. Tag Shorthands advanced Pass spectaglocal-tag
6JWB Tags for Block Objects advanced Pass mappingsequencetag
6KGN Anchor for empty node advanced Pass aliasanchor
6M2F Aliases in Explicit Block Mapping advanced Pass aliasexplicit-keyempty-key
6PBE Zero-indented sequences in explicit mapping keys advanced Pass explicit-keymappingsequence
6WLZ Spec Example 6.18. Primary Tag Handle [1.3] advanced Skip local-tagspecdirectivetag1.3-mod
735Y Spec Example 8.20. Block Node Types advanced Pass commentdoublespecfoldedtag
74H7 Tags in Implicit Mapping advanced Pass tagmapping
7BMT Node and Mapping Key Anchors [1.3] advanced Skip anchorcommentmapping1.3-mod
7BUB Spec Example 2.10. Node for “Sammy Sosa” appears twice in this document advanced Pass mappingsequencespecalias
7FWL Spec Example 6.24. Verbatim Tags advanced Pass mappingspectagunknown-tag
7W2P Block Mapping with Missing Values advanced Pass explicit-keymapping
8MK2 Explicit Non-Specific Tag advanced Skip tag1.3-err
8XYN Anchor with unicode character advanced Pass anchor
9KAX Various combinations of tags and anchors advanced Skip anchormapping1.3-errtag
9WXW Spec Example 6.18. Primary Tag Handle advanced Skip local-tagspecdirectivetagunknown-tag1.3-err
A2M4 Spec Example 6.2. Indentation Indicators advanced Pass explicit-keyspeclibyaml-errindentwhitespacesequenceupto-1.2
BU8L Node Anchor and Tag on Seperate Lines advanced Skip anchorindent1.3-errtag
C4HZ Spec Example 2.24. Global Tags advanced Pass spectagaliasdirectivelocal-tag
CC74 Spec Example 6.20. Tag Handles advanced Pass specdirectivetagunknown-tag
CN3R Various location of anchors in flow sequence advanced Pass anchorflowmappingsequence
CT4Q Spec Example 7.20. Single Pair Explicit Entry advanced Pass explicit-keyspecflowmapping
CUP7 Spec Example 5.6. Node Property Indicators advanced Pass local-tagspectagalias
DFF7 Spec Example 7.16. Flow Mapping Entries advanced Pass explicit-keyspecflowmapping
E76Z Aliases in Implicit Block Mapping advanced Pass mappingalias
EHF6 Tags for Flow Objects advanced Pass tagflowmappingsequence
F2C7 Anchors and Tags advanced Pass anchortag
FH7J Tags on Empty Scalars advanced Pass tagscalar
FRK4 Spec Example 7.3. Completely Empty Flow Nodes advanced Pass empty-keyexplicit-keyspecflowmapping
FTA2 Single block sequence with anchor and explicit document start advanced Pass anchorheadersequence
GH63 Mixed Block Mapping (explicit to implicit) advanced Pass explicit-keymapping
HMQ5 Spec Example 6.23. Node Properties advanced Pass spectagalias
J7PZ Spec Example 2.26. Ordered Mappings advanced Pass specmappingtagunknown-tag
JS2J Spec Example 6.29. Node Anchors advanced Pass specalias
JTV5 Block Mapping with Multiline Scalars advanced Pass explicit-keymappingscalar
KK5P Various combinations of explicit block mappings advanced Pass explicit-keymappingsequence
KSS4 Scalars on --- line advanced Skip anchorheaderscalar1.3-err
L94M Tags in Explicit Mapping advanced Pass explicit-keytagmapping
LE5A Spec Example 7.24. Flow Nodes advanced Pass spectagalias
LX3P Implicit Flow Mapping Key on one line advanced Skip complex-keymappingflowsequence1.3-err
M5C3 Spec Example 8.21. Block Scalar Nodes advanced Skip indentspecliteralfoldedtaglocal-tag1.3-err
M5DY Spec Example 2.11. Mapping between Sequences advanced Pass complex-keyexplicit-keyspecmappingsequence
P76L Spec Example 6.19. Secondary Tag Handle advanced Pass specheadertagunknown-tag
PW8X Anchors on Empty Scalars advanced Pass anchorexplicit-key
Q9WF Spec Example 6.12. Separation Spaces advanced Skip complex-keyflowspeccommentwhitespace1.3-err
RR7F Mixed Block Mapping (implicit to explicit) advanced Pass explicit-keymapping
RZP5 Various Trailing Comments [1.3] advanced Skip anchorcommentfoldedmapping1.3-mod
S4JQ Spec Example 6.28. Non-Specific Tags advanced Pass spectag
S9E8 Spec Example 5.3. Block Structure Indicators advanced Pass explicit-keyspecmappingsequence
SBG9 Flow Sequence in Flow Mapping advanced Pass complex-keysequencemappingflow
SKE5 Anchor before zero indented sequence advanced Pass anchorindentsequence
U3C3 Spec Example 6.16. “TAG” directive advanced Pass specheadertag
U3XV Node and Mapping Key Anchors advanced Skip anchorcomment1.3-err
UGM3 Spec Example 2.27. Invoice advanced Pass spectagliteralmappingsequencealiasunknown-tag
V55R Aliases in Block Sequence advanced Pass aliassequence
V9D5 Spec Example 8.19. Compact Block Mappings advanced Pass complex-keyexplicit-keyspecmapping
W5VH Allowed characters in alias advanced Skip alias1.3-err
WZ62 Spec Example 7.2. Empty Content advanced Pass specflowscalartag
X38W Aliases in Flow Objects advanced Pass aliascomplex-keyflow
X8DW Explicit key and value seperated by comment advanced Pass commentexplicit-keymapping
XW4D Various Trailing Comments advanced Skip commentexplicit-keyfolded1.3-err
Y2GN Anchor with colon in the middle advanced Pass anchor
Z67P Spec Example 8.21. Block Scalar Nodes [1.3] advanced Skip indentspecliteralfoldedtaglocal-tag1.3-mod
Z9M4 Spec Example 6.22. Global Tag Prefix advanced Pass specheadertagunknown-tag
ZH7C Anchors in Mapping advanced Pass anchormapping
ZWK4 Key with anchor after missing explicit mapping value advanced Pass anchorexplicit-keymapping