Error XTDE0410 as expected
Error XTDE0410 as expected
Error XTDE0410 as expected
Error XTSE0010 as expected
Error XPTY0004 as expected
Error XPTY0004 as expected
Error XTRE0540 as expected
Error XTSE0090 as expected
Expected XTTE0505 got FORG0001
Error XTSE1590 as expected
Error XTSE1590 as expected
Error XTSE1600 as expected
Error XTSE1580 as expected
Error XTRE0540 as expected
Error XTRE0540 as expected
Error XTRE0540 as expected
Error XTRE0540 as expected
Error XTRE0540 as expected
Error XTRE0540 as expected
Error XTSE0010 as expected
Error XTSE0010 as expected
Error XTSE0010 as expected
Error XTSE0010 as expected
Error XTDE0420 as expected
Error XTDE0410 as expected
Error XTDE0410 as expected
Error XTDE1030 as expected
Error FORG0008 as expected
Error XTDE1340 as expected
Error XTDE1350 as expected
Error XTDE1350 as expected
Error XTDE1350 as expected
Error XTDE1350 as expected
Error XTDE1350 as expected
Error XTDE1350 as expected
Error XTDE1340 as expected
Error XTDE1350 as expected
Error XTDE1350 as expected
Error XTDE1350 as expected
Error XTDE1350 as expected
Error XTDE1350 as expected
Error XTDE1350 as expected
Error XTDE1350 as expected
Error XTDE1350 as expected
Error XTDE1340 as expected
Error XTSE0090 as expected
Error XTSE0120 as expected
Error XPST0003 as expected
Error XPST0003 as expected
Error XPST0003 as expected
Error XPST0003 as expected
Error XPST0003 as expected
Error XPST0003 as expected
Error XTSE0810 as expected
Error XTTE0570 as expected
Error XPST0003 as expected
Error XPST0003 as expected
Error XPST0017 as expected
Expected XTSE0010 got XTSE0805
Error XPST0003 as expected
Expected XPST0003 got XPST0008
Error XPST0003 as expected
Error XPST0003 as expected
Error XPST0003 as expected
Error XPST0017 as expected
Error XTSE0010 as expected
Error XTDE0440 as expected
Error XPTY0004 as expected
Error XPST0003 as expected
Error XPST0081 as expected
Error XPST0081 as expected
Error XPST0081 as expected
Error XPDY0002 as expected
Error XPST0003 as expected
Error XPST0003 as expected
Error XPST0003 as expected
Error XPST0003 as expected
Error XPST0003 as expected
Error XPST0003 as expected
Error XTDE0560 as expected
Error XTDE0560 as expected
Error XTSE0660 as expected
Error XTSE0010 as expected
Error XTSE0090 as expected
Error XTSE0808 as expected
Expected XTSE0280 got XTSE0808
Expected got XTSE0165
Error XTSE0010 as expected
Error XTSE0090 as expected
Error XTSE0010 as expected
Error XTSE0010 as expected
Error XTTE0520 as expected
Error XTSE0280 as expected
Error XTSE0090 as expected
Error XTSE0010 as expected
Error XTSE0010 as expected
Error XTSE0650 as expected
Error XTSE0090 as expected
Error XTSE0010 as expected
Expected XTSE0280 got XTSE0650
Error XTSE0010 as expected
Expected XTSE0090 got XTSE0010
Error XTSE0010 as expected
Error XTSE0010 as expected
Error XTSE0010 as expected
Error XTSE0010 as expected
Error XTSE0010 as expected
Error XTSE0020 as expected
Error XTSE1290 as expected
Error XTSE0010 as expected
Error XTDE1280 as expected
Error XTSE0020 as expected
Error XTDE1280 as expected
Error XTDE0820 as expected
Expected XTDE0820 got XTDE0280
Expected XTDE0820 got XTDE0410
Error XTDE1260 as expected
Error XTDE1260 as expected
Error XTDE1260 as expected
Expected XTSE0020 got XTSE0280
Error XTSE0280 as expected
Error XTSE0010 as expected
Error XTSE0090 as expected
Error XTSE0010 as expected
Error XTSE0010 as expected
Error XTSE0010 as expected
Error XTSE0710 as expected
Error XTSE0720 as expected
Error XTSE0720 as expected
Error XTSE0710 as expected
Error XTSE0020 as expected
Error XTSE0010 as expected
Error XTSE0340 as expected
Error XTDE0640 as expected
Error XTSE0090 as expected
Error XTSE0010 as expected
Expected XTSE0090 got XTSE0010
Error XTSE0165 as expected
Error XTSE0165 as expected
Error XTSE0260 as expected
Error XTSE0170 as expected
Error XTSE0180 as expected
Error XTSE0180 as expected
Error XTSE0180 as expected
Error XTSE0165 as expected
Error XTSE0010 as expected
Error XTSE0165 as expected
Error XTSE0165 as expected
Error XTSE0260 as expected
Expected XTSE0010 got XTSE0190
Error XTSE0210 as expected
Error XTSE0210 as expected
Error XTSE0210 as expected
Error XTSE0200 as expected
Error XTSE0165 as expected
Error XTSE0500 as expected
Expected XTSE0280 got XTSE0550
Error XTSE0340 as expected
Error XTSE0010 as expected
Error XTSE0090 as expected
Error XTSE0280 as expected
Error XTSE0660 as expected
Error XTSE0660 as expected
Error XTSE0010 as expected
Error XTSE0010 as expected
Error XTSE0340 as expected
Expected XTSE0280 got XTSE0550
Error XTSE0280 as expected
Error XTSE0280 as expected
Error XTSE0650 as expected
Error XTSE0010 as expected
Error XTSE0010 as expected
Error XTSE0010 as expected
Error XTSE0010 as expected
Error XTSE0670 as expected
Error XTSE0670 as expected
Error XTSE0010 as expected
Error XTSE0010 as expected
Error XTTE0520 as expected
Error XTSE0280 as expected
Error XTSE0010 as expected
Error XTSE0670 as expected
Error XTSE0090 as expected
Error XTSE0010 as expected
Error XTSE0020 as expected
Error XTSE0010 as expected
Error XTSE0010 as expected
Error XTSE0630 as expected
Error XTSE0010 as expected
Error XTSE0620 as expected
Error XTSE0010 as expected
Error XTSE0010 as expected
Expected XPST0003 got XPST0008
Error XTDE0640 as expected
Error XTDE0640 as expected
Error XTSE0120 as expected
Error XTSE0010 as expected
Expected got XTSE0340
Error XTSE0630 as expected
Error XTSE0010 as expected
Error XTSE0010 as expected
Error XTSE0010 as expected
Error XPTY0019 as expected
Expected XPST0003 got XPST0008
Expected XTTE0570 got XPDY0050
Expected XTTE0570 got XPDY0050
Expected XTTE0570 got XPDY0050
Expected XTTE0570 got XPST0017
Error FORG0001 as expected
Expected XPDE0640 got XTDE0640
Error XTDE0640 as expected
Error XTDE0640 as expected
Error XTDE0640 as expected
Error FORX0002 as expected
Error XTDE1450 as expected
Error FOAR0001 as expected
Expected FORG0007 got FORG0006
Error FOER0000 as expected
Error XPTY0004 as expected
Error XTSE0010 as expected
Expected FORG007 got FORG0006
Error XPTY0004 as expected
Error XPTY0004 as expected
Error XPTY0004 as expected
Error XPTY0004 as expected
Expected XTSE1460 got XTDE1460
Error XTSE0165 as expected
Error XTSE0010 as expected
Error XTSE0010 as expected
Error XTSE0010 as expected
Error FOAR0001 as expected
Error XPDY0002 as expected
Error XPDY0002 as expected
Error XPTY0020 as expected
Error XTTE0520 as expected
Error XPTY0004 as expected
Error XPTY0020 as expected
Error XTTE0570 as expected
Error XTSE0350 as expected
Expected error FODC0005 reported and recovered
Error XTDE1490 as expected
Error XTDE0420 as expected
Error XTSE0010 as expected
Error XTSE0020 as expected
Error XTDE0030 as expected
Error XTDE0040 as expected
Error XTDE0050 as expected
Error XTDE0060 as expected
Error XPDY0002 as expected
Error XTSE0080 as expected
Error XTSE0090 as expected
Error XTSE0110 as expected
Error XTSE0120 as expected
Error XTSE0125 as expected
Error XTSE0130 as expected
Error XTSE0200 as expected
Error XTSE0150 as expected
Error XTSE0165 as expected
Error XTSE0165 as expected
Error XTSE0170 as expected
Error XTSE0180 as expected
Error XTSE0180 as expected
Error XTSE0180 as expected
Error XTSE0190 as expected
Error XTSE0200 as expected
Error XTSE0210 as expected
Error XTSE0210 as expected
Error XTSE0210 as expected
Error XTSE0220 as expected
Error XTSE0260 as expected
Error XTSE0260 as expected
Error XTSE0265 as expected
Error XTRE0270 as expected
Error XTSE0280 as expected
Error XTSE0340 as expected
Error XTSE0350 as expected
Error XTSE0370 as expected
Error XTDE0410 as expected
Error XTDE0420 as expected
Error XTDE0430 as expected
Error XTDE0440 as expected
Expected XTDE0485 got XTTE1510
Error XTSE0500 as expected
Error XTSE0500 as expected
Error XTSE0500 as expected
Error XTTE0510 as expected
Error XTTE0520 as expected
Error XTSE0530 as expected
Error XTRE0540 as expected
Error XTSE0550 as expected
Error XTSE0550 as expected
Error XTSE0550 as expected
Error XTSE0550 as expected
Error XTSE0550 as expected
Error XTDE0560 as expected
Error XTDE0560 as expected
Error XTTE0570 as expected
Error XTSE0580 as expected
Error XTSE0580 as expected
Error XTTE0590 as expected
Error XTTE0600 as expected
Error XTDE0610 as expected
Error XTDE0610 as expected
Error XTSE0620 as expected
Error XTSE0630 as expected
Error XTDE0640 as expected
Error XTSE0650 as expected
Error XTSE0660 as expected
Error XTSE0670 as expected
Error XTSE0680 as expected
Error XTSE0690 as expected
Error XTDE0700 as expected
Error XTSE0710 as expected
Error XTSE0710 as expected
Error XTSE0720 as expected
Error XTSE0720 as expected
Error XTSE0740 as expected
Error XTSE0760 as expected
Error XTSE0760 as expected
Error XTSE0770 as expected
Error XTTE0780 as expected
Expected XTTE0790 got XPTY0004
Error XTSE0805 as expected
Error XTSE0808 as expected
Error XTSE0809 as expected
Error XTSE0810 as expected
Error XTSE0812 as expected
Error XTDE0820 as expected
Error XTDE0830 as expected
Error XTDE0835 as expected
Error XTSE0840 as expected
Error XTDE0850 as expected
Error XTDE0855 as expected
Error XTDE0860 as expected
Error XTDE0865 as expected
Error XTSE0870 as expected
Error XTSE0880 as expected
Error XTDE0890 as expected
Error XTDE0890 as expected
Error XTDE0905 as expected
Error XTSE0910 as expected
Error XTDE0920 as expected
Error XTDE0920 as expected
Error XTDE0925 as expected
Error XTDE0925 as expected
Error XTDE0930 as expected
Error XTSE0940 as expected
Error XTTE0950 as expected
Error XTTE0950 as expected
Error XTSE0975 as expected
Error XTSE0975 as expected
Error XTSE0975 as expected
Error XTSE0975 as expected
Error XTDE0980 as expected
Error XTTE0990 as expected
Error XTTE1000 as expected
Error XTSE1015 as expected
Error XTSE1017 as expected
Error XTTE1020 as expected
Error XTDE1030 as expected
Error XTDE1035 as expected
Error XTSE1040 as expected
Error XTSE1060 as expected
Error XTSE1070 as expected
Error XTSE1080 as expected
Error XTSE1080 as expected
Error XTSE1080 as expected
Error XTSE1090 as expected
Error XTTE1100 as expected
Error XTTE1100 as expected
Error XTDE1110 as expected
Error XTTE1120 as expected
Error XTSE1130 as expected
Error XTDE1140 as expected
Error XTDE1145 as expected
Error XTDE1150 as expected
Error XTRE1160 as expected
Expected XTDE1170 got XTDE1200
Expected XTDE1190 got XTDE1200
Error XTDE1200 as expected
Error XTSE1205 as expected
Error XTSE1205 as expected
Error XTSE1210 as expected
Error XTSE1210 as expected
Error XTDE1260 as expected
Error XTDE1260 as expected
Error XTDE1270 as expected
Error XTDE1270 as expected
Error XTDE1270 as expected
Error XTDE1280 as expected
Error XTSE1290 as expected
Error XTSE1295 as expected
Error XTSE1295 as expected
Error XTSE1300 as expected
Error XTSE1300 as expected
Error XTSE1300 as expected
Error XTDE1310 as expected
Error XTDE1310 as expected
Error XTDE1310 as expected
Error XTDE1310 as expected
Error XTDE1310 as expected
Error XTDE1310 as expected
Error XTDE1310 as expected
Error XTDE1310 as expected
Error XTDE1310 as expected
Error XTDE1340 as expected
Error XTDE1350 as expected
Error XTDE1360 as expected
Error XTDE1370 as expected
Error XTDE1370 as expected
Error XTDE1380 as expected
Error XTDE1380 as expected
Error XTDE1390 as expected
Error XTDE1390 as expected
Error XTDE1390 as expected
Error XTDE1400 as expected
Error XTDE1400 as expected
Error XTSE1430 as expected
Error XTDE1440 as expected
Error XTDE1440 as expected
Expected XTDE1450 got XTSE0010
Error XTDE1450 as expected
Error XTDE1460 as expected
Error XTDE1460 as expected
Error XTDE1460 as expected
Error XTDE1480 as expected
Error XTDE1480 as expected
Error XTDE1490 as expected
Error XTDE1490 as expected
Error XTRE1500 as expected
Error XTSE1505 as expected
Error XTSE1505 as expected
Error XTTE1510 as expected
Expected XTTE1510 got FORG0001
Error XTTE1512 as expected
Error XTTE1515 as expected
Error XTSE1520 as expected
Error XTSE1520 as expected
Error XTSE1520 as expected
Error XTSE1530 as expected
Error XTTE1540 as expected
Error XTTE1545 as expected
Error XTTE1550 as expected
Error XTTE1550 as expected
Error XTTE1555 as expected
Error XTTE1555 as expected
Error XTTE1555 as expected
Error XTSE1560 as expected
Error XTSE1560 as expected
Error XTSE1570 as expected
Error XTSE1580 as expected
Error XTSE1590 as expected
Error XTSE1600 as expected
Error XPTY0018 as expected
Error XPTY0018 as expected
Error XTDE1400 as expected
Expected XTDE1400 got XTDE0290
Expected XTDE1420 got XPST0008
Error XTSE0770 as expected
Error XTTE0780 as expected
Error XTSE0090 as expected
Expected XTTE0790 got XPTY0004
Error XTTE0570 as expected
Error XTSE0080 as expected
Error XPTY0004 as expected
Expected XTSE0010 got XPST0003
Expected XTSE0020 got XPST0003
Expected XTSE0080 got XPST0017
Error XTSE0020 as expected
Error XTSE0010 as expected
Error XTSE0010 as expected
Expected XTSE0080 got XPST0017
Expected XTSE0080 got XPST0003
Error XTTE1120 as expected
Error XTSE1060 as expected
Error XTSE1070 as expected
Error XTSE1080 as expected
Error XTSE1080 as expected
Error XTSE1090 as expected
Error XTTE1100 as expected
Error XTRE0540 as expected
Error XTRE0540 as expected
Error XTSE0010 as expected
Expected XTSE0010 got XTSE0090
Error XTSE0010 as expected
Expected XTSE0010 got XTSE0090
Error XTRE0540 as expected
Error XTDE0050 as expected
Error XTDE1260 as expected
Error XTDE1260 as expected
Error XTSE0805 as expected
Error XTSE0805 as expected
Error XTDE0820 as expected
Error XTSE0340 as expected
Error XTSE0340 as expected
Error XTSE0020 as expected
Error XTRE0540 as expected
Expected XTRE1495 got XTDE1490
Expected XTRE1495 got XTDE1490
Expected XTRE1495 got XTDE1490
Error XTDE0040 as expected
Error XTDE0040 as expected
Error XTSE0080 as expected
Error XTDE0040 as expected
Error XTDE0060 as expected
Expected XTDE0290 got XTDE0860
Error XTSE0010 as expected
Error XTDE0830 as expected
Error XTDE0830 as expected
Error XTDE0820 as expected
Error XTDE0820 as expected
Error XTDE0820 as expected
Error XTDE0830 as expected
Error XTDE0830 as expected
Error XTDE0830 as expected
Error XTDE0430 as expected
Error XTDE0430 as expected
Error XTDE0820 as expected
Error XTSE0690 as expected
Error XTTE0570 as expected
Error XTDE0980 as expected
Error XTDE0980 as expected
Error XTSE1300 as expected
Error XTDE1310 as expected
Error XTSE1290 as expected
Error XTSE1300 as expected
Error XTDE1310 as expected
Error XTSE0020 as expected
Error XTSE1295 as expected
requires disable-output-escaping=off
requires disable-output-escaping=off
requires recovery from error SESU0007
Error SESU0007 as expected
requires recovery from error SESU0007
Error SESU0007 as expected
Error XTSE0010 as expected
Error SEPM0004 as expected
Error SEPM0004 as expected
Error SESU0007 as expected
Error SESU0007 as expected
Error SEPM0009 as expected
Error SEPM0009 as expected
Error SEPM0010 as expected
Error SESU0011 as expected
Error SESU0011 as expected
Error SESU0011 as expected
Error SESU0011 as expected
Expected SERE0012 got SESU0011
Error SESU0013 as expected
Error SERE0014 as expected
Error SERE0015 as expected
Expected SEPM0016 got XTSE0020
Expected SEPM0016 got XTSE0020
Expected SEPM0016 got XTSE0020
Expected SEPM0016 got XTSE0020
Expected SEPM0016 got XTSE0020
Expected SEPM0016 got XTSE0020
Expected SEPM0016 got XTSE0020
Error FORX0004 as expected
Error FORX0004 as expected
Error FORX0004 as expected
Error FORX0004 as expected
Error XPTY0020 as expected
Error XTSE1130 as expected
Error FORX0003 as expected
Error FORX0003 as expected
Error FORG0002 as expected
Error FORG0002 as expected
Error FORG0001 as expected
Error XTTE1540 as expected
Error XTTE1540 as expected
Error XTTE1540 as expected
Error XTTE1540 as expected
Error XTTE1540 as expected
Error XTTE1515 as expected
Error XTTE1515 as expected
Error XTTE1515 as expected
Error XTTE1515 as expected
Expected XTTE1510 got XTTE1540
Error XTTE1515 as expected
Error XTTE1515 as expected
Expected XTTE1510 got XTTE1540
Expected XTTE1510 got XTTE1540
Expected XTTE1510 got XTTE1540
Expected XTTE1510 got XTTE1540
Error XTTE1515 as expected
Error XTTE1515 as expected
Expected XTTE1510 got XTTE1515
Expected XTTE1510 got XTTE1515
Error XTTE1540 as expected
Error XTTE1515 as expected
Error XTTE1515 as expected
Error XTTE1510 as expected
Error XTTE1510 as expected
Error XTTE1510 as expected
Error XTTE1510 as expected
Error XTTE1510 as expected
Error XTTE1510 as expected
Error XTTE1510 as expected
Error XTTE1510 as expected
Error XTTE1510 as expected
Error XTTE1510 as expected
Error XTTE1510 as expected
Error XTTE1555 as expected
Error XTTE1510 as expected
Expected XTTE1545 got FORG0001
Expected XTTE1515 got FORG0001
Error XTTE1545 as expected
Error XTTE1545 as expected
Error XTTE1545 as expected
Error XTTE1545 as expected
Error XTTE1545 as expected
Error XTTE1550 as expected
Error XTTE1550 as expected
Error XTTE1550 as expected
Error XTTE1550 as expected
Expected XPST0003 got FONS0004
Error XPTY0004 as expected
Error XPTY0004 as expected
Expected XPTY0004 got XTTE0505
Error XTTE1512 as expected
Error XTTE1510 as expected
Expected XPTY0004 got XTTE0505
Expected XTTE1510 got XTTE1540
Error XTTE1510 as expected
Error XTTE1510 as expected
Error XTTE1510 as expected
Error XTTE1510 as expected
Error XTTE1510 as expected
Error XTTE1510 as expected
Error XTTE1510 as expected
Error XTTE1510 as expected
Error XPTY0004 as expected
Error XPTY0004 as expected
Error XTTE1540 as expected
Expected XTTE1520 got XTSE1520
Expected XTTE1520 got XTSE1520
Expected XTTE1520 got XTSE1520
Error XTTE1540 as expected
Expected XTTE1510 got XTTE1515
Error XTTE1550 as expected
Error XTTE1550 as expected
Error XTTE1515 as expected
Expected XTTE1510 got XTTE1515
Expected XTTE1510 got XTTE1515
Error XTSE1650 as expected
Error XPDY0050 as expected
Error XTSE1660 as expected
Expected XTSE1660 got XTTE1512
Error XTSE1660 as expected
Error XTSE1660 as expected
Expected XTSE1660 got XTTE1512
Error XTSE1660 as expected
Error XTSE1660 as expected
Expected XTTE1510 got XTTE1540
Error XTSE0265 as expected
Error XTSE0010 as expected
Error XTTE0570 as expected
Error XTTE0570 as expected
Error XTTE0570 as expected
Error XTTE0570 as expected
Error XTSE0010 as expected
Expected XPTY0004 got XTTE0505
Expected XPTY0004 got XTTE0505
Error XPDY0050 as expected
Error XPDY0050 as expected
Error XTSE0010 as expected
Error XTSE0010 as expected
Error XTSE0010 as expected
Error XTSE0010 as expected
Error XTSE0010 as expected
Error XTSE0020 as expected
Error XTSE0020 as expected
Expected XPTY0004 got FORG0005
Expected XPTY0004 got FORG0005
Expected XPTY0004 got FORG0005
Expected XPTY0004 got FORG0004
Error FOCA0002 as expected
Error FOCA0002 as expected
Error FONS0004 as expected
Error XPTY0004 as expected
Error XTTE0520 as expected
Error FORG0001 as expected
Error FORG0001 as expected
Error XPTY0004 as expected
Error XPTY0004 as expected
Error XPST0051 as expected
Error XPTY0004 as expected
Error XPTY0004 as expected
Error FORG0001 as expected
Expected XPST0083 got XPTY0004
Expected XPTY0004 got XTTE0505
Expected XPTY0004 got XTTE0505
Expected XPTY0004 got XTTE0505
Expected XPTY0004 got XTTE0505
Expected XPTY0004 got XTTE0505
Error XPDY0002 as expected
Expected XPST0003 got XPST0008
Error XPST0003 as expected
Error XPST0003 as expected
Expected XPST0003 got XPST0017
Error FODC0005 as expected
Expected XTSE0010 got XTSE0090
Expected XTSE0010 got XTSE0805
Error XTSE0110 as expected
Error XTSE0580 as expected
Error XTDE0050 as expected
Error XTTE0570 as expected
Expected XPTY0004 got XTTE0590
Error XTDE0700 as expected
Expected XPTY0004 got XTTE0590
Error FORG0001 as expected
Error XTTE0570 as expected
Error XTTE0570 as expected
Error XTSE0680 as expected
Error XTSE0010 as expected
Error XTSE0010 as expected
Error XTSE0010 as expected
Error XTDE0050 as expected
Error XTSE0010 as expected
Error XTSE0090 as expected
Error XTSE0090 as expected
Error XTDE0060 as expected
Error XTMM9000 as expected
Error XTMM9000 as expected
Error XTSE0340 as expected
Error SERE0005 as expected
Error SERE0006 as expected
requires backwards-compatibility=off
Expected result wrong, bug 643
Expected result wrong, bug 650
Expected result wrong, bug 651
Expected result wrong, bug 652, see also spec bug 3417
Expected result wrong, bug 653
Expected result wrong, bug 654
Expected result wrong, bug 655
Alternative result permissible, bug 642