Legend:    
        
passed     
        
almost passed
(≥ 98%)
    
        
failed     
        
untested
Implementations
Tests BaseX 7.7
XQ30
EMC/xDB xDB_main_r2411365
XQ30
Saxon-EE 9.5.1.1
XP20
Saxon-EE 9.5.1.1
XQ10
Saxon-EE 9.5.1.1
XP30
Saxon-EE 9.5.1.1
XQ30
Saxon-EE 9.5.1.4
XQX30
(QT3 v1.1)
XmlPrime 3.0.0.0
XP30
(QT3 vCVS)
XmlPrime 3.0.0.0
XQ30
(QT3 vCVS)
XmlPrime 3.0.0.0
XQX30
(QT3 vCVS)
XmlPrime 3.0.0.0
XP20
(QT3 vCVS)
XmlPrime 3.0.0.0
XQX10
(QT3 vCVS)
XmlPrime 3.0.0.0
XQ10
(QT3 vCVS)
Zorba 2.9
XQ10
(QT3 vCVS)
Zorba 2.9
XQ30
(QT3 vCVS)
prod-CastExpr.derived 154/155 154/155 0/0 155/155 151/151 155/155 155/155 154/151 155/155 155/155 0/0 155/155 155/155 155/155 155/155 1/15
    cast-derived-1[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-derived-2[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-derived-3[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-derived-4[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-derived-5[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-derived-6[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-derived-7[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-derived-8[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-derived-9[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-derived-10[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-derived-11[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-derived-12[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-derived-13[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-derived-14[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-derived-15[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-derived-16[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-derived-17[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-derived-18[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-derived-19[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-derived-20[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-derived-21[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-to-parent-1[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-to-parent-2[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-to-parent-3[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-to-parent-4[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-to-parent-5[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-to-parent-6[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-to-parent-7[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-to-parent-8[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-to-parent-9[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-to-parent-10[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-to-parent-11[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-to-parent-12[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-to-parent-13[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-to-parent-14[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-to-parent-15[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-to-parent-16[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-to-parent-17[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-to-parent-18[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-to-parent-19[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-to-parent-20[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-to-parent-21[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-within-1[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-within-2[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-within-3[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-within-4[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-within-5[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-within-6[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-within-7[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-within-8[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-within-9[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-within-10[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-within-11[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-within-12[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-within-13[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-within-14[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-within-15[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-within-16[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-within-17[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-within-18[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-within-19[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-within-20[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cast-within-21[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-derived-001[+] no result pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    cbcl-cast-byte-001[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-byte-002[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-byte-003[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-byte-004[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-date-001[+] pass wrongError

expected: FODT0001 actualCode: FOCA0002

pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-date-002[+] pass wrongError

expected: FODT0001 actualCode: FOCA0002

pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-dateTime-001[+] pass wrongError

expected: FODT0001 actualCode: FOCA0002

pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-dateTime-002[+] pass wrongError

expected: FODT0001 actualCode: FOCA0002

pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-dayTimeDuration-001[+] pass wrongError

expected: FODT0002 actualCode: FOCA0002

pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-dayTimeDuration-002[+] pass wrongError

expected: FODT0002 actualCode: FOCA0002

pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-decimal-001[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-decimal-002[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-decimal-003[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-decimal-004[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-duration-001[+] pass wrongError

expected: FODT0002 actualCode: FOCA0002

pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-duration-002[+] pass wrongError

expected: FODT0002 actualCode: FOCA0002

pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-entity-001[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-entity-002[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-id-001[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-id-002[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-idref-001[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-idref-002[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-int-001[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-int-002[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-int-003[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-int-004[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-integer-001[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-integer-002[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-integer-003[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-integer-004[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-language-001[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-long-001[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-long-002[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-long-003[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-long-004[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-name-001[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-name-002[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-ncname-001[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-ncname-002[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-negativeInteger-001[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-negativeInteger-002[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-nmtoken-001[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    cbcl-cast-nmtoken-001b[+] no result n/a no result n/a

notXP20

n/a

notXQ10

n/a

notXP30

n/a

notXQ30

pass n/a n/a n/a n/a n/a n/a

Dependency (type=spec, value=XP10+, satisfied=true) was not met.

n/a

Dependency (type=spec, value=XP10+, satisfied=true) was not met.

    cbcl-cast-nmtoken-002[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-nonNegativeInteger-001[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-nonNegativeInteger-002[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-nonPositiveInteger-001[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-nonPositiveInteger-002[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-normalizedString-001[+] pass fail pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    cbcl-cast-normalizedString-001b[+] no result n/a no result n/a

notXP20

n/a

notXQ10

n/a

notXP30

n/a

notXQ30

pass n/a n/a n/a n/a n/a n/a

Dependency (type=spec, value=XP10+, satisfied=true) was not met.

n/a

Dependency (type=spec, value=XP10+, satisfied=true) was not met.

    cbcl-cast-positiveInteger-001[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-positiveInteger-002[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-short-001[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-short-002[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-short-003[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-short-004[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-token-001[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    cbcl-cast-token-001b[+] no result n/a no result n/a

notXP20

n/a

notXQ10

n/a

notXP30

n/a

notXQ30

pass n/a n/a n/a n/a n/a n/a

Dependency (type=spec, value=XP10+, satisfied=true) was not met.

n/a

Dependency (type=spec, value=XP10+, satisfied=true) was not met.

    cbcl-cast-unsignedByte-001[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-unsignedByte-002[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-unsignedByte-003[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-unsignedByte-004[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-unsignedInt-001[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-unsignedInt-002[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-unsignedInt-003[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-unsignedInt-004[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-unsignedLong-001[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-unsignedLong-002[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-unsignedLong-003[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-unsignedLong-004[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-unsignedShort-001[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-unsignedShort-002[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-unsignedShort-003[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-unsignedShort-004[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-yearMonthDuration-001[+] pass wrongError

expected: FODT0002 actualCode: FOCA0002

pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-yearMonthDuration-002[+] pass wrongError

expected: FODT0002 actualCode: FOCA0002

pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-date-003[+] pass wrongError

expected: FODT0001 actualCode: FOCA0002

pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-date-004[+] pass wrongError

expected: FORG0001 actualCode: FOCA0002

wrongError

Expected error:FORG0001, got err:FODT0001

n/a

notXP20

wrongError

Expected error:FORG0001, got err:FODT0001

wrongError

Expected error:FORG0001, got err:FODT0001

wrongError

Expected error:FORG0001, got err:FODT0001

pass pass pass n/a pass pass wrongError

Expected error: FORG0001. Found error: FODT0001

wrongError

Expected error: FORG0001. Found error: FODT0001

    cbcl-cast-dateTime-003[+] pass wrongError

expected: FODT0001 actualCode: FOCA0002

pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-dateTime-004[+] pass wrongError

expected: FORG0001 actualCode: FOCA0002

wrongError

Expected error:FORG0001, got err:FODT0001

n/a

notXP20

wrongError

Expected error:FORG0001, got err:FODT0001

wrongError

Expected error:FORG0001, got err:FODT0001

wrongError

Expected error:FORG0001, got err:FODT0001

pass pass pass n/a pass pass wrongError

Expected error: FORG0001. Found error: FODT0001

wrongError

Expected error: FORG0001. Found error: FODT0001

    cbcl-cast-nonNegativeInteger-003[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-nonPositiveInteger-003[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-unsignedByte-005[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-unsignedInt-005[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-unsignedLong-005[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-unsignedShort-005[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-gYear-001[+] pass wrongError

expected: FODT0001 actualCode: FOCA0002

pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass wrongError

Expected error: FODT0001. Found error: FORG0001

wrongError

Expected error: FODT0001. Found error: FORG0001

    cbcl-cast-gYearMonth-001[+] pass wrongError

expected: FODT0001 actualCode: FOCA0002

pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass wrongError

Expected error: FODT0001. Found error: FORG0001

wrongError

Expected error: FODT0001. Found error: FORG0001

    cbcl-cast-gYearMonth-002[+] pass wrongError

expected: FORG0001 actualCode: FOCA0002

pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-gYear-002[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-gYear-003[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-gYearMonth-003[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-cast-gYearMonth-004[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass
    cbcl-case-anyUri-001[+] pass pass pass n/a

notXP20

pass pass pass pass pass pass n/a pass pass pass pass