Test results covering change: Sequence type subtype relationships moved from Formal Semantics

Change id: sequence-type-relationships

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)
    instanceof121[+] pass pass pass n/a

notXP20

n/a

notXQ10

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

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

pass
    instanceof122[+] pass pass pass n/a

notXP20

n/a

notXQ10

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

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

pass
    instanceof123[+] pass pass pass n/a

notXP20

n/a

notXQ10

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

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

pass
    instanceof124[+] pass pass pass n/a

notXP20

n/a

notXQ10

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

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

pass
    instanceof125[+] pass pass pass n/a

notXP20

n/a

notXQ10

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

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

pass
    instanceof126[+] pass pass pass n/a

notXP20

n/a

notXQ10

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

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

pass
    instanceof127[+] pass pass pass n/a

notXP20

n/a

notXQ10

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

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

pass
    instanceof128[+] pass pass pass n/a

notXP20

n/a

notXQ10

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

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

pass
    instanceof129[+] pass pass pass n/a

notXP20

n/a

notXQ10

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

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

pass
    instanceof130[+] pass fail pass n/a

notXP20

n/a

notXQ10

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

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

pass
    instanceof131[+] pass fail pass n/a

notXP20

n/a

notXQ10

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

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

pass
    instanceof132[+] pass pass pass n/a

notXP20

n/a

notXQ10

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

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

pass
    instanceof133[+] pass pass pass n/a

notXP20

n/a

notXQ10

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

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

pass
    instanceof134[+] pass pass pass n/a

notXP20

n/a

notXQ10

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

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

pass
    instanceof135[+] no result pass pass n/a

notXP20

n/a

notXQ10

n/a

notXP30

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

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

pass
    instanceof136[+] no result pass pass n/a

notXP20

n/a

notXQ10

n/a

notXP30

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

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

pass
    instanceof137[+] no result pass pass n/a

notXP20

n/a

notXQ10

n/a

notXP30

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

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

pass
    instanceof138[+] no result fail pass n/a

notXP20

n/a

notXQ10

n/a

notXP30

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

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

pass
    instanceof139[+] no result fail pass n/a

notXP20

n/a

notXQ10

n/a

notXP30

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

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

fail
    instanceof140[+] no result pass pass n/a

notXP20

n/a

notXQ10

n/a

notXP30

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

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

fail
    instanceof141[+] no result fail pass n/a

notXP20

n/a

notXQ10

n/a

notXP30

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

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

pass