diff --git a/website/resources/scripts/testcases/15.12.xml b/website/resources/scripts/testcases/15.12.xml index bae35aecdb..cb9c8957fb 100644 --- a/website/resources/scripts/testcases/15.12.xml +++ b/website/resources/scripts/testcases/15.12.xml @@ -2,7 +2,7 @@ -
+
@@ -38,6 +38,16 @@ + + + + + + + + + + @@ -48,7 +58,18 @@ + + + + + + + + + + + diff --git a/website/resources/scripts/testcases/15.2.3.10.xml b/website/resources/scripts/testcases/15.2.3.10.xml index 0b51674ec1..6c6546afdc 100644 --- a/website/resources/scripts/testcases/15.2.3.10.xml +++ b/website/resources/scripts/testcases/15.2.3.10.xml @@ -2,10 +2,40 @@ -
+
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
\ No newline at end of file diff --git a/website/resources/scripts/testcases/15.2.3.12.xml b/website/resources/scripts/testcases/15.2.3.12.xml index ae55dc366a..ce17e065b7 100644 --- a/website/resources/scripts/testcases/15.2.3.12.xml +++ b/website/resources/scripts/testcases/15.2.3.12.xml @@ -2,10 +2,34 @@ -
+
+ + + + + + + + + + + + + + + + + + + + + + + + @@ -26,6 +50,7 @@ + @@ -33,5 +58,6 @@ +
\ No newline at end of file diff --git a/website/resources/scripts/testcases/15.2.3.13.xml b/website/resources/scripts/testcases/15.2.3.13.xml index 87555f26af..bbe64d35b8 100644 --- a/website/resources/scripts/testcases/15.2.3.13.xml +++ b/website/resources/scripts/testcases/15.2.3.13.xml @@ -2,10 +2,14 @@ -
+
+ + + + @@ -21,6 +25,13 @@ + + + + + + + diff --git a/website/resources/scripts/testcases/15.2.3.14.xml b/website/resources/scripts/testcases/15.2.3.14.xml index 459417b94e..733a02da12 100644 --- a/website/resources/scripts/testcases/15.2.3.14.xml +++ b/website/resources/scripts/testcases/15.2.3.14.xml @@ -2,7 +2,7 @@ -
+
@@ -16,10 +16,42 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
\ No newline at end of file diff --git a/website/resources/scripts/testcases/15.2.3.8.xml b/website/resources/scripts/testcases/15.2.3.8.xml index c3d20e4b36..94a0891357 100644 --- a/website/resources/scripts/testcases/15.2.3.8.xml +++ b/website/resources/scripts/testcases/15.2.3.8.xml @@ -2,9 +2,49 @@ -
+
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
\ No newline at end of file diff --git a/website/resources/scripts/testcases/15.2.3.9.xml b/website/resources/scripts/testcases/15.2.3.9.xml index d3b982c432..f10978926b 100644 --- a/website/resources/scripts/testcases/15.2.3.9.xml +++ b/website/resources/scripts/testcases/15.2.3.9.xml @@ -2,9 +2,50 @@ -
+
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
\ No newline at end of file diff --git a/website/resources/scripts/testcases/15.4.3.xml b/website/resources/scripts/testcases/15.4.3.xml index b11f9422f0..6aa75e4fec 100644 --- a/website/resources/scripts/testcases/15.4.3.xml +++ b/website/resources/scripts/testcases/15.4.3.xml @@ -2,7 +2,7 @@ -
+
@@ -10,5 +10,22 @@ + + + + + + + + + + + + + + + + +
\ No newline at end of file diff --git a/website/resources/scripts/testcases/15.4.4.14.xml b/website/resources/scripts/testcases/15.4.4.14.xml index eff9e73bea..2becdae015 100644 --- a/website/resources/scripts/testcases/15.4.4.14.xml +++ b/website/resources/scripts/testcases/15.4.4.14.xml @@ -2,7 +2,7 @@ -
+
@@ -12,6 +12,7 @@ + @@ -21,12 +22,14 @@ + + @@ -121,6 +124,7 @@ + @@ -130,21 +134,55 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -157,5 +195,6 @@ +
\ No newline at end of file diff --git a/website/resources/scripts/testcases/15.4.4.15.xml b/website/resources/scripts/testcases/15.4.4.15.xml index 61ee37c3c2..95c65b056c 100644 --- a/website/resources/scripts/testcases/15.4.4.15.xml +++ b/website/resources/scripts/testcases/15.4.4.15.xml @@ -2,7 +2,7 @@ -
+
@@ -12,6 +12,7 @@ + @@ -26,6 +27,7 @@ + @@ -117,6 +119,7 @@ + @@ -126,21 +129,55 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -153,6 +190,8 @@ + +
\ No newline at end of file diff --git a/website/resources/scripts/testcases/15.4.4.16.xml b/website/resources/scripts/testcases/15.4.4.16.xml index 4b93d74c7a..4ee5e6686a 100644 --- a/website/resources/scripts/testcases/15.4.4.16.xml +++ b/website/resources/scripts/testcases/15.4.4.16.xml @@ -2,7 +2,7 @@ -
+
@@ -26,6 +26,7 @@ + @@ -68,6 +69,7 @@ + @@ -87,6 +89,7 @@ + @@ -102,19 +105,55 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -154,6 +193,8 @@ + + diff --git a/website/resources/scripts/testcases/15.4.4.17.xml b/website/resources/scripts/testcases/15.4.4.17.xml index aff1b9e45e..2b4d6a9806 100644 --- a/website/resources/scripts/testcases/15.4.4.17.xml +++ b/website/resources/scripts/testcases/15.4.4.17.xml @@ -2,7 +2,7 @@ -
+
@@ -26,6 +26,7 @@ + @@ -68,6 +69,7 @@ + @@ -88,9 +90,11 @@ + + @@ -103,18 +107,54 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -154,6 +194,8 @@ + + diff --git a/website/resources/scripts/testcases/15.4.4.18.xml b/website/resources/scripts/testcases/15.4.4.18.xml index 9dcc754557..fcb58380b7 100644 --- a/website/resources/scripts/testcases/15.4.4.18.xml +++ b/website/resources/scripts/testcases/15.4.4.18.xml @@ -2,7 +2,7 @@ -
+
@@ -26,6 +26,7 @@ + @@ -68,6 +69,7 @@ + @@ -88,9 +90,11 @@ + + @@ -104,18 +108,53 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -140,6 +179,7 @@ + diff --git a/website/resources/scripts/testcases/15.4.4.19.xml b/website/resources/scripts/testcases/15.4.4.19.xml index 15c22fd756..e940478c46 100644 --- a/website/resources/scripts/testcases/15.4.4.19.xml +++ b/website/resources/scripts/testcases/15.4.4.19.xml @@ -2,7 +2,7 @@ -
+
@@ -26,6 +26,7 @@ + @@ -68,6 +69,7 @@ + @@ -88,6 +90,7 @@ + @@ -106,18 +109,54 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/website/resources/scripts/testcases/15.4.4.20.xml b/website/resources/scripts/testcases/15.4.4.20.xml index fe5a6b1378..5765c401a4 100644 --- a/website/resources/scripts/testcases/15.4.4.20.xml +++ b/website/resources/scripts/testcases/15.4.4.20.xml @@ -2,7 +2,7 @@ -
+
@@ -30,6 +30,7 @@ + @@ -68,6 +69,7 @@ + @@ -88,6 +90,7 @@ + @@ -95,6 +98,7 @@ + @@ -115,18 +119,54 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -172,6 +212,7 @@ + diff --git a/website/resources/scripts/testcases/15.4.4.21.xml b/website/resources/scripts/testcases/15.4.4.21.xml index c86f8ddc4f..2cc5f2e432 100644 --- a/website/resources/scripts/testcases/15.4.4.21.xml +++ b/website/resources/scripts/testcases/15.4.4.21.xml @@ -2,7 +2,7 @@ -
+
@@ -34,6 +34,7 @@ + @@ -72,6 +73,7 @@ + @@ -104,19 +106,43 @@ + + + + + + + + + + + + + + + + + + + + + + + + @@ -132,21 +158,71 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -175,6 +251,7 @@ + diff --git a/website/resources/scripts/testcases/15.4.4.22.xml b/website/resources/scripts/testcases/15.4.4.22.xml index 1c2494b155..b4bf2ab050 100644 --- a/website/resources/scripts/testcases/15.4.4.22.xml +++ b/website/resources/scripts/testcases/15.4.4.22.xml @@ -2,7 +2,7 @@ -
+
@@ -34,6 +34,7 @@ + @@ -72,6 +73,7 @@ + @@ -104,19 +106,43 @@ + + + + + + + + + + + + + + + + + + + + + + + + @@ -131,21 +157,71 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -174,6 +250,7 @@ + diff --git a/website/resources/scripts/testcases/15.5.xml b/website/resources/scripts/testcases/15.5.xml index fe51625c91..64e6414dfd 100644 --- a/website/resources/scripts/testcases/15.5.xml +++ b/website/resources/scripts/testcases/15.5.xml @@ -2,7 +2,7 @@ -
+
@@ -12,6 +12,74 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/website/resources/scripts/testcases/chapter07.xml b/website/resources/scripts/testcases/chapter07.xml index 026fa3bd32..8720153e9e 100644 --- a/website/resources/scripts/testcases/chapter07.xml +++ b/website/resources/scripts/testcases/chapter07.xml @@ -2,7 +2,7 @@ -
+
@@ -131,6 +131,42 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
\ No newline at end of file diff --git a/website/resources/scripts/testcases/testcaseslist.xml b/website/resources/scripts/testcases/testcaseslist.xml index 8758e61992..dede199cf7 100644 --- a/website/resources/scripts/testcases/testcaseslist.xml +++ b/website/resources/scripts/testcases/testcaseslist.xml @@ -1,4 +1,4 @@ - + resources/scripts/testcases/07_Lexical_Conventions.xml resources/scripts/testcases/08_Types.xml resources/scripts/testcases/09_Type_Conversion.xml