← Back to Coverage Index

scalar Tests — lean4-yaml-verified

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

Unique Tests

82

Passed

57

Failed

0

Expected Fail

1

Unexpected Pass

0

Skipped (1.3)

24

Timeout

0

Correct

58/58
(100.0%)

Coverage by Stage

scalar
58/58 correct (100.0%) · 57 pass, 0 fail, 1 exp-fail, 0 unexp-pass · 24 YAML 1.3 skipped, 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
0/0 correct (0.0%) · 0 pass, 0 fail, 0 exp-fail, 0 unexp-pass, 0 timeout
Showing 82 of 82
ID Name Stage Outcome Tags Error
2EBW Allowed characters in keys scalar Pass mappingscalar
2G84 Literal modifers scalar Expected Fail literalscalar
36F6 Multiline plain scalar with empty line scalar Pass mappingscalar
3MYT Plain Scalar looking like key, comment, anchor and tag scalar Pass scalar
3RLN Leading tabs in double quoted scalar Pass doublewhitespace
3UYS Escaped slash in double quotes scalar Pass double
4CQQ Spec Example 2.18. Multi-line Flow Scalars scalar Pass specscalar
4GC6 Spec Example 7.7. Single Quoted Characters scalar Skip specscalar1.3-err
4Q9F Folded Block Scalar [1.3] scalar Skip foldedscalar1.3-modwhitespace
4QFQ Spec Example 8.2. Block Indentation Indicator [1.3] scalar Skip specliteralfoldedscalarlibyaml-err1.3-modwhitespace
4UYU Colon in Double Quoted String scalar Skip mappingscalar1.3-err
4V8U Plain scalar with backslashes scalar Pass scalar
4WA9 Literal scalars scalar Pass indentliteral
4ZYM Spec Example 6.4. Line Prefixes scalar Pass specscalarliteraldoubleupto-1.2whitespace
5BVJ Spec Example 5.7. Block Scalar Indicators scalar Pass specliteralfoldedscalar
5GBF Spec Example 6.5. Empty Lines scalar Pass doubleliteralspecscalarupto-1.2whitespace
6FWR Block Scalar Keep scalar Pass literalscalarwhitespace
6H3V Backslashes in singlequotes scalar Pass scalarsingle
6JQW Spec Example 2.13. In literals, newlines are preserved scalar Pass specscalarliteralcomment
6SLA Allowed characters in quoted mapping key scalar Pass mappingsingledouble
6VJK Spec Example 2.15. Folded newlines are preserved for "more indented" and blank lines scalar Pass specfoldedscalar1.3-err
6WPF Spec Example 6.8. Flow Folding [1.3] scalar Skip doublespecwhitespacescalar1.3-mod
753E Block Scalar Strip [1.3] scalar Skip literalscalar1.3-modwhitespace
7A4E Spec Example 7.6. Double Quoted Lines scalar Pass specscalarupto-1.2whitespace
7T8X Spec Example 8.10. Folded Lines - 8.13. Final Empty Lines scalar Pass specfoldedscalarcomment1.3-err
82AN Three dashes and content without space scalar Skip scalar1.3-err
8CWC Plain mapping key ending with colon scalar Pass mappingscalar
8G76 Spec Example 6.10. Comment Lines scalar Pass speccommentemptyscalarwhitespace
93WF Spec Example 6.6. Line Folding [1.3] scalar Skip foldedspecwhitespacescalar1.3-mod
96L6 Spec Example 2.14. In the folded scalars, newlines become spaces scalar Pass specfoldedscalar
96NN Leading tab content in literals scalar Pass indentliteralwhitespace
9MQT Scalar doc with '...' in content scalar Pass doublescalar
9SHH Spec Example 5.8. Quoted Scalar Indicators scalar Pass specscalar
9TFX Spec Example 7.6. Double Quoted Lines [1.3] scalar Skip doublespecscalarwhitespace1.3-mod
9YRD Multiline Scalar at Top Level scalar Skip scalarwhitespace1.3-err
A6F9 Spec Example 8.4. Chomping Final Line Break scalar Pass specliteralscalar
A984 Multiline Scalar in Mapping scalar Pass scalar
AB8U Sequence entry that looks like two with wrong indentation scalar Pass scalarsequence
B3HG Spec Example 8.9. Folded Scalar [1.3] scalar Skip specfoldedscalar1.3-mod
CPZ3 Doublequoted scalar starting with a tab scalar Pass doublescalar
D83L Block scalar indicator order scalar Pass indentliteral
DE56 Trailing tabs in double quoted scalar Pass doublewhitespace
DK3J Zero indented block scalar with line that looks like a comment scalar Pass commentfoldedscalar
DWX9 Spec Example 8.8. Literal Content scalar Skip specliteralscalarcommentwhitespace1.3-err
EX5H Multiline Scalar at Top Level [1.3] scalar Skip scalarwhitespace1.3-mod
EXG3 Three dashes and content without space [1.3] scalar Skip scalar1.3-mod
F6MC More indented lines at the beginning of folded block scalars scalar Pass foldedindent
F8F9 Spec Example 8.5. Chomping Trailing Lines scalar Pass specliteralscalarcomment
FBC9 Allowed characters in plain scalars scalar Pass scalar
FP8R Zero indented block scalar scalar Pass foldedindentscalar
G4RS Spec Example 2.17. Quoted Scalars scalar Pass specscalar
G992 Spec Example 8.9. Folded Scalar scalar Skip specfoldedscalar1.3-err
H2RW Blank lines scalar Pass commentliteralscalarwhitespace
H3Z8 Literal unicode scalar Pass scalar
HMK4 Spec Example 2.16. Indentation determines scope scalar Pass specfoldedliteral
HS5T Spec Example 7.12. Plain Lines scalar Pass specscalarwhitespaceupto-1.2
JEF9 Trailing whitespace in streams scalar Pass literal
K527 Spec Example 6.6. Line Folding scalar Skip foldedspecwhitespacescalar1.3-err
K858 Spec Example 8.6. Empty Scalar Chomping scalar Pass specfoldedliteralwhitespace
KH5V Inline tabs in double quoted scalar Pass doublewhitespace
M29M Literal Block Scalar scalar Pass literalscalarwhitespace
M9B4 Spec Example 8.7. Literal Scalar scalar Pass specliteralscalarwhitespace1.3-err
MJS9 Spec Example 6.7. Block Folding scalar Pass foldedspecscalarwhitespace1.3-err
MYW6 Block Scalar Strip scalar Skip literalscalarwhitespace1.3-err
MZX3 Non-Specific Tags on Scalars scalar Pass foldedscalar
NAT4 Various empty or newline only quoted strings scalar Pass doublescalarsinglewhitespace
NB6Z Multiline plain value with tabs on empty lines scalar Pass scalarwhitespace
NP9H Spec Example 7.5. Double Quoted Line Breaks scalar Pass doublespecscalarwhitespaceupto-1.2
P2AD Spec Example 8.1. Block Scalar Header scalar Pass specliteralfoldedcommentscalar
PRH3 Spec Example 7.9. Single Quoted Lines scalar Pass singlespecscalarwhitespaceupto-1.2
Q8AD Spec Example 7.5. Double Quoted Line Breaks [1.3] scalar Skip doublespecscalarwhitespace1.3-mod
R4YG Spec Example 8.2. Block Indentation Indicator scalar Pass specliteralfoldedscalarwhitespacelibyaml-errupto-1.2
S7BG Colon followed by comma scalar Pass scalar
SSW6 Spec Example 7.7. Single Quoted Characters [1.3] scalar Skip specscalarsingle1.3-mod
SYW4 Spec Example 2.2. Mapping Scalars to Scalars scalar Pass specscalarcomment
T26H Spec Example 8.8. Literal Content [1.3] scalar Skip specliteralscalarcommentwhitespace1.3-mod
T4YY Spec Example 7.9. Single Quoted Lines [1.3] scalar Skip singlespecscalarwhitespace1.3-mod
T5N4 Spec Example 8.7. Literal Scalar [1.3] scalar Skip specliteralscalarwhitespace1.3-mod
TL85 Spec Example 6.8. Flow Folding scalar Pass doublespecwhitespacescalarupto-1.2
TS54 Folded Block Scalar scalar Skip foldedscalar1.3-err
W42U Spec Example 8.15. Block Sequence Entry Types scalar Pass commentspecliteralsequence
XV9V Spec Example 6.5. Empty Lines [1.3] scalar Skip literalspecscalar1.3-mod