← Back to Coverage Index

flow Tests — lean4-yaml-verified

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

Unique Tests

46

Passed

43

Failed

0

Expected Fail

3

Unexpected Pass

0

Skipped (1.3)

0

Timeout

0

Correct

46/46
(100.0%)

Coverage by Stage

scalar
0/0 correct (0.0%) · 0 pass, 0 fail, 0 exp-fail, 0 unexp-pass, 0 timeout
flow
46/46 correct (100.0%) · 43 pass, 0 fail, 3 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 46 of 46
ID Name Stage Outcome Tags Error
4ABK Flow Mapping Separate Values flow Pass flowmapping
4MUZ Flow mapping colon on line after key flow Pass flowmapping
4RWC Trailing spaces after flow collection flow Pass flowwhitespace
54T7 Flow Mapping flow Pass flowmapping
58MP Flow mapping edge cases flow Pass edgeflowmapping
5C5M Spec Example 7.15. Flow Mappings flow Pass specflowmapping
5KJE Spec Example 7.13. Flow Sequence flow Pass specflowsequence
5MUD Colon and adjacent value on next line flow Pass doubleflowmapping
5T43 Colon at the beginning of adjacent flow scalar flow Pass flowmappingscalar
652Z Question mark at start of flow key flow Pass flow
6HB6 Spec Example 6.1. Indentation Spaces flow Pass commentflowspecindentupto-1.2whitespace
7TMG Comment in flow sequence before comma flow Pass commentflowsequence
7ZZ5 Empty flow collections flow Pass flowmappingsequence
87E4 Spec Example 7.8. Single Quoted Implicit Keys flow Pass specflowsequencemapping
8KB6 Multiline plain flow mapping key without value flow Pass flowmapping
8UDB Spec Example 7.14. Flow Sequence Entries flow Pass specflowsequence
9BXH Multiline doublequoted flow mapping key without value flow Pass doubleflowmapping
9MMW Single Pair Implicit Entries flow Pass flowmappingsequence
9SA2 Multiline double quoted flow mapping key flow Pass doubleflowmapping
C2DT Spec Example 7.18. Flow Mapping Adjacent Values flow Pass specflowmapping
CFD4 Empty implicit key in single pair flow sequences flow Pass empty-keyflowsequence
D88J Flow Sequence in Block Mapping flow Pass flowsequencemapping
DBG4 Spec Example 7.10. Plain Characters flow Pass specflowsequencescalar
DHP8 Flow Sequence flow Pass flowsequence
F3CP Nested flow collections on one line flow Pass flowmappingsequence
FUP4 Flow Sequence in Flow Sequence flow Pass sequenceflow
G5U8 Plain dashes in flow sequence flow Expected Fail flowsequence
HM87 Scalars in flow start with syntax char flow Pass flowscalar
JR7V Question marks in scalars flow Pass flowscalar
K3WX Colon and adjacent value after comment on next line flow Pass commentflowmapping
L9U5 Spec Example 7.11. Plain Implicit Keys flow Pass specflowmapping
LP6E Whitespace After Scalars in Flow flow Pass flowscalarwhitespace
LQZ7 Spec Example 7.4. Double Quoted Implicit Keys flow Pass specscalarflow
M7NX Nested flow collections flow Pass flowmappingsequence
MXS3 Flow Mapping in Block Sequence flow Pass mappingsequenceflow
NJ66 Multiline plain flow mapping key flow Pass flowmapping
Q5MG Tab at beginning of line followed by a flow mapping flow Pass flowwhitespace
Q88A Spec Example 7.23. Flow Content flow Pass specflowsequencemapping
QF4Y Spec Example 7.19. Single Pair Flow Mappings flow Pass specflowmapping
R52L Nested flow mapping sequence and mappings flow Pass flowmappingsequence
UDM2 Plain URL in flow mapping flow Pass flowscalar
UDR7 Spec Example 5.4. Flow Collection Indicators flow Pass specflowsequencemapping
VJP3 Flow collections over many lines flow Expected Fail flowindent
YJV2 Dash in flow sequence flow Expected Fail flowsequence
ZF4X Spec Example 2.6. Mapping of Mappings flow Pass flowspecmapping
ZK9H Nested top level flow mapping flow Pass flowindentmappingsequence