← Back to Coverage Index

document Tests — lean4-yaml-verified

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

Unique Tests

24

Passed

15

Failed

0

Expected Fail

2

Unexpected Pass

0

Skipped (1.3)

7

Timeout

0

Correct

17/17
(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
17/17 correct (100.0%) · 15 pass, 0 fail, 2 exp-fail, 0 unexp-pass · 7 YAML 1.3 skipped, 0 timeout
advanced
0/0 correct (0.0%) · 0 pass, 0 fail, 0 exp-fail, 0 unexp-pass, 0 timeout
error
0/0 correct (0.0%) · 0 pass, 0 fail, 0 exp-fail, 0 unexp-pass, 0 timeout
Showing 24 of 24
ID ↕ Name ↕ Stage ↕ Outcome ↕ Tags ↕ Error ↕
27NA Spec Example 5.9. Directive Indicator document Skip specdirective1.3-err
2LFX Spec Example 6.13. Reserved Directives [1.3] document Skip specdirectiveheaderdouble1.3-mod
6LVF Spec Example 6.13. Reserved Directives document Skip specdirectiveheaderdouble1.3-err
6XDY Two document start markers document Pass header
6ZKB Spec Example 9.6. Stream document Skip specheader1.3-err
7Z25 Bare document after document end marker document Pass footer
9DXL Spec Example 9.6. Stream [1.3] document Skip specheader1.3-mod
BEC7 Spec Example 6.14. “YAML” directive document Pass specdirective
H7TQ Extra words on %YAML directive document Expected Fail directive
HWV9 Document-end marker document Pass footer
JHB9 Spec Example 2.7. Two Documents in a Stream document Pass specheader
K54U Tab after document header document Pass headerwhitespace
M7A3 Spec Example 9.3. Bare Documents document Skip specfooter1.3-err
MUS6 Directive variants document Expected Fail directive
PUW8 Document start on last line document Pass header
QT73 Comment and document-end marker document Pass commentfooter
RTP8 Spec Example 9.2. Document Markers document Pass specheaderfooter
RZT7 Spec Example 2.28. Log File document Pass specheaderliteralmappingsequence
S4T7 Document with footer document Pass mappingfooter
U9NS Spec Example 2.8. Play by Play Feed from a Game document Pass specheader
UT92 Spec Example 9.4. Explicit Documents document Pass flowspecheaderfootercomment
W4TN Spec Example 9.5. Directives Documents document Skip specheaderfooter1.3-err
XLQ9 Multiline scalar that looks like a YAML directive document Pass directivescalar
ZYU8 Directive variants document Pass directive