← Back to Coverage Index

block Tests — lean4-yaml-verified

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

Unique Tests

99

Passed

84

Failed

0

Expected Fail

15

Unexpected Pass

0

Skipped (1.3)

0

Timeout

0

Correct

99/99
(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
99/99 correct (100.0%) · 84 pass, 0 fail, 15 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 99 of 99
ID ↕ Name ↕ Stage ↕ Outcome ↕ Tags ↕ Error ↕
229Q Spec Example 2.4. Sequence of Mappings block Pass sequencemappingspec
2G84 block Expected Fail
2G84 block Pass
2G84 block Pass
2JQS Block Mapping with Missing Keys block Pass duplicate-keymappingempty-key
3ALJ Block Sequence in Block Sequence block Pass sequence
3RLN block Pass
3RLN block Pass
3RLN block Pass
3RLN block Pass
3RLN block Pass
4MUZ block Pass
4MUZ block Pass
5NYZ Spec Example 6.9. Separated Comment block Pass mappingspeccomment
65WH Single Entry Block Sequence block Pass sequence
6BCT Spec Example 6.3. Separation Spaces block Pass speclibyaml-errsequencewhitespaceupto-1.2
6CA3 Tab indented top flow block Pass indentwhitespace
8QBE Block Sequence in Block Mapping block Pass mappingsequence
93JH Block Mappings in Block Sequence block Pass mappingsequence
96NN block Pass
98YD Spec Example 5.5. Comment Indicator block Pass speccommentempty
9FMG Multi-level Mapping Indent block Pass mappingindent
9J7A Simple Mapping Indent block Pass simplemappingindent
9MQT block Expected Fail
9U5K Spec Example 2.12. Compact Nested Mapping block Pass specmappingsequence
AVM7 Empty Stream block Pass edge
AZ63 Sequence With Same Indentation as Parent Mapping block Pass indentmappingsequence
AZW3 Lookahead test cases block Pass mappingedge
D9TU Single Pair Block Mapping block Pass simplemapping
DC7X Various trailing tabs block Pass commentwhitespace
DE56 block Pass
DE56 block Pass
DE56 block Pass
DE56 block Pass
DE56 block Pass
DK95 Tabs that look like indentation block Pass indentwhitespace
DK95 block Expected Fail
DK95 block Pass
DK95 block Pass
DK95 block Pass
DK95 block Pass
DK95 block Expected Fail
DK95 block Pass
DK95 block Pass
FQ7F Spec Example 2.1. Sequence of Scalars block Pass specsequence
HM87 block Pass
J3BT Spec Example 5.12. Tabs and Spaces block Pass specwhitespaceupto-1.2
J5UC Multiple Pair Block Mapping block Pass mapping
J7VC Empty Lines Between Mapping Elements block Pass whitespacemapping
J9HZ Spec Example 2.9. Single Document with Two Comments block Pass mappingsequencespeccomment
JEF9 block Pass
JEF9 block Pass
JKF3 Multiline unidented double quoted block key block Expected Fail indent
JQ4R Spec Example 8.14. Block Sequence block Pass mappingspecsequence
K4SU Multiple Entry Block Sequence block Pass sequence
KH5V block Pass
KH5V block Pass
KMK3 Block Submapping block Pass mapping
L24T Trailing line of spaces block Pass whitespace
L24T block Pass
L383 Two scalar docs with trailing comments block Pass comment
M2N8 Question mark edge cases block Pass edgeempty-key
M2N8 block Pass
M6YH Block sequence indentation block Pass indent
MUS6 block Expected Fail
MUS6 block Pass
MUS6 block Pass
MUS6 block Pass
MUS6 block Pass
MUS6 block Pass
NHX8 Empty Lines at End of Document block Pass empty-keywhitespace
NKF9 Empty keys in block and flow mapping block Pass empty-keymapping
P94K Spec Example 6.11. Multi-Line Comments block Pass speccomment
PBJ2 Spec Example 2.3. Mapping Scalars to Sequences block Pass specmappingsequence
RLU9 Sequence Indent block Pass sequenceindent
S3PD Spec Example 8.18. Implicit Block Mapping Entries block Pass empty-keyspecmapping
SM9W Single character streams block Pass sequence
SM9W block Pass mapping
TE2A Spec Example 8.16. Block Mappings block Pass specmapping
UKK6 Syntax character edge cases block Pass edgeempty-key
UKK6 block Pass
UKK6 block Pass
UV7Q Legal tab after indentation block Pass indentwhitespace
VJP3 block Pass
Y79Y Tabs in various contexts block Expected Fail whitespace
Y79Y block Pass
Y79Y block Pass
Y79Y block Expected Fail
Y79Y block Expected Fail
Y79Y block Expected Fail
Y79Y block Expected Fail
Y79Y block Expected Fail
Y79Y block Expected Fail
Y79Y block Expected Fail
Y79Y block Pass
YD5X Spec Example 2.5. Sequence of Sequences block Pass specsequence
ZYU8 block Pass
ZYU8 block Expected Fail
ZYU8 block Pass