Merge pull request #307 from bocoup/remove-fail

Remove `$FAIL` function

harness/$FAIL.js

@@ -1,3 +0,0 @@
-function $FAIL(message) {
-    testFailed(message);
-}

test/built-ins/Array/S15.4.3_A2.2.js

@@ -5,12 +5,11 @@
 info: The length property of Array does not have the attribute DontDelete
 es5id: 15.4.3_A2.2
 description: Checking use hasOwnProperty, delete
-includes: [$FAIL.js]
 ---*/
 
 //CHECK#1
 if (Array.hasOwnProperty('length') !== true) {
-  $FAIL('#1: Array.hasOwnProperty(\'length\') === true. Actual: ' + (Array.hasOwnProperty('length')));
+  $ERROR('#1: Array.hasOwnProperty(\'length\') === true. Actual: ' + (Array.hasOwnProperty('length')));
 }
 
 delete Array.length;

test/built-ins/Array/prototype/S15.4.3.1_A1.js

@@ -5,10 +5,9 @@
 info: The Array has property prototype
 es5id: 15.4.3.1_A1
 description: Checking use hasOwnProperty
-includes: [$FAIL.js]
 ---*/
 
 //CHECK#1
 if (Array.hasOwnProperty('prototype') !== true) {
-	$FAIL('#1: Array.hasOwnProperty(\'prototype\') === true. Actual: ' + (Array.hasOwnProperty('prototype')));
+	$ERROR('#1: Array.hasOwnProperty(\'prototype\') === true. Actual: ' + (Array.hasOwnProperty('prototype')));
 }

test/built-ins/Array/prototype/S15.4.3.1_A3.js

@@ -5,12 +5,12 @@
 info: The Array.prototype property has the attribute DontDelete
 es5id: 15.4.3.1_A3
 description: Checking if deleting the Array.prototype property fails
-includes: [$FAIL.js, propertyHelper.js]
+includes: [propertyHelper.js]
 ---*/
 
 //CHECK#1
 if (Array.hasOwnProperty('prototype') !== true) {
-	$FAIL('#1: Array.hasOwnProperty(\'prototype\') === true. Actual: ' + (Array.hasOwnProperty('prototype')));
+	$ERROR('#1: Array.hasOwnProperty(\'prototype\') === true. Actual: ' + (Array.hasOwnProperty('prototype')));
 }
 
 verifyNotConfigurable(Array, "prototype");

test/built-ins/Array/prototype/concat/S15.4.4.4_A4.2.js

@@ -5,12 +5,11 @@
 info: The length property of concat does not have the attribute DontDelete
 es5id: 15.4.4.4_A4.2
 description: Checking use hasOwnProperty, delete
-includes: [$FAIL.js]
 ---*/
 
 //CHECK#1
 if (Array.prototype.concat.hasOwnProperty('length') !== true) {
-  $FAIL('#1: Array.prototype.concat.hasOwnProperty(\'length\') === true. Actual: ' + (Array.prototype.concat.hasOwnProperty('length')));
+  $ERROR('#1: Array.prototype.concat.hasOwnProperty(\'length\') === true. Actual: ' + (Array.prototype.concat.hasOwnProperty('length')));
 }
 
 delete Array.prototype.concat.length;

test/built-ins/Array/prototype/join/S15.4.4.5_A6.2.js

@@ -5,12 +5,11 @@
 info: The length property of join does not have the attribute DontDelete
 es5id: 15.4.4.5_A6.2
 description: Checking use hasOwnProperty, delete
-includes: [$FAIL.js]
 ---*/
 
 //CHECK#1
 if (Array.prototype.join.hasOwnProperty('length') !== true) {
-  $FAIL('#1: Array.prototype.join.hasOwnProperty(\'length\') === true. Actual: ' + (Array.prototype.join.hasOwnProperty('length')));
+  $ERROR('#1: Array.prototype.join.hasOwnProperty(\'length\') === true. Actual: ' + (Array.prototype.join.hasOwnProperty('length')));
 }
 
 delete Array.prototype.join.length;

test/built-ins/Array/prototype/pop/S15.4.4.6_A5.2.js

@@ -5,12 +5,11 @@
 info: The length property of pop does not have the attribute DontDelete
 es5id: 15.4.4.6_A5.2
 description: Checking use hasOwnProperty, delete
-includes: [$FAIL.js]
 ---*/
 
 //CHECK#1
 if (Array.prototype.pop.hasOwnProperty('length') !== true) {
-  $FAIL('#1: Array.prototype.pop.hasOwnProperty(\'length\') === true. Actual: ' + (Array.prototype.pop.hasOwnProperty('length')));
+  $ERROR('#1: Array.prototype.pop.hasOwnProperty(\'length\') === true. Actual: ' + (Array.prototype.pop.hasOwnProperty('length')));
 }
 
 delete Array.prototype.pop.length;

test/built-ins/Array/prototype/push/S15.4.4.7_A6.2.js

@@ -5,12 +5,11 @@
 info: The length property of push does not have the attribute DontDelete
 es5id: 15.4.4.7_A6.2
 description: Checking use hasOwnProperty, delete
-includes: [$FAIL.js]
 ---*/
 
 //CHECK#1
 if (Array.prototype.push.hasOwnProperty('length') !== true) {
-  $FAIL('#1: Array.prototype.push.hasOwnProperty(\'length\') === true. Actual: ' + (Array.prototype.push.hasOwnProperty('length')));
+  $ERROR('#1: Array.prototype.push.hasOwnProperty(\'length\') === true. Actual: ' + (Array.prototype.push.hasOwnProperty('length')));
 }
 
 delete Array.prototype.push.length;

test/built-ins/Array/prototype/reverse/S15.4.4.8_A5.2.js

@@ -5,12 +5,11 @@
 info: The length property of reverse does not have the attribute DontDelete
 es5id: 15.4.4.8_A5.2
 description: Checking use hasOwnProperty, delete
-includes: [$FAIL.js]
 ---*/
 
 //CHECK#1
 if (Array.prototype.reverse.hasOwnProperty('length') !== true) {
-  $FAIL('#1: Array.prototype.reverse.hasOwnProperty(\'length\') === true. Actual: ' + (Array.prototype.reverse.hasOwnProperty('length')));
+  $ERROR('#1: Array.prototype.reverse.hasOwnProperty(\'length\') === true. Actual: ' + (Array.prototype.reverse.hasOwnProperty('length')));
 }
 
 delete Array.prototype.reverse.length;

test/built-ins/Array/prototype/shift/S15.4.4.9_A5.2.js

@@ -5,12 +5,11 @@
 info: The length property of shift does not have the attribute DontDelete
 es5id: 15.4.4.9_A5.2
 description: Checking use hasOwnProperty, delete
-includes: [$FAIL.js]
 ---*/
 
 //CHECK#1
 if (Array.prototype.shift.hasOwnProperty('length') !== true) {
-  $FAIL('#1: Array.prototype.shift.hasOwnProperty(\'length\') === true. Actual: ' + (Array.prototype.shift.hasOwnProperty('length')));
+  $ERROR('#1: Array.prototype.shift.hasOwnProperty(\'length\') === true. Actual: ' + (Array.prototype.shift.hasOwnProperty('length')));
 }
 
 delete Array.prototype.shift.length;

test/built-ins/Array/prototype/slice/S15.4.4.10_A3_T1.js

@@ -5,7 +5,6 @@
 info: Check ToLength(length) for non Array objects
 es5id: 15.4.4.10_A3_T1
 description: length = 4294967296
-includes: [$FAIL.js]
 ---*/
 
 var obj = {};
@@ -16,7 +15,7 @@ obj.length = 4294967296;
 
 try {
   var arr = obj.slice(0,4294967296);
-  $FAIL('#1: var obj = {}; obj.slice = Array.prototype.slice; obj[0] = "x"; obj[4294967295] = "y"; obj.length = 4294967296; var arr = obj.slice(0,4294967296); lead to throwing exception. Actual: '+arr);
+  $ERROR('#1: var obj = {}; obj.slice = Array.prototype.slice; obj[0] = "x"; obj[4294967295] = "y"; obj.length = 4294967296; var arr = obj.slice(0,4294967296); lead to throwing exception. Actual: '+arr);
 } catch (e) {
   if (!(e instanceof RangeError)) {
     $ERROR('#1.1: var obj = {}; obj.slice = Array.prototype.slice; obj[0] = "x"; obj[4294967295] = "y"; obj.length = 4294967296; var arr = obj.slice(0,4294967296); lead to throwing exception. Exception is instance of RangeError. Actual: exception is '+e);

test/built-ins/Array/prototype/slice/S15.4.4.10_A3_T2.js

@@ -5,7 +5,6 @@
 info: Check ToLength(length) for non Array objects
 es5id: 15.4.4.10_A3_T2
 description: length = 4294967297
-includes: [$FAIL.js]
 ---*/
 
 var obj = {};
@@ -16,7 +15,7 @@ obj.length = 4294967297;
 
 try {
   var arr = obj.slice(0,4294967297);
-  $FAIL('#1: var obj = {}; obj.slice = Array.prototype.slice; obj[0] = "x"; obj[4294967296] = "y"; obj.length = 4294967297; var arr = obj.slice(0,4294967297); lead to throwing exception. Actual: '+arr);
+  $ERROR('#1: var obj = {}; obj.slice = Array.prototype.slice; obj[0] = "x"; obj[4294967296] = "y"; obj.length = 4294967297; var arr = obj.slice(0,4294967297); lead to throwing exception. Actual: '+arr);
 } catch (e) {
   if (!(e instanceof RangeError)) {
     $ERROR('#1.1: var obj = {}; obj.slice = Array.prototype.slice; obj[0] = "x"; obj[4294967296] = "y"; obj.length = 4294967297; var arr = obj.slice(0,4294967297); lead to throwing exception. Exception is instance of RangeError. Actual: exception is '+e);

test/built-ins/Array/prototype/slice/S15.4.4.10_A5.2.js

@@ -5,12 +5,11 @@
 info: The length property of slice does not have the attribute DontDelete
 es5id: 15.4.4.10_A5.2
 description: Checking use hasOwnProperty, delete
-includes: [$FAIL.js]
 ---*/
 
 //CHECK#1
 if (Array.prototype.slice.hasOwnProperty('length') !== true) {
-  $FAIL('#1: Array.prototype.slice.hasOwnProperty(\'length\') === true. Actual: ' + (Array.prototype.slice.hasOwnProperty('length')));
+  $ERROR('#1: Array.prototype.slice.hasOwnProperty(\'length\') === true. Actual: ' + (Array.prototype.slice.hasOwnProperty('length')));
 }
 
 delete Array.prototype.slice.length;

test/built-ins/Array/prototype/sort/S15.4.4.11_A7.2.js

@@ -5,12 +5,11 @@
 info: The length property of sort does not have the attribute DontDelete
 es5id: 15.4.4.11_A7.2
 description: Checking use hasOwnProperty, delete
-includes: [$FAIL.js]
 ---*/
 
 //CHECK#1
 if (Array.prototype.sort.hasOwnProperty('length') !== true) {
-  $FAIL('#1: Array.sort.prototype.hasOwnProperty(\'length\') === true. Actual: ' + (Array.sort.prototype.hasOwnProperty('length')));
+  $ERROR('#1: Array.sort.prototype.hasOwnProperty(\'length\') === true. Actual: ' + (Array.sort.prototype.hasOwnProperty('length')));
 }
 
 delete Array.prototype.sort.length;

test/built-ins/Array/prototype/sort/S15.4.4.11_A8.js

@@ -6,7 +6,6 @@ info: Call the comparefn passing undefined as the this value (step 13b)
 es5id: 15.4.4.11_A8
 description: comparefn tests that its this value is undefined
 flags: [onlyStrict]
-includes: [$FAIL.js]
 ---*/
 
 var global = this;
@@ -14,10 +13,10 @@ var global = this;
   "use strict";
 
   if (this === global) {
-    $FAIL('#1: Sort leaks global');
+    $ERROR('#1: Sort leaks global');
   }
   if (this !== undefined) {
-    $FAIL('#2: Sort comparefn should be called with this===undefined. ' +
+    $ERROR('#2: Sort comparefn should be called with this===undefined. ' +
           'Actual: ' + this);
   }
   return x - y;

test/built-ins/Array/prototype/splice/S15.4.4.12_A5.2.js

@@ -5,12 +5,11 @@
 info: The length property of splice does not have the attribute DontDelete
 es5id: 15.4.4.12_A5.2
 description: Checking use hasOwnProperty, delete
-includes: [$FAIL.js]
 ---*/
 
 //CHECK#1
 if (Array.prototype.splice.hasOwnProperty('length') !== true) {
-  $FAIL('#1: Array.prototype.splice.hasOwnProperty(\'length\') === true. Actual: ' + (Array.prototype.splice.hasOwnProperty('length')));
+  $ERROR('#1: Array.prototype.splice.hasOwnProperty(\'length\') === true. Actual: ' + (Array.prototype.splice.hasOwnProperty('length')));
 }
 
 delete Array.prototype.splice.length;

test/built-ins/Array/prototype/toLocaleString/S15.4.4.3_A4.2.js

@@ -7,12 +7,11 @@ info: >
     DontDelete
 es5id: 15.4.4.3_A4.2
 description: Checking use hasOwnProperty, delete
-includes: [$FAIL.js]
 ---*/
 
 //CHECK#1
 if (Array.prototype.toLocaleString.hasOwnProperty('length') !== true) {
-  $FAIL('#1: Array.prototype.toLocaleString.hasOwnProperty(\'length\') === true. Actual: ' + (Array.prototype.toLocaleString.hasOwnProperty('length')));
+  $ERROR('#1: Array.prototype.toLocaleString.hasOwnProperty(\'length\') === true. Actual: ' + (Array.prototype.toLocaleString.hasOwnProperty('length')));
 }
 
 delete Array.prototype.toLocaleString.length;

test/built-ins/Array/prototype/toString/S15.4.4.2_A4.2.js

@@ -5,12 +5,11 @@
 info: The length property of toString does not have the attribute DontDelete
 es5id: 15.4.4.2_A4.2
 description: Checking use hasOwnProperty, delete
-includes: [$FAIL.js]
 ---*/
 
 //CHECK#1
 if (Array.prototype.toString.hasOwnProperty('length') !== true) {
-  $FAIL('#1: Array.prototype.toString.hasOwnProperty(\'length\') === true. Actual: ' + (Array.prototype.toString.hasOwnProperty('length')));
+  $ERROR('#1: Array.prototype.toString.hasOwnProperty(\'length\') === true. Actual: ' + (Array.prototype.toString.hasOwnProperty('length')));
 }
 
 delete Array.prototype.toString.length;

test/built-ins/Array/prototype/unshift/S15.4.4.13_A5.2.js

@@ -5,12 +5,11 @@
 info: The length property of unshift does not have the attribute DontDelete
 es5id: 15.4.4.13_A5.2
 description: Checking use hasOwnProperty, delete
-includes: [$FAIL.js]
 ---*/
 
 //CHECK#1
 if (Array.prototype.unshift.hasOwnProperty('length') !== true) {
-  $FAIL('#1: Array.prototype.unshift.hasOwnProperty(\'length\') === true. Actual: ' + (Array.prototype.unshift.hasOwnProperty('length')));
+  $ERROR('#1: Array.prototype.unshift.hasOwnProperty(\'length\') === true. Actual: ' + (Array.prototype.unshift.hasOwnProperty('length')));
 }
 
 delete Array.prototype.unshift.length;

test/built-ins/Boolean/prototype/S15.6.3.1_A1.js

@@ -7,7 +7,6 @@ info: >
     prototype object
 es5id: 15.6.3.1_A1
 description: Checking Boolean.prototype property
-includes: [$FAIL.js]
 ---*/
 
 //CHECK#1
@@ -18,7 +17,7 @@ if (typeof Boolean.prototype !== "object") {
 //CHECK#2
 try {
   (Boolean.prototype != false);
-  $FAIL('#2: "(Boolean.prototype != false);" lead to throwing exception. Actual: '+(Boolean.prototype != false));
+  $ERROR('#2: "(Boolean.prototype != false);" lead to throwing exception. Actual: '+(Boolean.prototype != false));
 } catch (e) {
   if (!(e instanceof TypeError)) {
     $ERROR('#2.1: "(Boolean.prototype != false)" lead to throwing exception. Exception is instance of TypeError. Actual: exception is '+e);

test/built-ins/Boolean/prototype/S15.6.4_A1.js

@@ -7,7 +7,6 @@ info: >
     (its [[Class]] is "Object")
 es5id: 15.6.4_A1
 description: Checking type and value of Boolean.prototype
-includes: [$FAIL.js]
 ---*/
 
 //CHECK#1
@@ -18,7 +17,7 @@ if (typeof Boolean.prototype !== "object") {
 //CHECK#2
 try {
   (Boolean.prototype != false);
-  $FAIL('#2: "(Boolean.prototype != false);" lead to throwing exception. Actual: '+(Boolean.prototype != false));
+  $ERROR('#2: "(Boolean.prototype != false);" lead to throwing exception. Actual: '+(Boolean.prototype != false));
 } catch (e) {
   if (!(e instanceof TypeError)) {
     $ERROR('#2.1: "(Boolean.prototype != false)" lead to throwing exception. Exception is instance of TypeError. Actual: exception is '+e);

test/built-ins/Boolean/prototype/toString/S15.6.4.2_A1_T1.js

@@ -8,13 +8,12 @@ info: >
     "false" is returned
 es5id: 15.6.4.2_A1_T1
 description: no arguments
-includes: [$FAIL.js]
 ---*/
 
 //CHECK#1
 try {
   (Boolean.prototype.toString() !== "false");
-  $FAIL('#1: "(Boolean.prototype.toString() !== "false");" lead to throwing exception. Actual: '+(Boolean.prototype.toString() !== "false"));
+  $ERROR('#1: "(Boolean.prototype.toString() !== "false");" lead to throwing exception. Actual: '+(Boolean.prototype.toString() !== "false"));
 } catch (e) {
   if (!(e instanceof TypeError)) {
     $ERROR('#1.1: "(Boolean.prototype.toString() !== "false")" lead to throwing exception. Exception is instance of TypeError. Actual: exception is '+e);

test/built-ins/Boolean/prototype/toString/S15.6.4.2_A1_T2.js

@@ -8,13 +8,12 @@ info: >
     "false" is returned
 es5id: 15.6.4.2_A1_T2
 description: with some argument
-includes: [$FAIL.js]
 ---*/
 
 //CHECK#1
 try {
   (Boolean.prototype.toString(true) !== "false");
-  $FAIL('#1: "(Boolean.prototype.toString(true) !== "false");" lead to throwing exception. Actual: '+(Boolean.prototype.toString(true) !== "false"));
+  $ERROR('#1: "(Boolean.prototype.toString(true) !== "false");" lead to throwing exception. Actual: '+(Boolean.prototype.toString(true) !== "false"));
 } catch (e) {
   if (!(e instanceof TypeError)) {
     $ERROR('#1.1: "(Boolean.prototype.toString(true) !== "false")" lead to throwing exception. Exception is instance of TypeError. Actual: exception is '+e);

test/built-ins/Boolean/prototype/valueOf/S15.6.4.3_A1_T1.js

@@ -5,13 +5,12 @@
 info: Boolean.prototype.valueOf() returns this boolean value
 es5id: 15.6.4.3_A1_T1
 description: no arguments
-includes: [$FAIL.js]
 ---*/
 
 //CHECK#1
 try {
   (Boolean.prototype.valueOf() !== false);
-  $FAIL('#1: "(Boolean.prototype.valueOf() !== false);" lead to throwing exception. Actual: '+(Boolean.prototype.valueOf() !== false));
+  $ERROR('#1: "(Boolean.prototype.valueOf() !== false);" lead to throwing exception. Actual: '+(Boolean.prototype.valueOf() !== false));
 } catch (e) {
   if (!(e instanceof TypeError)) {
     $ERROR('#1.1: "(Boolean.prototype.valueOf() !== false)" lead to throwing exception. Exception is instance of TypeError. Actual: exception is '+e);

test/built-ins/Boolean/prototype/valueOf/S15.6.4.3_A1_T2.js

@@ -5,13 +5,12 @@
 info: Boolean.prototype.valueOf() returns this boolean value
 es5id: 15.6.4.3_A1_T2
 description: calling with argument
-includes: [$FAIL.js]
 ---*/
 
 //CHECK#1
 try {
   (Boolean.prototype.valueOf(true) !== false);
-  $FAIL('#1: "(Boolean.prototype.valueOf(true) !== false);" lead to throwing exception. Actual: '+(Boolean.prototype.valueOf(true) !== false));
+  $ERROR('#1: "(Boolean.prototype.valueOf(true) !== false);" lead to throwing exception. Actual: '+(Boolean.prototype.valueOf(true) !== false));
 } catch (e) {
   if (!(e instanceof TypeError)) {
     $ERROR('#1.1: "(Boolean.prototype.valueOf(true) !== false)" lead to throwing exception. Exception is instance of TypeError. Actual: exception is '+e);

test/built-ins/Date/S15.9.3.1_A1_T1.js

@@ -7,221 +7,220 @@ info: >
     a constructor: it initializes the newly created object
 es5id: 15.9.3.1_A1_T1
 description: 2 arguments, (year, month)
-includes: [$FAIL.js]
 ---*/
 
 if (typeof new Date(1899, 11) !== "object") {
-  $FAIL("#1.1: typeof new Date(1899, 11) should be 'object'");
+  $ERROR("#1.1: typeof new Date(1899, 11) should be 'object'");
 }
 
 if (new Date(1899, 11) === undefined) {
-  $FAIL("#1.2: new Date(1899, 11) should not be undefined");
+  $ERROR("#1.2: new Date(1899, 11) should not be undefined");
 }
 
 var x13 = new Date(1899, 11);
 if(typeof x13 !== "object"){
-  $FAIL("#1.3: typeof new Date(1899, 11) should be 'object'");
+  $ERROR("#1.3: typeof new Date(1899, 11) should be 'object'");
 }
 
 var x14 = new Date(1899, 11);
 if(x14 === undefined){
-  $FAIL("#1.4: new Date(1899, 11) should not be undefined");
+  $ERROR("#1.4: new Date(1899, 11) should not be undefined");
 }
 
 if (typeof new Date(1899, 12) !== "object") {
-  $FAIL("#2.1: typeof new Date(1899, 12) should be 'object'");
+  $ERROR("#2.1: typeof new Date(1899, 12) should be 'object'");
 }
 
 if (new Date(1899, 12) === undefined) {
-  $FAIL("#2.2: new Date(1899, 12) should not be undefined");
+  $ERROR("#2.2: new Date(1899, 12) should not be undefined");
 }
 
 var x23 = new Date(1899, 12);
 if(typeof x23 !== "object"){
-  $FAIL("#2.3: typeof new Date(1899, 12) should be 'object'");
+  $ERROR("#2.3: typeof new Date(1899, 12) should be 'object'");
 }
 
 var x24 = new Date(1899, 12);
 if(x24 === undefined){
-  $FAIL("#2.4: new Date(1899, 12) should not be undefined");
+  $ERROR("#2.4: new Date(1899, 12) should not be undefined");
 }
 
 if (typeof new Date(1900, 0) !== "object") {
-  $FAIL("#3.1: typeof new Date(1900, 0) should be 'object'");
+  $ERROR("#3.1: typeof new Date(1900, 0) should be 'object'");
 }
 
 if (new Date(1900, 0) === undefined) {
-  $FAIL("#3.2: new Date(1900, 0) should not be undefined");
+  $ERROR("#3.2: new Date(1900, 0) should not be undefined");
 }
 
 var x33 = new Date(1900, 0);
 if(typeof x33 !== "object"){
-  $FAIL("#3.3: typeof new Date(1900, 0) should be 'object'");
+  $ERROR("#3.3: typeof new Date(1900, 0) should be 'object'");
 }
 
 var x34 = new Date(1900, 0);
 if(x34 === undefined){
-  $FAIL("#3.4: new Date(1900, 0) should not be undefined");
+  $ERROR("#3.4: new Date(1900, 0) should not be undefined");
 }
 
 if (typeof new Date(1969, 11) !== "object") {
-  $FAIL("#4.1: typeof new Date(1969, 11) should be 'object'");
+  $ERROR("#4.1: typeof new Date(1969, 11) should be 'object'");
 }
 
 if (new Date(1969, 11) === undefined) {
-  $FAIL("#4.2: new Date(1969, 11) should not be undefined");
+  $ERROR("#4.2: new Date(1969, 11) should not be undefined");
 }
 
 var x43 = new Date(1969, 11);
 if(typeof x43 !== "object"){
-  $FAIL("#4.3: typeof new Date(1969, 11) should be 'object'");
+  $ERROR("#4.3: typeof new Date(1969, 11) should be 'object'");
 }
 
 var x44 = new Date(1969, 11);
 if(x44 === undefined){
-  $FAIL("#4.4: new Date(1969, 11) should not be undefined");
+  $ERROR("#4.4: new Date(1969, 11) should not be undefined");
 }
 
 if (typeof new Date(1969, 12) !== "object") {
-  $FAIL("#5.1: typeof new Date(1969, 12) should be 'object'");
+  $ERROR("#5.1: typeof new Date(1969, 12) should be 'object'");
 }
 
 if (new Date(1969, 12) === undefined) {
-  $FAIL("#5.2: new Date(1969, 12) should not be undefined");
+  $ERROR("#5.2: new Date(1969, 12) should not be undefined");
 }
 
 var x53 = new Date(1969, 12);
 if(typeof x53 !== "object"){
-  $FAIL("#5.3: typeof new Date(1969, 12) should be 'object'");
+  $ERROR("#5.3: typeof new Date(1969, 12) should be 'object'");
 }
 
 var x54 = new Date(1969, 12);
 if(x54 === undefined){
-  $FAIL("#5.4: new Date(1969, 12) should not be undefined");
+  $ERROR("#5.4: new Date(1969, 12) should not be undefined");
 }
 
 if (typeof new Date(1970, 0) !== "object") {
-  $FAIL("#6.1: typeof new Date(1970, 0) should be 'object'");
+  $ERROR("#6.1: typeof new Date(1970, 0) should be 'object'");
 }
 
 if (new Date(1970, 0) === undefined) {
-  $FAIL("#6.2: new Date(1970, 0) should not be undefined");
+  $ERROR("#6.2: new Date(1970, 0) should not be undefined");
 }
 
 var x63 = new Date(1970, 0);
 if(typeof x63 !== "object"){
-  $FAIL("#6.3: typeof new Date(1970, 0) should be 'object'");
+  $ERROR("#6.3: typeof new Date(1970, 0) should be 'object'");
 }
 
 var x64 = new Date(1970, 0);
 if(x64 === undefined){
-  $FAIL("#6.4: new Date(1970, 0) should not be undefined");
+  $ERROR("#6.4: new Date(1970, 0) should not be undefined");
 }
 
 if (typeof new Date(1999, 11) !== "object") {
-  $FAIL("#7.1: typeof new Date(1999, 11) should be 'object'");
+  $ERROR("#7.1: typeof new Date(1999, 11) should be 'object'");
 }
 
 if (new Date(1999, 11) === undefined) {
-  $FAIL("#7.2: new Date(1999, 11) should not be undefined");
+  $ERROR("#7.2: new Date(1999, 11) should not be undefined");
 }
 
 var x73 = new Date(1999, 11);
 if(typeof x73 !== "object"){
-  $FAIL("#7.3: typeof new Date(1999, 11) should be 'object'");
+  $ERROR("#7.3: typeof new Date(1999, 11) should be 'object'");
 }
 
 var x74 = new Date(1999, 11);
 if(x74 === undefined){
-  $FAIL("#7.4: new Date(1999, 11) should not be undefined");
+  $ERROR("#7.4: new Date(1999, 11) should not be undefined");
 }
 
 if (typeof new Date(1999, 12) !== "object") {
-  $FAIL("#8.1: typeof new Date(1999, 12) should be 'object'");
+  $ERROR("#8.1: typeof new Date(1999, 12) should be 'object'");
 }
 
 if (new Date(1999, 12) === undefined) {
-  $FAIL("#8.2: new Date(1999, 12) should not be undefined");
+  $ERROR("#8.2: new Date(1999, 12) should not be undefined");
 }
 
 var x83 = new Date(1999, 12);
 if(typeof x83 !== "object"){
-  $FAIL("#8.3: typeof new Date(1999, 12) should be 'object'");
+  $ERROR("#8.3: typeof new Date(1999, 12) should be 'object'");
 }
 
 var x84 = new Date(1999, 12);
 if(x84 === undefined){
-  $FAIL("#8.4: new Date(1999, 12) should not be undefined");
+  $ERROR("#8.4: new Date(1999, 12) should not be undefined");
 }
 
 if (typeof new Date(2000, 0) !== "object") {
-  $FAIL("#9.1: typeof new Date(2000, 0) should be 'object'");
+  $ERROR("#9.1: typeof new Date(2000, 0) should be 'object'");
 }
 
 if (new Date(2000, 0) === undefined) {
-  $FAIL("#9.2: new Date(2000, 0) should not be undefined");
+  $ERROR("#9.2: new Date(2000, 0) should not be undefined");
 }
 
 var x93 = new Date(2000, 0);
 if(typeof x93 !== "object"){
-  $FAIL("#9.3: typeof new Date(2000, 0) should be 'object'");
+  $ERROR("#9.3: typeof new Date(2000, 0) should be 'object'");
 }
 
 var x94 = new Date(2000, 0);
 if(x94 === undefined){
-  $FAIL("#9.4: new Date(2000, 0) should not be undefined");
+  $ERROR("#9.4: new Date(2000, 0) should not be undefined");
 }
 
 if (typeof new Date(2099, 11) !== "object") {
-  $FAIL("#10.1: typeof new Date(2099, 11) should be 'object'");
+  $ERROR("#10.1: typeof new Date(2099, 11) should be 'object'");
 }
 
 if (new Date(2099, 11) === undefined) {
-  $FAIL("#10.2: new Date(2099, 11) should not be undefined");
+  $ERROR("#10.2: new Date(2099, 11) should not be undefined");
 }
 
 var x103 = new Date(2099, 11);
 if(typeof x103 !== "object"){
-  $FAIL("#10.3: typeof new Date(2099, 11) should be 'object'");
+  $ERROR("#10.3: typeof new Date(2099, 11) should be 'object'");
 }
 
 var x104 = new Date(2099, 11);
 if(x104 === undefined){
-  $FAIL("#10.4: new Date(2099, 11) should not be undefined");
+  $ERROR("#10.4: new Date(2099, 11) should not be undefined");
 }
 
 if (typeof new Date(2099, 12) !== "object") {
-  $FAIL("#11.1: typeof new Date(2099, 12) should be 'object'");
+  $ERROR("#11.1: typeof new Date(2099, 12) should be 'object'");
 }
 
 if (new Date(2099, 12) === undefined) {
-  $FAIL("#11.2: new Date(2099, 12) should not be undefined");
+  $ERROR("#11.2: new Date(2099, 12) should not be undefined");
 }
 
 var x113 = new Date(2099, 12);
 if(typeof x113 !== "object"){
-  $FAIL("#11.3: typeof new Date(2099, 12) should be 'object'");
+  $ERROR("#11.3: typeof new Date(2099, 12) should be 'object'");
 }
 
 var x114 = new Date(2099, 12);
 if(x114 === undefined){
-  $FAIL("#11.4: new Date(2099, 12) should not be undefined");
+  $ERROR("#11.4: new Date(2099, 12) should not be undefined");
 }
 
 if (typeof new Date(2100, 0) !== "object") {
-  $FAIL("#12.1: typeof new Date(2100, 0) should be 'object'");
+  $ERROR("#12.1: typeof new Date(2100, 0) should be 'object'");
 }
 
 if (new Date(2100, 0) === undefined) {
-  $FAIL("#12.2: new Date(2100, 0) should not be undefined");
+  $ERROR("#12.2: new Date(2100, 0) should not be undefined");
 }
 
 var x123 = new Date(2100, 0);
 if(typeof x123 !== "object"){
-  $FAIL("#12.3: typeof new Date(2100, 0) should be 'object'");
+  $ERROR("#12.3: typeof new Date(2100, 0) should be 'object'");
 }
 
 var x124 = new Date(2100, 0);
 if(x124 === undefined){
-  $FAIL("#12.4: new Date(2100, 0) should not be undefined");
+  $ERROR("#12.4: new Date(2100, 0) should not be undefined");
 }

test/built-ins/Date/S15.9.3.1_A1_T2.js

@@ -7,221 +7,220 @@ info: >
     a constructor: it initializes the newly created object
 es5id: 15.9.3.1_A1_T2
 description: 3 arguments, (year, month, date)
-includes: [$FAIL.js]
 ---*/
 
 if (typeof new Date(1899, 11, 31) !== "object") {
-  $FAIL("#1.1: typeof new Date(1899, 11, 31) should be 'object'");
+  $ERROR("#1.1: typeof new Date(1899, 11, 31) should be 'object'");
 }
 
 if (new Date(1899, 11, 31) === undefined) {
-  $FAIL("#1.2: new Date(1899, 11, 31) should not be undefined");
+  $ERROR("#1.2: new Date(1899, 11, 31) should not be undefined");
 }
 
 var x13 = new Date(1899, 11, 31);
 if(typeof x13 !== "object"){
-  $FAIL("#1.3: typeof new Date(1899, 11, 31) should be 'object'");
+  $ERROR("#1.3: typeof new Date(1899, 11, 31) should be 'object'");
 }
 
 var x14 = new Date(1899, 11, 31);
 if(x14 === undefined){
-  $FAIL("#1.4: new Date(1899, 11, 31) should not be undefined");
+  $ERROR("#1.4: new Date(1899, 11, 31) should not be undefined");
 }
 
 if (typeof new Date(1899, 12, 1) !== "object") {
-  $FAIL("#2.1: typeof new Date(1899, 12, 1) should be 'object'");
+  $ERROR("#2.1: typeof new Date(1899, 12, 1) should be 'object'");
 }
 
 if (new Date(1899, 12, 1) === undefined) {
-  $FAIL("#2.2: new Date(1899, 12, 1) should not be undefined");
+  $ERROR("#2.2: new Date(1899, 12, 1) should not be undefined");
 }
 
 var x23 = new Date(1899, 12, 1);
 if(typeof x23 !== "object"){
-  $FAIL("#2.3: typeof new Date(1899, 12, 1) should be 'object'");
+  $ERROR("#2.3: typeof new Date(1899, 12, 1) should be 'object'");
 }
 
 var x24 = new Date(1899, 12, 1);
 if(x24 === undefined){
-  $FAIL("#2.4: new Date(1899, 12, 1) should not be undefined");
+  $ERROR("#2.4: new Date(1899, 12, 1) should not be undefined");
 }
 
 if (typeof new Date(1900, 0, 1) !== "object") {
-  $FAIL("#3.1: typeof new Date(1900, 0, 1) should be 'object'");
+  $ERROR("#3.1: typeof new Date(1900, 0, 1) should be 'object'");
 }
 
 if (new Date(1900, 0, 1) === undefined) {
-  $FAIL("#3.2: new Date(1900, 0, 1) should not be undefined");
+  $ERROR("#3.2: new Date(1900, 0, 1) should not be undefined");
 }
 
 var x33 = new Date(1900, 0, 1);
 if(typeof x33 !== "object"){
-  $FAIL("#3.3: typeof new Date(1900, 0, 1) should be 'object'");
+  $ERROR("#3.3: typeof new Date(1900, 0, 1) should be 'object'");
 }
 
 var x34 = new Date(1900, 0, 1);
 if(x34 === undefined){
-  $FAIL("#3.4: new Date(1900, 0, 1) should not be undefined");
+  $ERROR("#3.4: new Date(1900, 0, 1) should not be undefined");
 }
 
 if (typeof new Date(1969, 11, 31) !== "object") {
-  $FAIL("#4.1: typeof new Date(1969, 11, 31) should be 'object'");
+  $ERROR("#4.1: typeof new Date(1969, 11, 31) should be 'object'");
 }
 
 if (new Date(1969, 11, 31) === undefined) {
-  $FAIL("#4.2: new Date(1969, 11, 31) should not be undefined");
+  $ERROR("#4.2: new Date(1969, 11, 31) should not be undefined");
 }
 
 var x43 = new Date(1969, 11, 31);
 if(typeof x43 !== "object"){
-  $FAIL("#4.3: typeof new Date(1969, 11, 31) should be 'object'");
+  $ERROR("#4.3: typeof new Date(1969, 11, 31) should be 'object'");
 }
 
 var x44 = new Date(1969, 11, 31);
 if(x44 === undefined){
-  $FAIL("#4.4: new Date(1969, 11, 31) should not be undefined");
+  $ERROR("#4.4: new Date(1969, 11, 31) should not be undefined");
 }
 
 if (typeof new Date(1969, 12, 1) !== "object") {
-  $FAIL("#5.1: typeof new Date(1969, 12, 1) should be 'object'");
+  $ERROR("#5.1: typeof new Date(1969, 12, 1) should be 'object'");
 }
 
 if (new Date(1969, 12, 1) === undefined) {
-  $FAIL("#5.2: new Date(1969, 12, 1) should not be undefined");
+  $ERROR("#5.2: new Date(1969, 12, 1) should not be undefined");
 }
 
 var x53 = new Date(1969, 12, 1);
 if(typeof x53 !== "object"){
-  $FAIL("#5.3: typeof new Date(1969, 12, 1) should be 'object'");
+  $ERROR("#5.3: typeof new Date(1969, 12, 1) should be 'object'");
 }
 
 var x54 = new Date(1969, 12, 1);
 if(x54 === undefined){
-  $FAIL("#5.4: new Date(1969, 12, 1) should not be undefined");
+  $ERROR("#5.4: new Date(1969, 12, 1) should not be undefined");
 }
 
 if (typeof new Date(1970, 0, 1) !== "object") {
-  $FAIL("#6.1: typeof new Date(1970, 0, 1) should be 'object'");
+  $ERROR("#6.1: typeof new Date(1970, 0, 1) should be 'object'");
 }
 
 if (new Date(1970, 0, 1) === undefined) {
-  $FAIL("#6.2: new Date(1970, 0, 1) should not be undefined");
+  $ERROR("#6.2: new Date(1970, 0, 1) should not be undefined");
 }
 
 var x63 = new Date(1970, 0, 1);
 if(typeof x63 !== "object"){
-  $FAIL("#6.3: typeof new Date(1970, 0, 1) should be 'object'");
+  $ERROR("#6.3: typeof new Date(1970, 0, 1) should be 'object'");
 }
 
 var x64 = new Date(1970, 0, 1);
 if(x64 === undefined){
-  $FAIL("#6.4: new Date(1970, 0, 1) should not be undefined");
+  $ERROR("#6.4: new Date(1970, 0, 1) should not be undefined");
 }
 
 if (typeof new Date(1999, 11, 31) !== "object") {
-  $FAIL("#7.1: typeof new Date(1999, 11, 31) should be 'object'");
+  $ERROR("#7.1: typeof new Date(1999, 11, 31) should be 'object'");
 }
 
 if (new Date(1999, 11, 31) === undefined) {
-  $FAIL("#7.2: new Date(1999, 11, 31) should not be undefined");
+  $ERROR("#7.2: new Date(1999, 11, 31) should not be undefined");
 }
 
 var x73 = new Date(1999, 11, 31);
 if(typeof x73 !== "object"){
-  $FAIL("#7.3: typeof new Date(1999, 11, 31) should be 'object'");
+  $ERROR("#7.3: typeof new Date(1999, 11, 31) should be 'object'");
 }
 
 var x74 = new Date(1999, 11, 31);
 if(x74 === undefined){
-  $FAIL("#7.4: new Date(1999, 11, 31) should not be undefined");
+  $ERROR("#7.4: new Date(1999, 11, 31) should not be undefined");
 }
 
 if (typeof new Date(1999, 12, 1) !== "object") {
-  $FAIL("#8.1: typeof new Date(1999, 12, 1) should be 'object'");
+  $ERROR("#8.1: typeof new Date(1999, 12, 1) should be 'object'");
 }
 
 if (new Date(1999, 12, 1) === undefined) {
-  $FAIL("#8.2: new Date(1999, 12, 1) should not be undefined");
+  $ERROR("#8.2: new Date(1999, 12, 1) should not be undefined");
 }
 
 var x83 = new Date(1999, 12, 1);
 if(typeof x83 !== "object"){
-  $FAIL("#8.3: typeof new Date(1999, 12, 1) should be 'object'");
+  $ERROR("#8.3: typeof new Date(1999, 12, 1) should be 'object'");
 }
 
 var x84 = new Date(1999, 12, 1);
 if(x84 === undefined){
-  $FAIL("#8.4: new Date(1999, 12, 1) should not be undefined");
+  $ERROR("#8.4: new Date(1999, 12, 1) should not be undefined");
 }
 
 if (typeof new Date(2000, 0, 1) !== "object") {
-  $FAIL("#9.1: typeof new Date(2000, 0, 1) should be 'object'");
+  $ERROR("#9.1: typeof new Date(2000, 0, 1) should be 'object'");
 }
 
 if (new Date(2000, 0, 1) === undefined) {
-  $FAIL("#9.2: new Date(2000, 0, 1) should not be undefined");
+  $ERROR("#9.2: new Date(2000, 0, 1) should not be undefined");
 }
 
 var x93 = new Date(2000, 0, 1);
 if(typeof x93 !== "object"){
-  $FAIL("#9.3: typeof new Date(2000, 0, 1) should be 'object'");
+  $ERROR("#9.3: typeof new Date(2000, 0, 1) should be 'object'");
 }
 
 var x94 = new Date(2000, 0, 1);
 if(x94 === undefined){
-  $FAIL("#9.4: new Date(2000, 0, 1) should not be undefined");
+  $ERROR("#9.4: new Date(2000, 0, 1) should not be undefined");
 }
 
 if (typeof new Date(2099, 11, 31) !== "object") {
-  $FAIL("#10.1: typeof new Date(2099, 11, 31) should be 'object'");
+  $ERROR("#10.1: typeof new Date(2099, 11, 31) should be 'object'");
 }
 
 if (new Date(2099, 11, 31) === undefined) {
-  $FAIL("#10.2: new Date(2099, 11, 31) should not be undefined");
+  $ERROR("#10.2: new Date(2099, 11, 31) should not be undefined");
 }
 
 var x103 = new Date(2099, 11, 31);
 if(typeof x103 !== "object"){
-  $FAIL("#10.3: typeof new Date(2099, 11, 31) should be 'object'");
+  $ERROR("#10.3: typeof new Date(2099, 11, 31) should be 'object'");
 }
 
 var x104 = new Date(2099, 11, 31);
 if(x104 === undefined){
-  $FAIL("#10.4: new Date(2099, 11, 31) should not be undefined");
+  $ERROR("#10.4: new Date(2099, 11, 31) should not be undefined");
 }
 
 if (typeof new Date(2099, 12, 1) !== "object") {
-  $FAIL("#11.1: typeof new Date(2099, 12, 1) should be 'object'");
+  $ERROR("#11.1: typeof new Date(2099, 12, 1) should be 'object'");
 }
 
 if (new Date(2099, 12, 1) === undefined) {
-  $FAIL("#11.2: new Date(2099, 12, 1) should not be undefined");
+  $ERROR("#11.2: new Date(2099, 12, 1) should not be undefined");
 }
 
 var x113 = new Date(2099, 12, 1);
 if(typeof x113 !== "object"){
-  $FAIL("#11.3: typeof new Date(2099, 12, 1) should be 'object'");
+  $ERROR("#11.3: typeof new Date(2099, 12, 1) should be 'object'");
 }
 
 var x114 = new Date(2099, 12, 1);
 if(x114 === undefined){
-  $FAIL("#11.4: new Date(2099, 12, 1) should not be undefined");
+  $ERROR("#11.4: new Date(2099, 12, 1) should not be undefined");
 }
 
 if (typeof new Date(2100, 0, 1) !== "object") {
-  $FAIL("#12.1: typeof new Date(2100, 0, 1) should be 'object'");
+  $ERROR("#12.1: typeof new Date(2100, 0, 1) should be 'object'");
 }
 
 if (new Date(2100, 0, 1) === undefined) {
-  $FAIL("#12.2: new Date(2100, 0, 1) should not be undefined");
+  $ERROR("#12.2: new Date(2100, 0, 1) should not be undefined");
 }
 
 var x123 = new Date(2100, 0, 1);
 if(typeof x123 !== "object"){
-  $FAIL("#12.3: typeof new Date(2100, 0, 1) should be 'object'");
+  $ERROR("#12.3: typeof new Date(2100, 0, 1) should be 'object'");
 }
 
 var x124 = new Date(2100, 0, 1);
 if(x124 === undefined){
-  $FAIL("#12.4: new Date(2100, 0, 1) should not be undefined");
+  $ERROR("#12.4: new Date(2100, 0, 1) should not be undefined");
 }

test/built-ins/Date/S15.9.3.1_A1_T3.js

@@ -7,221 +7,220 @@ info: >
     a constructor: it initializes the newly created object
 es5id: 15.9.3.1_A1_T3
 description: 4 arguments, (year, month, date, hours)
-includes: [$FAIL.js]
 ---*/
 
 if (typeof new Date(1899, 11, 31, 23) !== "object") {
-  $FAIL("#1.1: typeof new Date(1899, 11, 31, 23) should be 'object'");
+  $ERROR("#1.1: typeof new Date(1899, 11, 31, 23) should be 'object'");
 }
 
 if (new Date(1899, 11, 31, 23) === undefined) {
-  $FAIL("#1.2: new Date(1899, 11, 31, 23) should not be undefined");
+  $ERROR("#1.2: new Date(1899, 11, 31, 23) should not be undefined");
 }
 
 var x13 = new Date(1899, 11, 31, 23);
 if(typeof x13 !== "object"){
-  $FAIL("#1.3: typeof new Date(1899, 11, 31, 23) should be 'object'");
+  $ERROR("#1.3: typeof new Date(1899, 11, 31, 23) should be 'object'");
 }
 
 var x14 = new Date(1899, 11, 31, 23);
 if(x14 === undefined){
-  $FAIL("#1.4: new Date(1899, 11, 31, 23) should not be undefined");
+  $ERROR("#1.4: new Date(1899, 11, 31, 23) should not be undefined");
 }
 
 if (typeof new Date(1899, 12, 1, 0) !== "object") {
-  $FAIL("#2.1: typeof new Date(1899, 12, 1, 0) should be 'object'");
+  $ERROR("#2.1: typeof new Date(1899, 12, 1, 0) should be 'object'");
 }
 
 if (new Date(1899, 12, 1, 0) === undefined) {
-  $FAIL("#2.2: new Date(1899, 12, 1, 0) should not be undefined");
+  $ERROR("#2.2: new Date(1899, 12, 1, 0) should not be undefined");
 }
 
 var x23 = new Date(1899, 12, 1, 0);
 if(typeof x23 !== "object"){
-  $FAIL("#2.3: typeof new Date(1899, 12, 1, 0) should be 'object'");
+  $ERROR("#2.3: typeof new Date(1899, 12, 1, 0) should be 'object'");
 }
 
 var x24 = new Date(1899, 12, 1, 0);
 if(x24 === undefined){
-  $FAIL("#2.4: new Date(1899, 12, 1, 0) should not be undefined");
+  $ERROR("#2.4: new Date(1899, 12, 1, 0) should not be undefined");
 }
 
 if (typeof new Date(1900, 0, 1, 0) !== "object") {
-  $FAIL("#3.1: typeof new Date(1900, 0, 1, 0) should be 'object'");
+  $ERROR("#3.1: typeof new Date(1900, 0, 1, 0) should be 'object'");
 }
 
 if (new Date(1900, 0, 1, 0) === undefined) {
-  $FAIL("#3.2: new Date(1900, 0, 1, 0) should not be undefined");
+  $ERROR("#3.2: new Date(1900, 0, 1, 0) should not be undefined");
 }
 
 var x33 = new Date(1900, 0, 1, 0);
 if(typeof x33 !== "object"){
-  $FAIL("#3.3: typeof new Date(1900, 0, 1, 0) should be 'object'");
+  $ERROR("#3.3: typeof new Date(1900, 0, 1, 0) should be 'object'");
 }
 
 var x34 = new Date(1900, 0, 1, 0);
 if(x34 === undefined){
-  $FAIL("#3.4: new Date(1900, 0, 1, 0) should not be undefined");
+  $ERROR("#3.4: new Date(1900, 0, 1, 0) should not be undefined");
 }
 
 if (typeof new Date(1969, 11, 31, 23) !== "object") {
-  $FAIL("#4.1: typeof new Date(1969, 11, 31, 23) should be 'object'");
+  $ERROR("#4.1: typeof new Date(1969, 11, 31, 23) should be 'object'");
 }
 
 if (new Date(1969, 11, 31, 23) === undefined) {
-  $FAIL("#4.2: new Date(1969, 11, 31, 23) should not be undefined");
+  $ERROR("#4.2: new Date(1969, 11, 31, 23) should not be undefined");
 }
 
 var x43 = new Date(1969, 11, 31, 23);
 if(typeof x43 !== "object"){
-  $FAIL("#4.3: typeof new Date(1969, 11, 31, 23) should be 'object'");
+  $ERROR("#4.3: typeof new Date(1969, 11, 31, 23) should be 'object'");
 }
 
 var x44 = new Date(1969, 11, 31, 23);
 if(x44 === undefined){
-  $FAIL("#4.4: new Date(1969, 11, 31, 23) should not be undefined");
+  $ERROR("#4.4: new Date(1969, 11, 31, 23) should not be undefined");
 }
 
 if (typeof new Date(1969, 12, 1, 0) !== "object") {
-  $FAIL("#5.1: typeof new Date(1969, 12, 1, 0) should be 'object'");
+  $ERROR("#5.1: typeof new Date(1969, 12, 1, 0) should be 'object'");
 }
 
 if (new Date(1969, 12, 1, 0) === undefined) {
-  $FAIL("#5.2: new Date(1969, 12, 1, 0) should not be undefined");
+  $ERROR("#5.2: new Date(1969, 12, 1, 0) should not be undefined");
 }
 
 var x53 = new Date(1969, 12, 1, 0);
 if(typeof x53 !== "object"){
-  $FAIL("#5.3: typeof new Date(1969, 12, 1, 0) should be 'object'");
+  $ERROR("#5.3: typeof new Date(1969, 12, 1, 0) should be 'object'");
 }
 
 var x54 = new Date(1969, 12, 1, 0);
 if(x54 === undefined){
-  $FAIL("#5.4: new Date(1969, 12, 1, 0) should not be undefined");
+  $ERROR("#5.4: new Date(1969, 12, 1, 0) should not be undefined");
 }
 
 if (typeof new Date(1970, 0, 1, 0) !== "object") {
-  $FAIL("#6.1: typeof new Date(1970, 0, 1, 0) should be 'object'");
+  $ERROR("#6.1: typeof new Date(1970, 0, 1, 0) should be 'object'");
 }
 
 if (new Date(1970, 0, 1, 0) === undefined) {
-  $FAIL("#6.2: new Date(1970, 0, 1, 0) should not be undefined");
+  $ERROR("#6.2: new Date(1970, 0, 1, 0) should not be undefined");
 }
 
 var x63 = new Date(1970, 0, 1, 0);
 if(typeof x63 !== "object"){
-  $FAIL("#6.3: typeof new Date(1970, 0, 1, 0) should be 'object'");
+  $ERROR("#6.3: typeof new Date(1970, 0, 1, 0) should be 'object'");
 }
 
 var x64 = new Date(1970, 0, 1, 0);
 if(x64 === undefined){
-  $FAIL("#6.4: new Date(1970, 0, 1, 0) should not be undefined");
+  $ERROR("#6.4: new Date(1970, 0, 1, 0) should not be undefined");
 }
 
 if (typeof new Date(1999, 11, 31, 23) !== "object") {
-  $FAIL("#7.1: typeof new Date(1999, 11, 31, 23) should be 'object'");
+  $ERROR("#7.1: typeof new Date(1999, 11, 31, 23) should be 'object'");
 }
 
 if (new Date(1999, 11, 31, 23) === undefined) {
-  $FAIL("#7.2: new Date(1999, 11, 31, 23) should not be undefined");
+  $ERROR("#7.2: new Date(1999, 11, 31, 23) should not be undefined");
 }
 
 var x73 = new Date(1999, 11, 31, 23);
 if(typeof x73 !== "object"){
-  $FAIL("#7.3: typeof new Date(1999, 11, 31, 23) should be 'object'");
+  $ERROR("#7.3: typeof new Date(1999, 11, 31, 23) should be 'object'");
 }
 
 var x74 = new Date(1999, 11, 31, 23);
 if(x74 === undefined){
-  $FAIL("#7.4: new Date(1999, 11, 31, 23) should not be undefined");
+  $ERROR("#7.4: new Date(1999, 11, 31, 23) should not be undefined");
 }
 
 if (typeof new Date(1999, 12, 1, 0) !== "object") {
-  $FAIL("#8.1: typeof new Date(1999, 12, 1, 0) should be 'object'");
+  $ERROR("#8.1: typeof new Date(1999, 12, 1, 0) should be 'object'");
 }
 
 if (new Date(1999, 12, 1, 0) === undefined) {
-  $FAIL("#8.2: new Date(1999, 12, 1, 0) should not be undefined");
+  $ERROR("#8.2: new Date(1999, 12, 1, 0) should not be undefined");
 }
 
 var x83 = new Date(1999, 12, 1, 0);
 if(typeof x83 !== "object"){
-  $FAIL("#8.3: typeof new Date(1999, 12, 1, 0) should be 'object'");
+  $ERROR("#8.3: typeof new Date(1999, 12, 1, 0) should be 'object'");
 }
 
 var x84 = new Date(1999, 12, 1, 0);
 if(x84 === undefined){
-  $FAIL("#8.4: new Date(1999, 12, 1, 0) should not be undefined");
+  $ERROR("#8.4: new Date(1999, 12, 1, 0) should not be undefined");
 }
 
 if (typeof new Date(2000, 0, 1, 0) !== "object") {
-  $FAIL("#9.1: typeof new Date(2000, 0, 1, 0) should be 'object'");
+  $ERROR("#9.1: typeof new Date(2000, 0, 1, 0) should be 'object'");
 }
 
 if (new Date(2000, 0, 1, 0) === undefined) {
-  $FAIL("#9.2: new Date(2000, 0, 1, 0) should not be undefined");
+  $ERROR("#9.2: new Date(2000, 0, 1, 0) should not be undefined");
 }
 
 var x93 = new Date(2000, 0, 1, 0);
 if(typeof x93 !== "object"){
-  $FAIL("#9.3: typeof new Date(2000, 0, 1, 0) should be 'object'");
+  $ERROR("#9.3: typeof new Date(2000, 0, 1, 0) should be 'object'");
 }
 
 var x94 = new Date(2000, 0, 1, 0);
 if(x94 === undefined){
-  $FAIL("#9.4: new Date(2000, 0, 1, 0) should not be undefined");
+  $ERROR("#9.4: new Date(2000, 0, 1, 0) should not be undefined");
 }
 
 if (typeof new Date(2099, 11, 31, 23) !== "object") {
-  $FAIL("#10.1: typeof new Date(2099, 11, 31, 23) should be 'object'");
+  $ERROR("#10.1: typeof new Date(2099, 11, 31, 23) should be 'object'");
 }
 
 if (new Date(2099, 11, 31, 23) === undefined) {
-  $FAIL("#10.2: new Date(2099, 11, 31, 23) should not be undefined");
+  $ERROR("#10.2: new Date(2099, 11, 31, 23) should not be undefined");
 }
 
 var x103 = new Date(2099, 11, 31, 23);
 if(typeof x103 !== "object"){
-  $FAIL("#10.3: typeof new Date(2099, 11, 31, 23) should be 'object'");
+  $ERROR("#10.3: typeof new Date(2099, 11, 31, 23) should be 'object'");
 }
 
 var x104 = new Date(2099, 11, 31, 23);
 if(x104 === undefined){
-  $FAIL("#10.4: new Date(2099, 11, 31, 23) should not be undefined");
+  $ERROR("#10.4: new Date(2099, 11, 31, 23) should not be undefined");
 }
 
 if (typeof new Date(2099, 12, 1, 0) !== "object") {
-  $FAIL("#11.1: typeof new Date(2099, 12, 1, 0) should be 'object'");
+  $ERROR("#11.1: typeof new Date(2099, 12, 1, 0) should be 'object'");
 }
 
 if (new Date(2099, 12, 1, 0) === undefined) {
-  $FAIL("#11.2: new Date(2099, 12, 1, 0) should not be undefined");
+  $ERROR("#11.2: new Date(2099, 12, 1, 0) should not be undefined");
 }
 
 var x113 = new Date(2099, 12, 1, 0);
 if(typeof x113 !== "object"){
-  $FAIL("#11.3: typeof new Date(2099, 12, 1, 0) should be 'object'");
+  $ERROR("#11.3: typeof new Date(2099, 12, 1, 0) should be 'object'");
 }
 
 var x114 = new Date(2099, 12, 1, 0);
 if(x114 === undefined){
-  $FAIL("#11.4: new Date(2099, 12, 1, 0) should not be undefined");
+  $ERROR("#11.4: new Date(2099, 12, 1, 0) should not be undefined");
 }
 
 if (typeof new Date(2100, 0, 1, 0) !== "object") {
-  $FAIL("#12.1: typeof new Date(2100, 0, 1, 0) should be 'object'");
+  $ERROR("#12.1: typeof new Date(2100, 0, 1, 0) should be 'object'");
 }
 
 if (new Date(2100, 0, 1, 0) === undefined) {
-  $FAIL("#12.2: new Date(2100, 0, 1, 0) should not be undefined");
+  $ERROR("#12.2: new Date(2100, 0, 1, 0) should not be undefined");
 }
 
 var x123 = new Date(2100, 0, 1, 0);
 if(typeof x123 !== "object"){
-  $FAIL("#12.3: typeof new Date(2100, 0, 1, 0) should be 'object'");
+  $ERROR("#12.3: typeof new Date(2100, 0, 1, 0) should be 'object'");
 }
 
 var x124 = new Date(2100, 0, 1, 0);
 if(x124 === undefined){
-  $FAIL("#12.4: new Date(2100, 0, 1, 0) should not be undefined");
+  $ERROR("#12.4: new Date(2100, 0, 1, 0) should not be undefined");
 }

test/built-ins/Date/S15.9.3.1_A1_T4.js

@@ -7,221 +7,220 @@ info: >
     a constructor: it initializes the newly created object
 es5id: 15.9.3.1_A1_T4
 description: 5 arguments, (year, month, date, hours, minutes)
-includes: [$FAIL.js]
 ---*/
 
 if (typeof new Date(1899, 11, 31, 23, 59) !== "object") {
-  $FAIL("#1.1: typeof new Date(1899, 11, 31, 23, 59) should be 'object'");
+  $ERROR("#1.1: typeof new Date(1899, 11, 31, 23, 59) should be 'object'");
 }
 
 if (new Date(1899, 11, 31, 23, 59) === undefined) {
-  $FAIL("#1.2: new Date(1899, 11, 31, 23, 59) should not be undefined");
+  $ERROR("#1.2: new Date(1899, 11, 31, 23, 59) should not be undefined");
 }
 
 var x13 = new Date(1899, 11, 31, 23, 59);
 if(typeof x13 !== "object"){
-  $FAIL("#1.3: typeof new Date(1899, 11, 31, 23, 59) should be 'object'");
+  $ERROR("#1.3: typeof new Date(1899, 11, 31, 23, 59) should be 'object'");
 }
 
 var x14 = new Date(1899, 11, 31, 23, 59);
 if(x14 === undefined){
-  $FAIL("#1.4: new Date(1899, 11, 31, 23, 59) should not be undefined");
+  $ERROR("#1.4: new Date(1899, 11, 31, 23, 59) should not be undefined");
 }
 
 if (typeof new Date(1899, 12, 1, 0, 0) !== "object") {
-  $FAIL("#2.1: typeof new Date(1899, 12, 1, 0, 0) should be 'object'");
+  $ERROR("#2.1: typeof new Date(1899, 12, 1, 0, 0) should be 'object'");
 }
 
 if (new Date(1899, 12, 1, 0, 0) === undefined) {
-  $FAIL("#2.2: new Date(1899, 12, 1, 0, 0) should not be undefined");
+  $ERROR("#2.2: new Date(1899, 12, 1, 0, 0) should not be undefined");
 }
 
 var x23 = new Date(1899, 12, 1, 0, 0);
 if(typeof x23 !== "object"){
-  $FAIL("#2.3: typeof new Date(1899, 12, 1, 0, 0) should be 'object'");
+  $ERROR("#2.3: typeof new Date(1899, 12, 1, 0, 0) should be 'object'");
 }
 
 var x24 = new Date(1899, 12, 1, 0, 0);
 if(x24 === undefined){
-  $FAIL("#2.4: new Date(1899, 12, 1, 0, 0) should not be undefined");
+  $ERROR("#2.4: new Date(1899, 12, 1, 0, 0) should not be undefined");
 }
 
 if (typeof new Date(1900, 0, 1, 0, 0) !== "object") {
-  $FAIL("#3.1: typeof new Date(1900, 0, 1, 0, 0) should be 'object'");
+  $ERROR("#3.1: typeof new Date(1900, 0, 1, 0, 0) should be 'object'");
 }
 
 if (new Date(1900, 0, 1, 0, 0) === undefined) {
-  $FAIL("#3.2: new Date(1900, 0, 1, 0, 0) should not be undefined");
+  $ERROR("#3.2: new Date(1900, 0, 1, 0, 0) should not be undefined");
 }
 
 var x33 = new Date(1900, 0, 1, 0, 0);
 if(typeof x33 !== "object"){
-  $FAIL("#3.3: typeof new Date(1900, 0, 1, 0, 0) should be 'object'");
+  $ERROR("#3.3: typeof new Date(1900, 0, 1, 0, 0) should be 'object'");
 }
 
 var x34 = new Date(1900, 0, 1, 0, 0);
 if(x34 === undefined){
-  $FAIL("#3.4: new Date(1900, 0, 1, 0, 0) should not be undefined");
+  $ERROR("#3.4: new Date(1900, 0, 1, 0, 0) should not be undefined");
 }
 
 if (typeof new Date(1969, 11, 31, 23, 59) !== "object") {
-  $FAIL("#4.1: typeof new Date(1969, 11, 31, 23, 59) should be 'object'");
+  $ERROR("#4.1: typeof new Date(1969, 11, 31, 23, 59) should be 'object'");
 }
 
 if (new Date(1969, 11, 31, 23, 59) === undefined) {
-  $FAIL("#4.2: new Date(1969, 11, 31, 23, 59) should not be undefined");
+  $ERROR("#4.2: new Date(1969, 11, 31, 23, 59) should not be undefined");
 }
 
 var x43 = new Date(1969, 11, 31, 23, 59);
 if(typeof x43 !== "object"){
-  $FAIL("#4.3: typeof new Date(1969, 11, 31, 23, 59) should be 'object'");
+  $ERROR("#4.3: typeof new Date(1969, 11, 31, 23, 59) should be 'object'");
 }
 
 var x44 = new Date(1969, 11, 31, 23, 59);
 if(x44 === undefined){
-  $FAIL("#4.4: new Date(1969, 11, 31, 23, 59) should not be undefined");
+  $ERROR("#4.4: new Date(1969, 11, 31, 23, 59) should not be undefined");
 }
 
 if (typeof new Date(1969, 12, 1, 0, 0) !== "object") {
-  $FAIL("#5.1: typeof new Date(1969, 12, 1, 0, 0) should be 'object'");
+  $ERROR("#5.1: typeof new Date(1969, 12, 1, 0, 0) should be 'object'");
 }
 
 if (new Date(1969, 12, 1, 0, 0) === undefined) {
-  $FAIL("#5.2: new Date(1969, 12, 1, 0, 0) should not be undefined");
+  $ERROR("#5.2: new Date(1969, 12, 1, 0, 0) should not be undefined");
 }
 
 var x53 = new Date(1969, 12, 1, 0, 0);
 if(typeof x53 !== "object"){
-  $FAIL("#5.3: typeof new Date(1969, 12, 1, 0, 0) should be 'object'");
+  $ERROR("#5.3: typeof new Date(1969, 12, 1, 0, 0) should be 'object'");
 }
 
 var x54 = new Date(1969, 12, 1, 0, 0);
 if(x54 === undefined){
-  $FAIL("#5.4: new Date(1969, 12, 1, 0, 0) should not be undefined");
+  $ERROR("#5.4: new Date(1969, 12, 1, 0, 0) should not be undefined");
 }
 
 if (typeof new Date(1970, 0, 1, 0, 0) !== "object") {
-  $FAIL("#6.1: typeof new Date(1970, 0, 1, 0, 0) should be 'object'");
+  $ERROR("#6.1: typeof new Date(1970, 0, 1, 0, 0) should be 'object'");
 }
 
 if (new Date(1970, 0, 1, 0, 0) === undefined) {
-  $FAIL("#6.2: new Date(1970, 0, 1, 0, 0) should not be undefined");
+  $ERROR("#6.2: new Date(1970, 0, 1, 0, 0) should not be undefined");
 }
 
 var x63 = new Date(1970, 0, 1, 0, 0);
 if(typeof x63 !== "object"){
-  $FAIL("#6.3: typeof new Date(1970, 0, 1, 0, 0) should be 'object'");
+  $ERROR("#6.3: typeof new Date(1970, 0, 1, 0, 0) should be 'object'");
 }
 
 var x64 = new Date(1970, 0, 1, 0, 0);
 if(x64 === undefined){
-  $FAIL("#6.4: new Date(1970, 0, 1, 0, 0) should not be undefined");
+  $ERROR("#6.4: new Date(1970, 0, 1, 0, 0) should not be undefined");
 }
 
 if (typeof new Date(1999, 11, 31, 23, 59) !== "object") {
-  $FAIL("#7.1: typeof new Date(1999, 11, 31, 23, 59) should be 'object'");
+  $ERROR("#7.1: typeof new Date(1999, 11, 31, 23, 59) should be 'object'");
 }
 
 if (new Date(1999, 11, 31, 23, 59) === undefined) {
-  $FAIL("#7.2: new Date(1999, 11, 31, 23, 59) should not be undefined");
+  $ERROR("#7.2: new Date(1999, 11, 31, 23, 59) should not be undefined");
 }
 
 var x73 = new Date(1999, 11, 31, 23, 59);
 if(typeof x73 !== "object"){
-  $FAIL("#7.3: typeof new Date(1999, 11, 31, 23, 59) should be 'object'");
+  $ERROR("#7.3: typeof new Date(1999, 11, 31, 23, 59) should be 'object'");
 }
 
 var x74 = new Date(1999, 11, 31, 23, 59);
 if(x74 === undefined){
-  $FAIL("#7.4: new Date(1999, 11, 31, 23, 59) should not be undefined");
+  $ERROR("#7.4: new Date(1999, 11, 31, 23, 59) should not be undefined");
 }
 
 if (typeof new Date(1999, 12, 1, 0, 0) !== "object") {
-  $FAIL("#8.1: typeof new Date(1999, 12, 1, 0, 0) should be 'object'");
+  $ERROR("#8.1: typeof new Date(1999, 12, 1, 0, 0) should be 'object'");
 }
 
 if (new Date(1999, 12, 1, 0, 0) === undefined) {
-  $FAIL("#8.2: new Date(1999, 12, 1, 0, 0) should not be undefined");
+  $ERROR("#8.2: new Date(1999, 12, 1, 0, 0) should not be undefined");
 }
 
 var x83 = new Date(1999, 12, 1, 0, 0);
 if(typeof x83 !== "object"){
-  $FAIL("#8.3: typeof new Date(1999, 12, 1, 0, 0) should be 'object'");
+  $ERROR("#8.3: typeof new Date(1999, 12, 1, 0, 0) should be 'object'");
 }
 
 var x84 = new Date(1999, 12, 1, 0, 0);
 if(x84 === undefined){
-  $FAIL("#8.4: new Date(1999, 12, 1, 0, 0) should not be undefined");
+  $ERROR("#8.4: new Date(1999, 12, 1, 0, 0) should not be undefined");
 }
 
 if (typeof new Date(2000, 0, 1, 0, 0) !== "object") {
-  $FAIL("#9.1: typeof new Date(2000, 0, 1, 0, 0) should be 'object'");
+  $ERROR("#9.1: typeof new Date(2000, 0, 1, 0, 0) should be 'object'");
 }
 
 if (new Date(2000, 0, 1, 0, 0) === undefined) {
-  $FAIL("#9.2: new Date(2000, 0, 1, 0, 0) should not be undefined");
+  $ERROR("#9.2: new Date(2000, 0, 1, 0, 0) should not be undefined");
 }
 
 var x93 = new Date(2000, 0, 1, 0, 0);
 if(typeof x93 !== "object"){
-  $FAIL("#9.3: typeof new Date(2000, 0, 1, 0, 0) should be 'object'");
+  $ERROR("#9.3: typeof new Date(2000, 0, 1, 0, 0) should be 'object'");
 }
 
 var x94 = new Date(2000, 0, 1, 0, 0);
 if(x94 === undefined){
-  $FAIL("#9.4: new Date(2000, 0, 1, 0, 0) should not be undefined");
+  $ERROR("#9.4: new Date(2000, 0, 1, 0, 0) should not be undefined");
 }
 
 if (typeof new Date(2099, 11, 31, 23, 59) !== "object") {
-  $FAIL("#10.1: typeof new Date(2099, 11, 31, 23, 59) should be 'object'");
+  $ERROR("#10.1: typeof new Date(2099, 11, 31, 23, 59) should be 'object'");
 }
 
 if (new Date(2099, 11, 31, 23, 59) === undefined) {
-  $FAIL("#10.2: new Date(2099, 11, 31, 23, 59) should not be undefined");
+  $ERROR("#10.2: new Date(2099, 11, 31, 23, 59) should not be undefined");
 }
 
 var x103 = new Date(2099, 11, 31, 23, 59);
 if(typeof x103 !== "object"){
-  $FAIL("#10.3: typeof new Date(2099, 11, 31, 23, 59) should be 'object'");
+  $ERROR("#10.3: typeof new Date(2099, 11, 31, 23, 59) should be 'object'");
 }
 
 var x104 = new Date(2099, 11, 31, 23, 59);
 if(x104 === undefined){
-  $FAIL("#10.4: new Date(2099, 11, 31, 23, 59) should not be undefined");
+  $ERROR("#10.4: new Date(2099, 11, 31, 23, 59) should not be undefined");
 }
 
 if (typeof new Date(2099, 12, 1, 0, 0) !== "object") {
-  $FAIL("#11.1: typeof new Date(2099, 12, 1, 0, 0) should be 'object'");
+  $ERROR("#11.1: typeof new Date(2099, 12, 1, 0, 0) should be 'object'");
 }
 
 if (new Date(2099, 12, 1, 0, 0) === undefined) {
-  $FAIL("#11.2: new Date(2099, 12, 1, 0, 0) should not be undefined");
+  $ERROR("#11.2: new Date(2099, 12, 1, 0, 0) should not be undefined");
 }
 
 var x113 = new Date(2099, 12, 1, 0, 0);
 if(typeof x113 !== "object"){
-  $FAIL("#11.3: typeof new Date(2099, 12, 1, 0, 0) should be 'object'");
+  $ERROR("#11.3: typeof new Date(2099, 12, 1, 0, 0) should be 'object'");
 }
 
 var x114 = new Date(2099, 12, 1, 0, 0);
 if(x114 === undefined){
-  $FAIL("#11.4: new Date(2099, 12, 1, 0, 0) should not be undefined");
+  $ERROR("#11.4: new Date(2099, 12, 1, 0, 0) should not be undefined");
 }
 
 if (typeof new Date(2100, 0, 1, 0, 0) !== "object") {
-  $FAIL("#12.1: typeof new Date(2100, 0, 1, 0, 0) should be 'object'");
+  $ERROR("#12.1: typeof new Date(2100, 0, 1, 0, 0) should be 'object'");
 }
 
 if (new Date(2100, 0, 1, 0, 0) === undefined) {
-  $FAIL("#12.2: new Date(2100, 0, 1, 0, 0) should not be undefined");
+  $ERROR("#12.2: new Date(2100, 0, 1, 0, 0) should not be undefined");
 }
 
 var x123 = new Date(2100, 0, 1, 0, 0);
 if(typeof x123 !== "object"){
-  $FAIL("#12.3: typeof new Date(2100, 0, 1, 0, 0) should be 'object'");
+  $ERROR("#12.3: typeof new Date(2100, 0, 1, 0, 0) should be 'object'");
 }
 
 var x124 = new Date(2100, 0, 1, 0, 0);
 if(x124 === undefined){
-  $FAIL("#12.4: new Date(2100, 0, 1, 0, 0) should not be undefined");
+  $ERROR("#12.4: new Date(2100, 0, 1, 0, 0) should not be undefined");
 }

test/built-ins/Date/S15.9.3.1_A1_T5.js

@@ -7,221 +7,220 @@ info: >
     a constructor: it initializes the newly created object
 es5id: 15.9.3.1_A1_T5
 description: 6 arguments, (year, month, date, hours, minutes, seconds)
-includes: [$FAIL.js]
 ---*/
 
 if (typeof new Date(1899, 11, 31, 23, 59, 59) !== "object") {
-  $FAIL("#1.1: typeof new Date(1899, 11, 31, 23, 59, 59) should be 'object'");
+  $ERROR("#1.1: typeof new Date(1899, 11, 31, 23, 59, 59) should be 'object'");
 }
 
 if (new Date(1899, 11, 31, 23, 59, 59) === undefined) {
-  $FAIL("#1.2: new Date(1899, 11, 31, 23, 59, 59) should not be undefined");
+  $ERROR("#1.2: new Date(1899, 11, 31, 23, 59, 59) should not be undefined");
 }
 
 var x13 = new Date(1899, 11, 31, 23, 59, 59);
 if(typeof x13 !== "object"){
-  $FAIL("#1.3: typeof new Date(1899, 11, 31, 23, 59, 59) should be 'object'");
+  $ERROR("#1.3: typeof new Date(1899, 11, 31, 23, 59, 59) should be 'object'");
 }
 
 var x14 = new Date(1899, 11, 31, 23, 59, 59);
 if(x14 === undefined){
-  $FAIL("#1.4: new Date(1899, 11, 31, 23, 59, 59) should not be undefined");
+  $ERROR("#1.4: new Date(1899, 11, 31, 23, 59, 59) should not be undefined");
 }
 
 if (typeof new Date(1899, 12, 1, 0, 0, 0) !== "object") {
-  $FAIL("#2.1: typeof new Date(1899, 12, 1, 0, 0, 0) should be 'object'");
+  $ERROR("#2.1: typeof new Date(1899, 12, 1, 0, 0, 0) should be 'object'");
 }
 
 if (new Date(1899, 12, 1, 0, 0, 0) === undefined) {
-  $FAIL("#2.2: new Date(1899, 12, 1, 0, 0, 0) should not be undefined");
+  $ERROR("#2.2: new Date(1899, 12, 1, 0, 0, 0) should not be undefined");
 }
 
 var x23 = new Date(1899, 12, 1, 0, 0, 0);
 if(typeof x23 !== "object"){
-  $FAIL("#2.3: typeof new Date(1899, 12, 1, 0, 0, 0) should be 'object'");
+  $ERROR("#2.3: typeof new Date(1899, 12, 1, 0, 0, 0) should be 'object'");
 }
 
 var x24 = new Date(1899, 12, 1, 0, 0, 0);
 if(x24 === undefined){
-  $FAIL("#2.4: new Date(1899, 12, 1, 0, 0, 0) should not be undefined");
+  $ERROR("#2.4: new Date(1899, 12, 1, 0, 0, 0) should not be undefined");
 }
 
 if (typeof new Date(1900, 0, 1, 0, 0, 0) !== "object") {
-  $FAIL("#3.1: typeof new Date(1900, 0, 1, 0, 0, 0) should be 'object'");
+  $ERROR("#3.1: typeof new Date(1900, 0, 1, 0, 0, 0) should be 'object'");
 }
 
 if (new Date(1900, 0, 1, 0, 0, 0) === undefined) {
-  $FAIL("#3.2: new Date(1900, 0, 1, 0, 0, 0) should not be undefined");
+  $ERROR("#3.2: new Date(1900, 0, 1, 0, 0, 0) should not be undefined");
 }
 
 var x33 = new Date(1900, 0, 1, 0, 0, 0);
 if(typeof x33 !== "object"){
-  $FAIL("#3.3: typeof new Date(1900, 0, 1, 0, 0, 0) should be 'object'");
+  $ERROR("#3.3: typeof new Date(1900, 0, 1, 0, 0, 0) should be 'object'");
 }
 
 var x34 = new Date(1900, 0, 1, 0, 0, 0);
 if(x34 === undefined){
-  $FAIL("#3.4: new Date(1900, 0, 1, 0, 0, 0) should not be undefined");
+  $ERROR("#3.4: new Date(1900, 0, 1, 0, 0, 0) should not be undefined");
 }
 
 if (typeof new Date(1969, 11, 31, 23, 59, 59) !== "object") {
-  $FAIL("#4.1: typeof new Date(1969, 11, 31, 23, 59, 59) should be 'object'");
+  $ERROR("#4.1: typeof new Date(1969, 11, 31, 23, 59, 59) should be 'object'");
 }
 
 if (new Date(1969, 11, 31, 23, 59, 59) === undefined) {
-  $FAIL("#4.2: new Date(1969, 11, 31, 23, 59, 59) should not be undefined");
+  $ERROR("#4.2: new Date(1969, 11, 31, 23, 59, 59) should not be undefined");
 }
 
 var x43 = new Date(1969, 11, 31, 23, 59, 59);
 if(typeof x43 !== "object"){
-  $FAIL("#4.3: typeof new Date(1969, 11, 31, 23, 59, 59) should be 'object'");
+  $ERROR("#4.3: typeof new Date(1969, 11, 31, 23, 59, 59) should be 'object'");
 }
 
 var x44 = new Date(1969, 11, 31, 23, 59, 59);
 if(x44 === undefined){
-  $FAIL("#4.4: new Date(1969, 11, 31, 23, 59, 59) should not be undefined");
+  $ERROR("#4.4: new Date(1969, 11, 31, 23, 59, 59) should not be undefined");
 }
 
 if (typeof new Date(1969, 12, 1, 0, 0, 0) !== "object") {
-  $FAIL("#5.1: typeof new Date(1969, 12, 1, 0, 0, 0) should be 'object'");
+  $ERROR("#5.1: typeof new Date(1969, 12, 1, 0, 0, 0) should be 'object'");
 }
 
 if (new Date(1969, 12, 1, 0, 0, 0) === undefined) {
-  $FAIL("#5.2: new Date(1969, 12, 1, 0, 0, 0) should not be undefined");
+  $ERROR("#5.2: new Date(1969, 12, 1, 0, 0, 0) should not be undefined");
 }
 
 var x53 = new Date(1969, 12, 1, 0, 0, 0);
 if(typeof x53 !== "object"){
-  $FAIL("#5.3: typeof new Date(1969, 12, 1, 0, 0, 0) should be 'object'");
+  $ERROR("#5.3: typeof new Date(1969, 12, 1, 0, 0, 0) should be 'object'");
 }
 
 var x54 = new Date(1969, 12, 1, 0, 0, 0);
 if(x54 === undefined){
-  $FAIL("#5.4: new Date(1969, 12, 1, 0, 0, 0) should not be undefined");
+  $ERROR("#5.4: new Date(1969, 12, 1, 0, 0, 0) should not be undefined");
 }
 
 if (typeof new Date(1970, 0, 1, 0, 0, 0) !== "object") {
-  $FAIL("#6.1: typeof new Date(1970, 0, 1, 0, 0, 0) should be 'object'");
+  $ERROR("#6.1: typeof new Date(1970, 0, 1, 0, 0, 0) should be 'object'");
 }
 
 if (new Date(1970, 0, 1, 0, 0, 0) === undefined) {
-  $FAIL("#6.2: new Date(1970, 0, 1, 0, 0, 0) should not be undefined");
+  $ERROR("#6.2: new Date(1970, 0, 1, 0, 0, 0) should not be undefined");
 }
 
 var x63 = new Date(1970, 0, 1, 0, 0, 0);
 if(typeof x63 !== "object"){
-  $FAIL("#6.3: typeof new Date(1970, 0, 1, 0, 0, 0) should be 'object'");
+  $ERROR("#6.3: typeof new Date(1970, 0, 1, 0, 0, 0) should be 'object'");
 }
 
 var x64 = new Date(1970, 0, 1, 0, 0, 0);
 if(x64 === undefined){
-  $FAIL("#6.4: new Date(1970, 0, 1, 0, 0, 0) should not be undefined");
+  $ERROR("#6.4: new Date(1970, 0, 1, 0, 0, 0) should not be undefined");
 }
 
 if (typeof new Date(1999, 11, 31, 23, 59, 59) !== "object") {
-  $FAIL("#7.1: typeof new Date(1999, 11, 31, 23, 59, 59) should be 'object'");
+  $ERROR("#7.1: typeof new Date(1999, 11, 31, 23, 59, 59) should be 'object'");
 }
 
 if (new Date(1999, 11, 31, 23, 59, 59) === undefined) {
-  $FAIL("#7.2: new Date(1999, 11, 31, 23, 59, 59) should not be undefined");
+  $ERROR("#7.2: new Date(1999, 11, 31, 23, 59, 59) should not be undefined");
 }
 
 var x73 = new Date(1999, 11, 31, 23, 59, 59);
 if(typeof x73 !== "object"){
-  $FAIL("#7.3: typeof new Date(1999, 11, 31, 23, 59, 59) should be 'object'");
+  $ERROR("#7.3: typeof new Date(1999, 11, 31, 23, 59, 59) should be 'object'");
 }
 
 var x74 = new Date(1999, 11, 31, 23, 59, 59);
 if(x74 === undefined){
-  $FAIL("#7.4: new Date(1999, 11, 31, 23, 59, 59) should not be undefined");
+  $ERROR("#7.4: new Date(1999, 11, 31, 23, 59, 59) should not be undefined");
 }
 
 if (typeof new Date(1999, 12, 1, 0, 0, 0) !== "object") {
-  $FAIL("#8.1: typeof new Date(1999, 12, 1, 0, 0, 0) should be 'object'");
+  $ERROR("#8.1: typeof new Date(1999, 12, 1, 0, 0, 0) should be 'object'");
 }
 
 if (new Date(1999, 12, 1, 0, 0, 0) === undefined) {
-  $FAIL("#8.2: new Date(1999, 12, 1, 0, 0, 0) should not be undefined");
+  $ERROR("#8.2: new Date(1999, 12, 1, 0, 0, 0) should not be undefined");
 }
 
 var x83 = new Date(1999, 12, 1, 0, 0, 0);
 if(typeof x83 !== "object"){
-  $FAIL("#8.3: typeof new Date(1999, 12, 1, 0, 0, 0) should be 'object'");
+  $ERROR("#8.3: typeof new Date(1999, 12, 1, 0, 0, 0) should be 'object'");
 }
 
 var x84 = new Date(1999, 12, 1, 0, 0, 0);
 if(x84 === undefined){
-  $FAIL("#8.4: new Date(1999, 12, 1, 0, 0, 0) should not be undefined");
+  $ERROR("#8.4: new Date(1999, 12, 1, 0, 0, 0) should not be undefined");
 }
 
 if (typeof new Date(2000, 0, 1, 0, 0, 0) !== "object") {
-  $FAIL("#9.1: typeof new Date(2000, 0, 1, 0, 0, 0) should be 'object'");
+  $ERROR("#9.1: typeof new Date(2000, 0, 1, 0, 0, 0) should be 'object'");
 }
 
 if (new Date(2000, 0, 1, 0, 0, 0) === undefined) {
-  $FAIL("#9.2: new Date(2000, 0, 1, 0, 0, 0) should not be undefined");
+  $ERROR("#9.2: new Date(2000, 0, 1, 0, 0, 0) should not be undefined");
 }
 
 var x93 = new Date(2000, 0, 1, 0, 0, 0);
 if(typeof x93 !== "object"){
-  $FAIL("#9.3: typeof new Date(2000, 0, 1, 0, 0, 0) should be 'object'");
+  $ERROR("#9.3: typeof new Date(2000, 0, 1, 0, 0, 0) should be 'object'");
 }
 
 var x94 = new Date(2000, 0, 1, 0, 0, 0);
 if(x94 === undefined){
-  $FAIL("#9.4: new Date(2000, 0, 1, 0, 0, 0) should not be undefined");
+  $ERROR("#9.4: new Date(2000, 0, 1, 0, 0, 0) should not be undefined");
 }
 
 if (typeof new Date(2099, 11, 31, 23, 59, 59) !== "object") {
-  $FAIL("#10.1: typeof new Date(2099, 11, 31, 23, 59, 59) should be 'object'");
+  $ERROR("#10.1: typeof new Date(2099, 11, 31, 23, 59, 59) should be 'object'");
 }
 
 if (new Date(2099, 11, 31, 23, 59, 59) === undefined) {
-  $FAIL("#10.2: new Date(2099, 11, 31, 23, 59, 59) should not be undefined");
+  $ERROR("#10.2: new Date(2099, 11, 31, 23, 59, 59) should not be undefined");
 }
 
 var x103 = new Date(2099, 11, 31, 23, 59, 59);
 if(typeof x103 !== "object"){
-  $FAIL("#10.3: typeof new Date(2099, 11, 31, 23, 59, 59) should be 'object'");
+  $ERROR("#10.3: typeof new Date(2099, 11, 31, 23, 59, 59) should be 'object'");
 }
 
 var x104 = new Date(2099, 11, 31, 23, 59, 59);
 if(x104 === undefined){
-  $FAIL("#10.4: new Date(2099, 11, 31, 23, 59, 59) should not be undefined");
+  $ERROR("#10.4: new Date(2099, 11, 31, 23, 59, 59) should not be undefined");
 }
 
 if (typeof new Date(2099, 12, 1, 0, 0, 0) !== "object") {
-  $FAIL("#11.1: typeof new Date(2099, 12, 1, 0, 0, 0) should be 'object'");
+  $ERROR("#11.1: typeof new Date(2099, 12, 1, 0, 0, 0) should be 'object'");
 }
 
 if (new Date(2099, 12, 1, 0, 0, 0) === undefined) {
-  $FAIL("#11.2: new Date(2099, 12, 1, 0, 0, 0) should not be undefined");
+  $ERROR("#11.2: new Date(2099, 12, 1, 0, 0, 0) should not be undefined");
 }
 
 var x113 = new Date(2099, 12, 1, 0, 0, 0);
 if(typeof x113 !== "object"){
-  $FAIL("#11.3: typeof new Date(2099, 12, 1, 0, 0, 0) should be 'object'");
+  $ERROR("#11.3: typeof new Date(2099, 12, 1, 0, 0, 0) should be 'object'");
 }
 
 var x114 = new Date(2099, 12, 1, 0, 0, 0);
 if(x114 === undefined){
-  $FAIL("#11.4: new Date(2099, 12, 1, 0, 0, 0) should not be undefined");
+  $ERROR("#11.4: new Date(2099, 12, 1, 0, 0, 0) should not be undefined");
 }
 
 if (typeof new Date(2100, 0, 1, 0, 0, 0) !== "object") {
-  $FAIL("#12.1: typeof new Date(2100, 0, 1, 0, 0, 0) should be 'object'");
+  $ERROR("#12.1: typeof new Date(2100, 0, 1, 0, 0, 0) should be 'object'");
 }
 
 if (new Date(2100, 0, 1, 0, 0, 0) === undefined) {
-  $FAIL("#12.2: new Date(2100, 0, 1, 0, 0, 0) should not be undefined");
+  $ERROR("#12.2: new Date(2100, 0, 1, 0, 0, 0) should not be undefined");
 }
 
 var x123 = new Date(2100, 0, 1, 0, 0, 0);
 if(typeof x123 !== "object"){
-  $FAIL("#12.3: typeof new Date(2100, 0, 1, 0, 0, 0) should be 'object'");
+  $ERROR("#12.3: typeof new Date(2100, 0, 1, 0, 0, 0) should be 'object'");
 }
 
 var x124 = new Date(2100, 0, 1, 0, 0, 0);
 if(x124 === undefined){
-  $FAIL("#12.4: new Date(2100, 0, 1, 0, 0, 0) should not be undefined");
+  $ERROR("#12.4: new Date(2100, 0, 1, 0, 0, 0) should not be undefined");
 }

test/built-ins/Date/S15.9.3.1_A1_T6.js

@@ -7,221 +7,220 @@ info: >
     a constructor: it initializes the newly created object
 es5id: 15.9.3.1_A1_T6
 description: 7 arguments, (year, month, date, hours, minutes, seconds, ms)
-includes: [$FAIL.js]
 ---*/
 
 if (typeof new Date(1899, 11, 31, 23, 59, 59, 999) !== "object") {
-  $FAIL("#1.1: typeof new Date(1899, 11, 31, 23, 59, 59, 999) should be 'object'");
+  $ERROR("#1.1: typeof new Date(1899, 11, 31, 23, 59, 59, 999) should be 'object'");
 }
 
 if (new Date(1899, 11, 31, 23, 59, 59, 999) === undefined) {
-  $FAIL("#1.2: new Date(1899, 11, 31, 23, 59, 59, 999) should not be undefined");
+  $ERROR("#1.2: new Date(1899, 11, 31, 23, 59, 59, 999) should not be undefined");
 }
 
 var x13 = new Date(1899, 11, 31, 23, 59, 59, 999);
 if(typeof x13 !== "object"){
-  $FAIL("#1.3: typeof new Date(1899, 11, 31, 23, 59, 59, 999) should be 'object'");
+  $ERROR("#1.3: typeof new Date(1899, 11, 31, 23, 59, 59, 999) should be 'object'");
 }
 
 var x14 = new Date(1899, 11, 31, 23, 59, 59, 999);
 if(x14 === undefined){
-  $FAIL("#1.4: new Date(1899, 11, 31, 23, 59, 59, 999) should not be undefined");
+  $ERROR("#1.4: new Date(1899, 11, 31, 23, 59, 59, 999) should not be undefined");
 }
 
 if (typeof new Date(1899, 12, 1, 0, 0, 0, 0) !== "object") {
-  $FAIL("#2.1: typeof new Date(1899, 12, 1, 0, 0, 0, 0) should be 'object'");
+  $ERROR("#2.1: typeof new Date(1899, 12, 1, 0, 0, 0, 0) should be 'object'");
 }
 
 if (new Date(1899, 12, 1, 0, 0, 0, 0) === undefined) {
-  $FAIL("#2.2: new Date(1899, 12, 1, 0, 0, 0, 0) should not be undefined");
+  $ERROR("#2.2: new Date(1899, 12, 1, 0, 0, 0, 0) should not be undefined");
 }
 
 var x23 = new Date(1899, 12, 1, 0, 0, 0, 0);
 if(typeof x23 !== "object"){
-  $FAIL("#2.3: typeof new Date(1899, 12, 1, 0, 0, 0, 0) should be 'object'");
+  $ERROR("#2.3: typeof new Date(1899, 12, 1, 0, 0, 0, 0) should be 'object'");
 }
 
 var x24 = new Date(1899, 12, 1, 0, 0, 0, 0);
 if(x24 === undefined){
-  $FAIL("#2.4: new Date(1899, 12, 1, 0, 0, 0, 0) should not be undefined");
+  $ERROR("#2.4: new Date(1899, 12, 1, 0, 0, 0, 0) should not be undefined");
 }
 
 if (typeof new Date(1900, 0, 1, 0, 0, 0, 0) !== "object") {
-  $FAIL("#3.1: typeof new Date(1900, 0, 1, 0, 0, 0, 0) should be 'object'");
+  $ERROR("#3.1: typeof new Date(1900, 0, 1, 0, 0, 0, 0) should be 'object'");
 }
 
 if (new Date(1900, 0, 1, 0, 0, 0, 0) === undefined) {
-  $FAIL("#3.2: new Date(1900, 0, 1, 0, 0, 0, 0) should not be undefined");
+  $ERROR("#3.2: new Date(1900, 0, 1, 0, 0, 0, 0) should not be undefined");
 }
 
 var x33 = new Date(1900, 0, 1, 0, 0, 0, 0);
 if(typeof x33 !== "object"){
-  $FAIL("#3.3: typeof new Date(1900, 0, 1, 0, 0, 0, 0) should be 'object'");
+  $ERROR("#3.3: typeof new Date(1900, 0, 1, 0, 0, 0, 0) should be 'object'");
 }
 
 var x34 = new Date(1900, 0, 1, 0, 0, 0, 0);
 if(x34 === undefined){
-  $FAIL("#3.4: new Date(1900, 0, 1, 0, 0, 0, 0) should not be undefined");
+  $ERROR("#3.4: new Date(1900, 0, 1, 0, 0, 0, 0) should not be undefined");
 }
 
 if (typeof new Date(1969, 11, 31, 23, 59, 59, 999) !== "object") {
-  $FAIL("#4.1: typeof new Date(1969, 11, 31, 23, 59, 59, 999) should be 'object'");
+  $ERROR("#4.1: typeof new Date(1969, 11, 31, 23, 59, 59, 999) should be 'object'");
 }
 
 if (new Date(1969, 11, 31, 23, 59, 59, 999) === undefined) {
-  $FAIL("#4.2: new Date(1969, 11, 31, 23, 59, 59, 999) should not be undefined");
+  $ERROR("#4.2: new Date(1969, 11, 31, 23, 59, 59, 999) should not be undefined");
 }
 
 var x43 = new Date(1969, 11, 31, 23, 59, 59, 999);
 if(typeof x43 !== "object"){
-  $FAIL("#4.3: typeof new Date(1969, 11, 31, 23, 59, 59, 999) should be 'object'");
+  $ERROR("#4.3: typeof new Date(1969, 11, 31, 23, 59, 59, 999) should be 'object'");
 }
 
 var x44 = new Date(1969, 11, 31, 23, 59, 59, 999);
 if(x44 === undefined){
-  $FAIL("#4.4: new Date(1969, 11, 31, 23, 59, 59, 999) should not be undefined");
+  $ERROR("#4.4: new Date(1969, 11, 31, 23, 59, 59, 999) should not be undefined");
 }
 
 if (typeof new Date(1969, 12, 1, 0, 0, 0, 0) !== "object") {
-  $FAIL("#5.1: typeof new Date(1969, 12, 1, 0, 0, 0, 0) should be 'object'");
+  $ERROR("#5.1: typeof new Date(1969, 12, 1, 0, 0, 0, 0) should be 'object'");
 }
 
 if (new Date(1969, 12, 1, 0, 0, 0, 0) === undefined) {
-  $FAIL("#5.2: new Date(1969, 12, 1, 0, 0, 0, 0) should not be undefined");
+  $ERROR("#5.2: new Date(1969, 12, 1, 0, 0, 0, 0) should not be undefined");
 }
 
 var x53 = new Date(1969, 12, 1, 0, 0, 0, 0);
 if(typeof x53 !== "object"){
-  $FAIL("#5.3: typeof new Date(1969, 12, 1, 0, 0, 0, 0) should be 'object'");
+  $ERROR("#5.3: typeof new Date(1969, 12, 1, 0, 0, 0, 0) should be 'object'");
 }
 
 var x54 = new Date(1969, 12, 1, 0, 0, 0, 0);
 if(x54 === undefined){
-  $FAIL("#5.4: new Date(1969, 12, 1, 0, 0, 0, 0) should not be undefined");
+  $ERROR("#5.4: new Date(1969, 12, 1, 0, 0, 0, 0) should not be undefined");
 }
 
 if (typeof new Date(1970, 0, 1, 0, 0, 0, 0) !== "object") {
-  $FAIL("#6.1: typeof new Date(1970, 0, 1, 0, 0, 0, 0) should be 'object'");
+  $ERROR("#6.1: typeof new Date(1970, 0, 1, 0, 0, 0, 0) should be 'object'");
 }
 
 if (new Date(1970, 0, 1, 0, 0, 0, 0) === undefined) {
-  $FAIL("#6.2: new Date(1970, 0, 1, 0, 0, 0, 0) should not be undefined");
+  $ERROR("#6.2: new Date(1970, 0, 1, 0, 0, 0, 0) should not be undefined");
 }
 
 var x63 = new Date(1970, 0, 1, 0, 0, 0, 0);
 if(typeof x63 !== "object"){
-  $FAIL("#6.3: typeof new Date(1970, 0, 1, 0, 0, 0, 0) should be 'object'");
+  $ERROR("#6.3: typeof new Date(1970, 0, 1, 0, 0, 0, 0) should be 'object'");
 }
 
 var x64 = new Date(1970, 0, 1, 0, 0, 0, 0);
 if(x64 === undefined){
-  $FAIL("#6.4: new Date(1970, 0, 1, 0, 0, 0, 0) should not be undefined");
+  $ERROR("#6.4: new Date(1970, 0, 1, 0, 0, 0, 0) should not be undefined");
 }
 
 if (typeof new Date(1999, 11, 31, 23, 59, 59, 999) !== "object") {
-  $FAIL("#7.1: typeof new Date(1999, 11, 31, 23, 59, 59, 999) should be 'object'");
+  $ERROR("#7.1: typeof new Date(1999, 11, 31, 23, 59, 59, 999) should be 'object'");
 }
 
 if (new Date(1999, 11, 31, 23, 59, 59, 999) === undefined) {
-  $FAIL("#7.2: new Date(1999, 11, 31, 23, 59, 59, 999) should not be undefined");
+  $ERROR("#7.2: new Date(1999, 11, 31, 23, 59, 59, 999) should not be undefined");
 }
 
 var x73 = new Date(1999, 11, 31, 23, 59, 59, 999);
 if(typeof x73 !== "object"){
-  $FAIL("#7.3: typeof new Date(1999, 11, 31, 23, 59, 59, 999) should be 'object'");
+  $ERROR("#7.3: typeof new Date(1999, 11, 31, 23, 59, 59, 999) should be 'object'");
 }
 
 var x74 = new Date(1999, 11, 31, 23, 59, 59, 999);
 if(x74 === undefined){
-  $FAIL("#7.4: new Date(1999, 11, 31, 23, 59, 59, 999) should not be undefined");
+  $ERROR("#7.4: new Date(1999, 11, 31, 23, 59, 59, 999) should not be undefined");
 }
 
 if (typeof new Date(1999, 12, 1, 0, 0, 0, 0) !== "object") {
-  $FAIL("#8.1: typeof new Date(1999, 12, 1, 0, 0, 0, 0) should be 'object'");
+  $ERROR("#8.1: typeof new Date(1999, 12, 1, 0, 0, 0, 0) should be 'object'");
 }
 
 if (new Date(1999, 12, 1, 0, 0, 0, 0) === undefined) {
-  $FAIL("#8.2: new Date(1999, 12, 1, 0, 0, 0, 0) should not be undefined");
+  $ERROR("#8.2: new Date(1999, 12, 1, 0, 0, 0, 0) should not be undefined");
 }
 
 var x83 = new Date(1999, 12, 1, 0, 0, 0, 0);
 if(typeof x83 !== "object"){
-  $FAIL("#8.3: typeof new Date(1999, 12, 1, 0, 0, 0, 0) should be 'object'");
+  $ERROR("#8.3: typeof new Date(1999, 12, 1, 0, 0, 0, 0) should be 'object'");
 }
 
 var x84 = new Date(1999, 12, 1, 0, 0, 0, 0);
 if(x84 === undefined){
-  $FAIL("#8.4: new Date(1999, 12, 1, 0, 0, 0, 0) should not be undefined");
+  $ERROR("#8.4: new Date(1999, 12, 1, 0, 0, 0, 0) should not be undefined");
 }
 
 if (typeof new Date(2000, 0, 1, 0, 0, 0, 0) !== "object") {
-  $FAIL("#9.1: typeof new Date(2000, 0, 1, 0, 0, 0, 0) should be 'object'");
+  $ERROR("#9.1: typeof new Date(2000, 0, 1, 0, 0, 0, 0) should be 'object'");
 }
 
 if (new Date(2000, 0, 1, 0, 0, 0, 0) === undefined) {
-  $FAIL("#9.2: new Date(2000, 0, 1, 0, 0, 0, 0) should not be undefined");
+  $ERROR("#9.2: new Date(2000, 0, 1, 0, 0, 0, 0) should not be undefined");
 }
 
 var x93 = new Date(2000, 0, 1, 0, 0, 0, 0);
 if(typeof x93 !== "object"){
-  $FAIL("#9.3: typeof new Date(2000, 0, 1, 0, 0, 0, 0) should be 'object'");
+  $ERROR("#9.3: typeof new Date(2000, 0, 1, 0, 0, 0, 0) should be 'object'");
 }
 
 var x94 = new Date(2000, 0, 1, 0, 0, 0, 0);
 if(x94 === undefined){
-  $FAIL("#9.4: new Date(2000, 0, 1, 0, 0, 0, 0) should not be undefined");
+  $ERROR("#9.4: new Date(2000, 0, 1, 0, 0, 0, 0) should not be undefined");
 }
 
 if (typeof new Date(2099, 11, 31, 23, 59, 59, 999) !== "object") {
-  $FAIL("#10.1: typeof new Date(2099, 11, 31, 23, 59, 59, 999) should be 'object'");
+  $ERROR("#10.1: typeof new Date(2099, 11, 31, 23, 59, 59, 999) should be 'object'");
 }
 
 if (new Date(2099, 11, 31, 23, 59, 59, 999) === undefined) {
-  $FAIL("#10.2: new Date(2099, 11, 31, 23, 59, 59, 999) should not be undefined");
+  $ERROR("#10.2: new Date(2099, 11, 31, 23, 59, 59, 999) should not be undefined");
 }
 
 var x103 = new Date(2099, 11, 31, 23, 59, 59, 999);
 if(typeof x103 !== "object"){
-  $FAIL("#10.3: typeof new Date(2099, 11, 31, 23, 59, 59, 999) should be 'object'");
+  $ERROR("#10.3: typeof new Date(2099, 11, 31, 23, 59, 59, 999) should be 'object'");
 }
 
 var x104 = new Date(2099, 11, 31, 23, 59, 59, 999);
 if(x104 === undefined){
-  $FAIL("#10.4: new Date(2099, 11, 31, 23, 59, 59, 999) should not be undefined");
+  $ERROR("#10.4: new Date(2099, 11, 31, 23, 59, 59, 999) should not be undefined");
 }
 
 if (typeof new Date(2099, 12, 1, 0, 0, 0, 0) !== "object") {
-  $FAIL("#11.1: typeof new Date(2099, 12, 1, 0, 0, 0, 0) should be 'object'");
+  $ERROR("#11.1: typeof new Date(2099, 12, 1, 0, 0, 0, 0) should be 'object'");
 }
 
 if (new Date(2099, 12, 1, 0, 0, 0, 0) === undefined) {
-  $FAIL("#11.2: new Date(2099, 12, 1, 0, 0, 0, 0) should not be undefined");
+  $ERROR("#11.2: new Date(2099, 12, 1, 0, 0, 0, 0) should not be undefined");
 }
 
 var x113 = new Date(2099, 12, 1, 0, 0, 0, 0);
 if(typeof x113 !== "object"){
-  $FAIL("#11.3: typeof new Date(2099, 12, 1, 0, 0, 0, 0) should be 'object'");
+  $ERROR("#11.3: typeof new Date(2099, 12, 1, 0, 0, 0, 0) should be 'object'");
 }
 
 var x114 = new Date(2099, 12, 1, 0, 0, 0, 0);
 if(x114 === undefined){
-  $FAIL("#11.4: new Date(2099, 12, 1, 0, 0, 0, 0) should not be undefined");
+  $ERROR("#11.4: new Date(2099, 12, 1, 0, 0, 0, 0) should not be undefined");
 }
 
 if (typeof new Date(2100, 0, 1, 0, 0, 0, 0) !== "object") {
-  $FAIL("#12.1: typeof new Date(2100, 0, 1, 0, 0, 0, 0) should be 'object'");
+  $ERROR("#12.1: typeof new Date(2100, 0, 1, 0, 0, 0, 0) should be 'object'");
 }
 
 if (new Date(2100, 0, 1, 0, 0, 0, 0) === undefined) {
-  $FAIL("#12.2: new Date(2100, 0, 1, 0, 0, 0, 0) should not be undefined");
+  $ERROR("#12.2: new Date(2100, 0, 1, 0, 0, 0, 0) should not be undefined");
 }
 
 var x123 = new Date(2100, 0, 1, 0, 0, 0, 0);
 if(typeof x123 !== "object"){
-  $FAIL("#12.3: typeof new Date(2100, 0, 1, 0, 0, 0, 0) should be 'object'");
+  $ERROR("#12.3: typeof new Date(2100, 0, 1, 0, 0, 0, 0) should be 'object'");
 }
 
 var x124 = new Date(2100, 0, 1, 0, 0, 0, 0);
 if(x124 === undefined){
-  $FAIL("#12.4: new Date(2100, 0, 1, 0, 0, 0, 0) should not be undefined");
+  $ERROR("#12.4: new Date(2100, 0, 1, 0, 0, 0, 0) should not be undefined");
 }

test/built-ins/Date/S15.9.3.1_A2_T1.js

@@ -8,12 +8,11 @@ info: >
     initial value of Date.prototype
 es5id: 15.9.3.1_A2_T1
 description: 2 arguments, (year, month)
-includes: [$FAIL.js]
 ---*/
 
 var x11 = new Date(1899, 11);
 if (typeof x11.constructor.prototype !== "object") {
-  $FAIL("#1.1: typeof x11.constructor.prototype === 'object'");
+  $ERROR("#1.1: typeof x11.constructor.prototype === 'object'");
 }
 
 var x12 = new Date(1899, 11);
@@ -23,12 +22,12 @@ if (!Date.prototype.isPrototypeOf(x12)) {
 
 var x13 = new Date(1899, 11);
 if(Date.prototype !== x13.constructor.prototype){
-  $FAIL("#1.3: Date.prototype === x13.constructor.prototype");
+  $ERROR("#1.3: Date.prototype === x13.constructor.prototype");
 }
 
 var x21 = new Date(1899, 12);
 if (typeof x21.constructor.prototype !== "object") {
-  $FAIL("#2.1: typeof x11.constructor.prototype === 'object'");
+  $ERROR("#2.1: typeof x11.constructor.prototype === 'object'");
 }
 
 var x22 = new Date(1899, 12);
@@ -38,12 +37,12 @@ if (!Date.prototype.isPrototypeOf(x22)) {
 
 var x23 = new Date(1899, 12);
 if(Date.prototype !== x23.constructor.prototype){
-  $FAIL("#2.3: Date.prototype === x23.constructor.prototype");
+  $ERROR("#2.3: Date.prototype === x23.constructor.prototype");
 }
 
 var x31 = new Date(1900, 0);
 if (typeof x31.constructor.prototype !== "object") {
-  $FAIL("#3.1: typeof x31.constructor.prototype === 'object'");
+  $ERROR("#3.1: typeof x31.constructor.prototype === 'object'");
 }
 
 var x32 = new Date(1900, 0);
@@ -53,12 +52,12 @@ if (!Date.prototype.isPrototypeOf(x32)) {
 
 var x33 = new Date(1900, 0);
 if(Date.prototype !== x33.constructor.prototype){
-  $FAIL("#3.3: Date.prototype === x33.constructor.prototype");
+  $ERROR("#3.3: Date.prototype === x33.constructor.prototype");
 }
 
 var x41 = new Date(1969, 11);
 if (typeof x41.constructor.prototype !== "object") {
-  $FAIL("#4.1: typeof x41.constructor.prototype === 'object'");
+  $ERROR("#4.1: typeof x41.constructor.prototype === 'object'");
 }
 
 var x42 = new Date(1969, 11);
@@ -68,12 +67,12 @@ if (!Date.prototype.isPrototypeOf(x42)) {
 
 var x43 = new Date(1969, 11);
 if(Date.prototype !== x43.constructor.prototype){
-  $FAIL("#4.3: Date.prototype === x43.constructor.prototype");
+  $ERROR("#4.3: Date.prototype === x43.constructor.prototype");
 }
 
 var x51 = new Date(1969, 12);
 if (typeof x51.constructor.prototype !== "object") {
-  $FAIL("#5.1: typeof x51.constructor.prototype === 'object'");
+  $ERROR("#5.1: typeof x51.constructor.prototype === 'object'");
 }
 
 var x52 = new Date(1969, 12);
@@ -83,12 +82,12 @@ if (!Date.prototype.isPrototypeOf(x52)) {
 
 var x53 = new Date(1969, 12);
 if(Date.prototype !== x53.constructor.prototype){
-  $FAIL("#5.3: Date.prototype === x53.constructor.prototype");
+  $ERROR("#5.3: Date.prototype === x53.constructor.prototype");
 }
 
 var x61 = new Date(1970, 0);
 if (typeof x61.constructor.prototype !== "object") {
-  $FAIL("#6.1: typeof x61.constructor.prototype === 'object'");
+  $ERROR("#6.1: typeof x61.constructor.prototype === 'object'");
 }
 
 var x62 = new Date(1970, 0);
@@ -98,12 +97,12 @@ if (!Date.prototype.isPrototypeOf(x62)) {
 
 var x63 = new Date(1970, 0);
 if(Date.prototype !== x63.constructor.prototype){
-  $FAIL("#6.3: Date.prototype === x63.constructor.prototype");
+  $ERROR("#6.3: Date.prototype === x63.constructor.prototype");
 }
 
 var x71 = new Date(1999, 11);
 if (typeof x71.constructor.prototype !== "object") {
-  $FAIL("#7.1: typeof x71.constructor.prototype === 'object'");
+  $ERROR("#7.1: typeof x71.constructor.prototype === 'object'");
 }
 
 var x72 = new Date(1999, 11);
@@ -113,12 +112,12 @@ if (!Date.prototype.isPrototypeOf(x72)) {
 
 var x73 = new Date(1999, 11);
 if(Date.prototype !== x73.constructor.prototype){
-  $FAIL("#7.3: Date.prototype === x73.constructor.prototype");
+  $ERROR("#7.3: Date.prototype === x73.constructor.prototype");
 }
 
 var x81 = new Date(1999, 12);
 if (typeof x81.constructor.prototype !== "object") {
-  $FAIL("#8.1: typeof x81.constructor.prototype === 'object'");
+  $ERROR("#8.1: typeof x81.constructor.prototype === 'object'");
 }
 
 var x82 = new Date(1999, 12);
@@ -128,12 +127,12 @@ if (!Date.prototype.isPrototypeOf(x82)) {
 
 var x83 = new Date(1999, 12);
 if(Date.prototype !== x83.constructor.prototype){
-  $FAIL("#8.3: Date.prototype === x83.constructor.prototype");
+  $ERROR("#8.3: Date.prototype === x83.constructor.prototype");
 }
 
 var x91 = new Date(2000, 0);
 if (typeof x91.constructor.prototype !== "object") {
-  $FAIL("#9.1: typeof x91.constructor.prototype === 'object'");
+  $ERROR("#9.1: typeof x91.constructor.prototype === 'object'");
 }
 
 var x92 = new Date(2000, 0);
@@ -143,12 +142,12 @@ if (!Date.prototype.isPrototypeOf(x92)) {
 
 var x93 = new Date(2000, 0);
 if(Date.prototype !== x93.constructor.prototype){
-  $FAIL("#9.3: Date.prototype === x93.constructor.prototype");
+  $ERROR("#9.3: Date.prototype === x93.constructor.prototype");
 }
 
 var x101 = new Date(2099, 11);
 if (typeof x101.constructor.prototype !== "object") {
-  $FAIL("#10.1: typeof x101.constructor.prototype === 'object'");
+  $ERROR("#10.1: typeof x101.constructor.prototype === 'object'");
 }
 
 var x102 = new Date(2099, 11);
@@ -158,12 +157,12 @@ if (!Date.prototype.isPrototypeOf(x102)) {
 
 var x103 = new Date(2099, 11);
 if(Date.prototype !== x103.constructor.prototype){
-  $FAIL("#10.3: Date.prototype === x103.constructor.prototype");
+  $ERROR("#10.3: Date.prototype === x103.constructor.prototype");
 }
 
 var x111 = new Date(2099, 12);
 if (typeof x111.constructor.prototype !== "object") {
-  $FAIL("#11.1: typeof x111.constructor.prototype === 'object'");
+  $ERROR("#11.1: typeof x111.constructor.prototype === 'object'");
 }
 
 var x112 = new Date(2099, 12);
@@ -173,12 +172,12 @@ if (!Date.prototype.isPrototypeOf(x112)) {
 
 var x113 = new Date(2099, 12);
 if(Date.prototype !== x113.constructor.prototype){
-  $FAIL("#11.3: Date.prototype === x113.constructor.prototype");
+  $ERROR("#11.3: Date.prototype === x113.constructor.prototype");
 }
 
 var x121 = new Date(2100, 0);
 if (typeof x121.constructor.prototype !== "object") {
-  $FAIL("#12.1: typeof x121.constructor.prototype === 'object'");
+  $ERROR("#12.1: typeof x121.constructor.prototype === 'object'");
 }
 
 var x122 = new Date(2100, 0);
@@ -188,5 +187,5 @@ if (!Date.prototype.isPrototypeOf(x122)) {
 
 var x123 = new Date(2100, 0);
 if(Date.prototype !== x123.constructor.prototype){
-  $FAIL("#12.3: Date.prototype === x123.constructor.prototype");
+  $ERROR("#12.3: Date.prototype === x123.constructor.prototype");
 }

test/built-ins/Date/S15.9.3.1_A2_T2.js

@@ -8,12 +8,11 @@ info: >
     initial value of Date.prototype
 es5id: 15.9.3.1_A2_T2
 description: 3 arguments, (year, month, date)
-includes: [$FAIL.js]
 ---*/
 
 var x11 = new Date(1899, 11, 31);
 if (typeof x11.constructor.prototype !== "object") {
-  $FAIL("#1.1: typeof x11.constructor.prototype === 'object'");
+  $ERROR("#1.1: typeof x11.constructor.prototype === 'object'");
 }
 
 var x12 = new Date(1899, 11, 31);
@@ -23,12 +22,12 @@ if (!Date.prototype.isPrototypeOf(x12)) {
 
 var x13 = new Date(1899, 11, 31);
 if(Date.prototype !== x13.constructor.prototype){
-  $FAIL("#1.3: Date.prototype === x13.constructor.prototype");
+  $ERROR("#1.3: Date.prototype === x13.constructor.prototype");
 }
 
 var x21 = new Date(1899, 12, 1);
 if (typeof x21.constructor.prototype !== "object") {
-  $FAIL("#2.1: typeof x21.constructor.prototype === 'object'");
+  $ERROR("#2.1: typeof x21.constructor.prototype === 'object'");
 }
 
 var x22 = new Date(1899, 12, 1);
@@ -38,12 +37,12 @@ if (!Date.prototype.isPrototypeOf(x22)) {
 
 var x23 = new Date(1899, 12, 1);
 if(Date.prototype !== x23.constructor.prototype){
-  $FAIL("#2.3: Date.prototype === x23.constructor.prototype");
+  $ERROR("#2.3: Date.prototype === x23.constructor.prototype");
 }
 
 var x31 = new Date(1900, 0, 1);
 if (typeof x31.constructor.prototype !== "object") {
-  $FAIL("#3.1: typeof x31.constructor.prototype === 'object'");
+  $ERROR("#3.1: typeof x31.constructor.prototype === 'object'");
 }
 
 var x32 = new Date(1900, 0, 1);
@@ -53,12 +52,12 @@ if (!Date.prototype.isPrototypeOf(x32)) {
 
 var x33 = new Date(1900, 0, 1);
 if(Date.prototype !== x33.constructor.prototype){
-  $FAIL("#3.3: Date.prototype === x33.constructor.prototype");
+  $ERROR("#3.3: Date.prototype === x33.constructor.prototype");
 }
 
 var x41 = new Date(1969, 11, 31);
 if (typeof x41.constructor.prototype !== "object") {
-  $FAIL("#4.1: typeof x41.constructor.prototype === 'object'");
+  $ERROR("#4.1: typeof x41.constructor.prototype === 'object'");
 }
 
 var x42 = new Date(1969, 11, 31);
@@ -68,12 +67,12 @@ if (!Date.prototype.isPrototypeOf(x42)) {
 
 var x43 = new Date(1969, 11, 31);
 if(Date.prototype !== x43.constructor.prototype){
-  $FAIL("#4.3: Date.prototype === x43.constructor.prototype");
+  $ERROR("#4.3: Date.prototype === x43.constructor.prototype");
 }
 
 var x51 = new Date(1969, 12, 1);
 if (typeof x51.constructor.prototype !== "object") {
-  $FAIL("#5.1: typeof x51.constructor.prototype === 'object'");
+  $ERROR("#5.1: typeof x51.constructor.prototype === 'object'");
 }
 
 var x52 = new Date(1969, 12, 1);
@@ -83,12 +82,12 @@ if (!Date.prototype.isPrototypeOf(x52)) {
 
 var x53 = new Date(1969, 12, 1);
 if(Date.prototype !== x53.constructor.prototype){
-  $FAIL("#5.3: Date.prototype === x53.constructor.prototype");
+  $ERROR("#5.3: Date.prototype === x53.constructor.prototype");
 }
 
 var x61 = new Date(1970, 0, 1);
 if (typeof x61.constructor.prototype !== "object") {
-  $FAIL("#6.1: typeof x61.constructor.prototype === 'object'");
+  $ERROR("#6.1: typeof x61.constructor.prototype === 'object'");
 }
 
 var x62 = new Date(1970, 0, 1);
@@ -98,12 +97,12 @@ if (!Date.prototype.isPrototypeOf(x62)) {
 
 var x63 = new Date(1970, 0, 1);
 if(Date.prototype !== x63.constructor.prototype){
-  $FAIL("#6.3: Date.prototype === x63.constructor.prototype");
+  $ERROR("#6.3: Date.prototype === x63.constructor.prototype");
 }
 
 var x71 = new Date(1999, 11, 31);
 if (typeof x71.constructor.prototype !== "object") {
-  $FAIL("#7.1: typeof x71.constructor.prototype === 'object'");
+  $ERROR("#7.1: typeof x71.constructor.prototype === 'object'");
 }
 
 var x72 = new Date(1999, 11, 31);
@@ -113,12 +112,12 @@ if (!Date.prototype.isPrototypeOf(x72)) {
 
 var x73 = new Date(1999, 11, 31);
 if(Date.prototype !== x73.constructor.prototype){
-  $FAIL("#7.3: Date.prototype === x73.constructor.prototype");
+  $ERROR("#7.3: Date.prototype === x73.constructor.prototype");
 }
 
 var x81 = new Date(1999, 12, 1);
 if (typeof x81.constructor.prototype !== "object") {
-  $FAIL("#8.1: typeof x81.constructor.prototype === 'object'");
+  $ERROR("#8.1: typeof x81.constructor.prototype === 'object'");
 }
 
 var x82 = new Date(1999, 12, 1);
@@ -128,12 +127,12 @@ if (!Date.prototype.isPrototypeOf(x82)) {
 
 var x83 = new Date(1999, 12, 1);
 if(Date.prototype !== x83.constructor.prototype){
-  $FAIL("#8.3: Date.prototype === x83.constructor.prototype");
+  $ERROR("#8.3: Date.prototype === x83.constructor.prototype");
 }
 
 var x91 = new Date(2000, 0, 1);
 if (typeof x91.constructor.prototype !== "object") {
-  $FAIL("#9.1: typeof x91.constructor.prototype === 'object'");
+  $ERROR("#9.1: typeof x91.constructor.prototype === 'object'");
 }
 
 var x92 = new Date(2000, 0, 1);
@@ -143,12 +142,12 @@ if (!Date.prototype.isPrototypeOf(x92)) {
 
 var x93 = new Date(2000, 0, 1);
 if(Date.prototype !== x93.constructor.prototype){
-  $FAIL("#9.3: Date.prototype === x93.constructor.prototype");
+  $ERROR("#9.3: Date.prototype === x93.constructor.prototype");
 }
 
 var x101 = new Date(2099, 11, 31);
 if (typeof x101.constructor.prototype !== "object") {
-  $FAIL("#10.1: typeof x101.constructor.prototype === 'object'");
+  $ERROR("#10.1: typeof x101.constructor.prototype === 'object'");
 }
 
 var x102 = new Date(2099, 11, 31);
@@ -158,12 +157,12 @@ if (!Date.prototype.isPrototypeOf(x102)) {
 
 var x103 = new Date(2099, 11, 31);
 if(Date.prototype !== x103.constructor.prototype){
-  $FAIL("#10.3: Date.prototype === x103.constructor.prototype");
+  $ERROR("#10.3: Date.prototype === x103.constructor.prototype");
 }
 
 var x111 = new Date(2099, 12, 1);
 if (typeof x111.constructor.prototype !== "object") {
-  $FAIL("#11.1: typeof x111.constructor.prototype === 'object'");
+  $ERROR("#11.1: typeof x111.constructor.prototype === 'object'");
 }
 
 var x112 = new Date(2099, 12, 1);
@@ -173,12 +172,12 @@ if (!Date.prototype.isPrototypeOf(x112)) {
 
 var x113 = new Date(2099, 12, 1);
 if(Date.prototype !== x113.constructor.prototype){
-  $FAIL("#11.3: Date.prototype === x113.constructor.prototype");
+  $ERROR("#11.3: Date.prototype === x113.constructor.prototype");
 }
 
 var x121 = new Date(2100, 0, 1);
 if (typeof x121.constructor.prototype !== "object") {
-  $FAIL("#12.1: typeof x121.constructor.prototype === 'object'");
+  $ERROR("#12.1: typeof x121.constructor.prototype === 'object'");
 }
 
 var x122 = new Date(2100, 0, 1);
@@ -188,5 +187,5 @@ if (!Date.prototype.isPrototypeOf(x122)) {
 
 var x123 = new Date(2100, 0, 1);
 if(Date.prototype !== x123.constructor.prototype){
-  $FAIL("#12.3: Date.prototype === x123.constructor.prototype");
+  $ERROR("#12.3: Date.prototype === x123.constructor.prototype");
 }

test/built-ins/Date/S15.9.3.1_A2_T3.js

@@ -8,12 +8,11 @@ info: >
     initial value of Date.prototype
 es5id: 15.9.3.1_A2_T3
 description: 4 arguments, (year, month, date, hours)
-includes: [$FAIL.js]
 ---*/
 
 var x11 = new Date(1899, 11, 31, 23);
 if (typeof x11.constructor.prototype !== "object") {
-  $FAIL("#1.1: typeof x11.constructor.prototype === 'object'");
+  $ERROR("#1.1: typeof x11.constructor.prototype === 'object'");
 }
 
 var x12 = new Date(1899, 11, 31, 23);
@@ -23,12 +22,12 @@ if (!Date.prototype.isPrototypeOf(x12)) {
 
 var x13 = new Date(1899, 11, 31, 23);
 if(Date.prototype !== x13.constructor.prototype){
-  $FAIL("#1.3: Date.prototype === x13.constructor.prototype");
+  $ERROR("#1.3: Date.prototype === x13.constructor.prototype");
 }
 
 var x21 = new Date(1899, 12, 1, 0);
 if (typeof x21.constructor.prototype !== "object") {
-  $FAIL("#2.1: typeof x21.constructor.prototype === 'object'");
+  $ERROR("#2.1: typeof x21.constructor.prototype === 'object'");
 }
 
 var x22 = new Date(1899, 12, 1, 0);
@@ -38,12 +37,12 @@ if (!Date.prototype.isPrototypeOf(x22)) {
 
 var x23 = new Date(1899, 12, 1, 0);
 if(Date.prototype !== x23.constructor.prototype){
-  $FAIL("#2.3: Date.prototype === x23.constructor.prototype");
+  $ERROR("#2.3: Date.prototype === x23.constructor.prototype");
 }
 
 var x31 = new Date(1900, 0, 1, 0);
 if (typeof x31.constructor.prototype !== "object") {
-  $FAIL("#3.1: typeof x31.constructor.prototype === 'object'");
+  $ERROR("#3.1: typeof x31.constructor.prototype === 'object'");
 }
 
 var x32 = new Date(1900, 0, 1, 0);
@@ -53,12 +52,12 @@ if (!Date.prototype.isPrototypeOf(x32)) {
 
 var x33 = new Date(1900, 0, 1, 0);
 if(Date.prototype !== x33.constructor.prototype){
-  $FAIL("#3.3: Date.prototype === x33.constructor.prototype");
+  $ERROR("#3.3: Date.prototype === x33.constructor.prototype");
 }
 
 var x41 = new Date(1969, 11, 31, 23);
 if (typeof x41.constructor.prototype !== "object") {
-  $FAIL("#4.1: typeof x41.constructor.prototype === 'object'");
+  $ERROR("#4.1: typeof x41.constructor.prototype === 'object'");
 }
 
 var x42 = new Date(1969, 11, 31, 23);
@@ -68,12 +67,12 @@ if (!Date.prototype.isPrototypeOf(x42)) {
 
 var x43 = new Date(1969, 11, 31, 23);
 if(Date.prototype !== x43.constructor.prototype){
-  $FAIL("#4.3: Date.prototype === x43.constructor.prototype");
+  $ERROR("#4.3: Date.prototype === x43.constructor.prototype");
 }
 
 var x51 = new Date(1969, 12, 1, 0);
 if (typeof x51.constructor.prototype !== "object") {
-  $FAIL("#5.1: typeof x51.constructor.prototype === 'object'");
+  $ERROR("#5.1: typeof x51.constructor.prototype === 'object'");
 }
 
 var x52 = new Date(1969, 12, 1, 0);
@@ -83,12 +82,12 @@ if (!Date.prototype.isPrototypeOf(x52)) {
 
 var x53 = new Date(1969, 12, 1, 0);
 if(Date.prototype !== x53.constructor.prototype){
-  $FAIL("#5.3: Date.prototype === x53.constructor.prototype");
+  $ERROR("#5.3: Date.prototype === x53.constructor.prototype");
 }
 
 var x61 = new Date(1970, 0, 1, 0);
 if (typeof x61.constructor.prototype !== "object") {
-  $FAIL("#6.1: typeof x61.constructor.prototype === 'object'");
+  $ERROR("#6.1: typeof x61.constructor.prototype === 'object'");
 }
 
 var x62 = new Date(1970, 0, 1, 0);
@@ -98,12 +97,12 @@ if (!Date.prototype.isPrototypeOf(x62)) {
 
 var x63 = new Date(1970, 0, 1, 0);
 if(Date.prototype !== x63.constructor.prototype){
-  $FAIL("#6.3: Date.prototype === x63.constructor.prototype");
+  $ERROR("#6.3: Date.prototype === x63.constructor.prototype");
 }
 
 var x71 = new Date(1999, 11, 31, 23);
 if (typeof x71.constructor.prototype !== "object") {
-  $FAIL("#7.1: typeof x71.constructor.prototype === 'object'");
+  $ERROR("#7.1: typeof x71.constructor.prototype === 'object'");
 }
 
 var x72 = new Date(1999, 11, 31, 23);
@@ -113,12 +112,12 @@ if (!Date.prototype.isPrototypeOf(x72)) {
 
 var x73 = new Date(1999, 11, 31, 23);
 if(Date.prototype !== x73.constructor.prototype){
-  $FAIL("#7.3: Date.prototype === x73.constructor.prototype");
+  $ERROR("#7.3: Date.prototype === x73.constructor.prototype");
 }
 
 var x81 = new Date(1999, 12, 1, 0);
 if (typeof x81.constructor.prototype !== "object") {
-  $FAIL("#8.1: typeof x81.constructor.prototype === 'object'");
+  $ERROR("#8.1: typeof x81.constructor.prototype === 'object'");
 }
 
 var x82 = new Date(1999, 12, 1, 0);
@@ -128,12 +127,12 @@ if (!Date.prototype.isPrototypeOf(x82)) {
 
 var x83 = new Date(1999, 12, 1, 0);
 if(Date.prototype !== x83.constructor.prototype){
-  $FAIL("#8.3: Date.prototype === x83.constructor.prototype");
+  $ERROR("#8.3: Date.prototype === x83.constructor.prototype");
 }
 
 var x91 = new Date(2000, 0, 1, 0);
 if (typeof x91.constructor.prototype !== "object") {
-  $FAIL("#9.1: typeof x91.constructor.prototype === 'object'");
+  $ERROR("#9.1: typeof x91.constructor.prototype === 'object'");
 }
 
 var x92 = new Date(2000, 0, 1, 0);
@@ -143,12 +142,12 @@ if (!Date.prototype.isPrototypeOf(x92)) {
 
 var x93 = new Date(2000, 0, 1, 0);
 if(Date.prototype !== x93.constructor.prototype){
-  $FAIL("#9.3: Date.prototype === x93.constructor.prototype");
+  $ERROR("#9.3: Date.prototype === x93.constructor.prototype");
 }
 
 var x101 = new Date(2099, 11, 31, 23);
 if (typeof x101.constructor.prototype !== "object") {
-  $FAIL("#10.1: typeof x101.constructor.prototype === 'object'");
+  $ERROR("#10.1: typeof x101.constructor.prototype === 'object'");
 }
 
 var x102 = new Date(2099, 11, 31, 23);
@@ -158,12 +157,12 @@ if (!Date.prototype.isPrototypeOf(x102)) {
 
 var x103 = new Date(2099, 11, 31, 23);
 if(Date.prototype !== x103.constructor.prototype){
-  $FAIL("#10.3: Date.prototype === x103.constructor.prototype");
+  $ERROR("#10.3: Date.prototype === x103.constructor.prototype");
 }
 
 var x111 = new Date(2099, 12, 1, 0);
 if (typeof x111.constructor.prototype !== "object") {
-  $FAIL("#11.1: typeof x111.constructor.prototype === 'object'");
+  $ERROR("#11.1: typeof x111.constructor.prototype === 'object'");
 }
 
 var x112 = new Date(2099, 12, 1, 0);
@@ -173,12 +172,12 @@ if (!Date.prototype.isPrototypeOf(x112)) {
 
 var x113 = new Date(2099, 12, 1, 0);
 if(Date.prototype !== x113.constructor.prototype){
-  $FAIL("#11.3: Date.prototype === x113.constructor.prototype");
+  $ERROR("#11.3: Date.prototype === x113.constructor.prototype");
 }
 
 var x121 = new Date(2100, 0, 1, 0);
 if (typeof x121.constructor.prototype !== "object") {
-  $FAIL("#12.1: typeof x121.constructor.prototype === 'object'");
+  $ERROR("#12.1: typeof x121.constructor.prototype === 'object'");
 }
 
 var x122 = new Date(2100, 0, 1, 0);
@@ -188,5 +187,5 @@ if (!Date.prototype.isPrototypeOf(x122)) {
 
 var x123 = new Date(2100, 0, 1, 0);
 if(Date.prototype !== x123.constructor.prototype){
-  $FAIL("#12.3: Date.prototype === x123.constructor.prototype");
+  $ERROR("#12.3: Date.prototype === x123.constructor.prototype");
 }

test/built-ins/Date/S15.9.3.1_A2_T4.js

@@ -8,12 +8,11 @@ info: >
     initial value of Date.prototype
 es5id: 15.9.3.1_A2_T4
 description: 5 arguments, (year, month, date, hours, minutes)
-includes: [$FAIL.js]
 ---*/
 
 var x11 = new Date(1899, 11, 31, 23, 59);
 if (typeof x11.constructor.prototype !== "object") {
-  $FAIL("#1.1: typeof x11.constructor.prototype === 'object'");
+  $ERROR("#1.1: typeof x11.constructor.prototype === 'object'");
 }
 
 var x12 = new Date(1899, 11, 31, 23, 59);
@@ -23,12 +22,12 @@ if (!Date.prototype.isPrototypeOf(x12)) {
 
 var x13 = new Date(1899, 11, 31, 23, 59);
 if(Date.prototype !== x13.constructor.prototype){
-  $FAIL("#1.3: Date.prototype === x13.constructor.prototype");
+  $ERROR("#1.3: Date.prototype === x13.constructor.prototype");
 }
 
 var x21 = new Date(1899, 12, 1, 0, 0);
 if (typeof x21.constructor.prototype !== "object") {
-  $FAIL("#2.1: typeof x21.constructor.prototype === 'object'");
+  $ERROR("#2.1: typeof x21.constructor.prototype === 'object'");
 }
 
 var x22 = new Date(1899, 12, 1, 0, 0);
@@ -38,12 +37,12 @@ if (!Date.prototype.isPrototypeOf(x22)) {
 
 var x23 = new Date(1899, 12, 1, 0, 0);
 if(Date.prototype !== x23.constructor.prototype){
-  $FAIL("#2.3: Date.prototype === x23.constructor.prototype");
+  $ERROR("#2.3: Date.prototype === x23.constructor.prototype");
 }
 
 var x31 = new Date(1900, 0, 1, 0, 0);
 if (typeof x31.constructor.prototype !== "object") {
-  $FAIL("#3.1: typeof x31.constructor.prototype === 'object'");
+  $ERROR("#3.1: typeof x31.constructor.prototype === 'object'");
 }
 
 var x32 = new Date(1900, 0, 1, 0, 0);
@@ -53,12 +52,12 @@ if (!Date.prototype.isPrototypeOf(x32)) {
 
 var x33 = new Date(1900, 0, 1, 0, 0);
 if(Date.prototype !== x33.constructor.prototype){
-  $FAIL("#3.3: Date.prototype === x33.constructor.prototype");
+  $ERROR("#3.3: Date.prototype === x33.constructor.prototype");
 }
 
 var x41 = new Date(1969, 11, 31, 23, 59);
 if (typeof x41.constructor.prototype !== "object") {
-  $FAIL("#4.1: typeof x41.constructor.prototype === 'object'");
+  $ERROR("#4.1: typeof x41.constructor.prototype === 'object'");
 }
 
 var x42 = new Date(1969, 11, 31, 23, 59);
@@ -68,12 +67,12 @@ if (!Date.prototype.isPrototypeOf(x42)) {
 
 var x43 = new Date(1969, 11, 31, 23, 59);
 if(Date.prototype !== x43.constructor.prototype){
-  $FAIL("#4.3: Date.prototype === x43.constructor.prototype");
+  $ERROR("#4.3: Date.prototype === x43.constructor.prototype");
 }
 
 var x51 = new Date(1969, 12, 1, 0, 0);
 if (typeof x51.constructor.prototype !== "object") {
-  $FAIL("#5.1: typeof x51.constructor.prototype === 'object'");
+  $ERROR("#5.1: typeof x51.constructor.prototype === 'object'");
 }
 
 var x52 = new Date(1969, 12, 1, 0, 0);
@@ -83,12 +82,12 @@ if (!Date.prototype.isPrototypeOf(x52)) {
 
 var x53 = new Date(1969, 12, 1, 0, 0);
 if(Date.prototype !== x53.constructor.prototype){
-  $FAIL("#5.3: Date.prototype === x53.constructor.prototype");
+  $ERROR("#5.3: Date.prototype === x53.constructor.prototype");
 }
 
 var x61 = new Date(1970, 0, 1, 0, 0);
 if (typeof x61.constructor.prototype !== "object") {
-  $FAIL("#6.1: typeof x61.constructor.prototype === 'object'");
+  $ERROR("#6.1: typeof x61.constructor.prototype === 'object'");
 }
 
 var x62 = new Date(1970, 0, 1, 0, 0);
@@ -98,12 +97,12 @@ if (!Date.prototype.isPrototypeOf(x62)) {
 
 var x63 = new Date(1970, 0, 1, 0, 0);
 if(Date.prototype !== x63.constructor.prototype){
-  $FAIL("#6.3: Date.prototype === x63.constructor.prototype");
+  $ERROR("#6.3: Date.prototype === x63.constructor.prototype");
 }
 
 var x71 = new Date(1999, 11, 31, 23, 59);
 if (typeof x71.constructor.prototype !== "object") {
-  $FAIL("#7.1: typeof x71.constructor.prototype === 'object'");
+  $ERROR("#7.1: typeof x71.constructor.prototype === 'object'");
 }
 
 var x72 = new Date(1999, 11, 31, 23, 59);
@@ -113,12 +112,12 @@ if (!Date.prototype.isPrototypeOf(x72)) {
 
 var x73 = new Date(1999, 11, 31, 23, 59);
 if(Date.prototype !== x73.constructor.prototype){
-  $FAIL("#7.3: Date.prototype === x73.constructor.prototype");
+  $ERROR("#7.3: Date.prototype === x73.constructor.prototype");
 }
 
 var x81 = new Date(1999, 12, 1, 0, 0);
 if (typeof x81.constructor.prototype !== "object") {
-  $FAIL("#8.1: typeof x81.constructor.prototype === 'object'");
+  $ERROR("#8.1: typeof x81.constructor.prototype === 'object'");
 }
 
 var x82 = new Date(1999, 12, 1, 0, 0);
@@ -128,12 +127,12 @@ if (!Date.prototype.isPrototypeOf(x82)) {
 
 var x83 = new Date(1999, 12, 1, 0, 0);
 if(Date.prototype !== x83.constructor.prototype){
-  $FAIL("#8.3: Date.prototype === x83.constructor.prototype");
+  $ERROR("#8.3: Date.prototype === x83.constructor.prototype");
 }
 
 var x91 = new Date(2000, 0, 1, 0, 0);
 if (typeof x91.constructor.prototype !== "object") {
-  $FAIL("#9.1: typeof x91.constructor.prototype === 'object'");
+  $ERROR("#9.1: typeof x91.constructor.prototype === 'object'");
 }
 
 var x92 = new Date(2000, 0, 1, 0, 0);
@@ -143,12 +142,12 @@ if (!Date.prototype.isPrototypeOf(x92)) {
 
 var x93 = new Date(2000, 0, 1, 0, 0);
 if(Date.prototype !== x93.constructor.prototype){
-  $FAIL("#9.3: Date.prototype === x93.constructor.prototype");
+  $ERROR("#9.3: Date.prototype === x93.constructor.prototype");
 }
 
 var x101 = new Date(2099, 11, 31, 23, 59);
 if (typeof x101.constructor.prototype !== "object") {
-  $FAIL("#10.1: typeof x101.constructor.prototype === 'object'");
+  $ERROR("#10.1: typeof x101.constructor.prototype === 'object'");
 }
 
 var x102 = new Date(2099, 11, 31, 23, 59);
@@ -158,12 +157,12 @@ if (!Date.prototype.isPrototypeOf(x102)) {
 
 var x103 = new Date(2099, 11, 31, 23, 59);
 if(Date.prototype !== x103.constructor.prototype){
-  $FAIL("#10.3: Date.prototype === x103.constructor.prototype");
+  $ERROR("#10.3: Date.prototype === x103.constructor.prototype");
 }
 
 var x111 = new Date(2099, 12, 1, 0, 0);
 if (typeof x111.constructor.prototype !== "object") {
-  $FAIL("#11.1: typeof x111.constructor.prototype === 'object'");
+  $ERROR("#11.1: typeof x111.constructor.prototype === 'object'");
 }
 
 var x112 = new Date(2099, 12, 1, 0, 0);
@@ -173,12 +172,12 @@ if (!Date.prototype.isPrototypeOf(x112)) {
 
 var x113 = new Date(2099, 12, 1, 0, 0);
 if(Date.prototype !== x113.constructor.prototype){
-  $FAIL("#11.3: Date.prototype === x113.constructor.prototype");
+  $ERROR("#11.3: Date.prototype === x113.constructor.prototype");
 }
 
 var x121 = new Date(2100, 0, 1, 0, 0);
 if (typeof x121.constructor.prototype !== "object") {
-  $FAIL("#12.1: typeof x121.constructor.prototype === 'object'");
+  $ERROR("#12.1: typeof x121.constructor.prototype === 'object'");
 }
 
 var x122 = new Date(2100, 0, 1, 0, 0);
@@ -188,5 +187,5 @@ if (!Date.prototype.isPrototypeOf(x122)) {
 
 var x123 = new Date(2100, 0, 1, 0, 0);
 if(Date.prototype !== x123.constructor.prototype){
-  $FAIL("#12.3: Date.prototype === x123.constructor.prototype");
+  $ERROR("#12.3: Date.prototype === x123.constructor.prototype");
 }

test/built-ins/Date/S15.9.3.1_A2_T5.js

@@ -8,12 +8,11 @@ info: >
     initial value of Date.prototype
 es5id: 15.9.3.1_A2_T5
 description: 6 arguments, (year, month, date, hours, minutes, seconds)
-includes: [$FAIL.js]
 ---*/
 
 var x11 = new Date(1899, 11, 31, 23, 59, 59);
 if (typeof x11.constructor.prototype !== "object") {
-  $FAIL("#1.1: typeof x11.constructor.prototype === 'object'");
+  $ERROR("#1.1: typeof x11.constructor.prototype === 'object'");
 }
 
 var x12 = new Date(1899, 11, 31, 23, 59, 59);
@@ -23,12 +22,12 @@ if (!Date.prototype.isPrototypeOf(x12)) {
 
 var x13 = new Date(1899, 11, 31, 23, 59, 59);
 if(Date.prototype !== x13.constructor.prototype){
-  $FAIL("#1.3: Date.prototype === x13.constructor.prototype");
+  $ERROR("#1.3: Date.prototype === x13.constructor.prototype");
 }
 
 var x21 = new Date(1899, 12, 1, 0, 0, 0);
 if (typeof x21.constructor.prototype !== "object") {
-  $FAIL("#2.1: typeof x21.constructor.prototype === 'object'");
+  $ERROR("#2.1: typeof x21.constructor.prototype === 'object'");
 }
 
 var x22 = new Date(1899, 12, 1, 0, 0, 0);
@@ -38,12 +37,12 @@ if (!Date.prototype.isPrototypeOf(x22)) {
 
 var x23 = new Date(1899, 12, 1, 0, 0, 0);
 if(Date.prototype !== x23.constructor.prototype){
-  $FAIL("#2.3: Date.prototype === x23.constructor.prototype");
+  $ERROR("#2.3: Date.prototype === x23.constructor.prototype");
 }
 
 var x31 = new Date(1900, 0, 1, 0, 0, 0);
 if (typeof x31.constructor.prototype !== "object") {
-  $FAIL("#3.1: typeof x31.constructor.prototype === 'object'");
+  $ERROR("#3.1: typeof x31.constructor.prototype === 'object'");
 }
 
 var x32 = new Date(1900, 0, 1, 0, 0, 0);
@@ -53,12 +52,12 @@ if (!Date.prototype.isPrototypeOf(x32)) {
 
 var x33 = new Date(1900, 0, 1, 0, 0, 0);
 if(Date.prototype !== x33.constructor.prototype){
-  $FAIL("#3.3: Date.prototype === x33.constructor.prototype");
+  $ERROR("#3.3: Date.prototype === x33.constructor.prototype");
 }
 
 var x41 = new Date(1969, 11, 31, 23, 59, 59);
 if (typeof x41.constructor.prototype !== "object") {
-  $FAIL("#4.1: typeof x41.constructor.prototype === 'object'");
+  $ERROR("#4.1: typeof x41.constructor.prototype === 'object'");
 }
 
 var x42 = new Date(1969, 11, 31, 23, 59, 59);
@@ -68,12 +67,12 @@ if (!Date.prototype.isPrototypeOf(x42)) {
 
 var x43 = new Date(1969, 11, 31, 23, 59, 59);
 if(Date.prototype !== x43.constructor.prototype){
-  $FAIL("#4.3: Date.prototype === x43.constructor.prototype");
+  $ERROR("#4.3: Date.prototype === x43.constructor.prototype");
 }
 
 var x51 = new Date(1969, 12, 1, 0, 0, 0);
 if (typeof x51.constructor.prototype !== "object") {
-  $FAIL("#5.1: typeof x51.constructor.prototype === 'object'");
+  $ERROR("#5.1: typeof x51.constructor.prototype === 'object'");
 }
 
 var x52 = new Date(1969, 12, 1, 0, 0, 0);
@@ -83,12 +82,12 @@ if (!Date.prototype.isPrototypeOf(x52)) {
 
 var x53 = new Date(1969, 12, 1, 0, 0, 0);
 if(Date.prototype !== x53.constructor.prototype){
-  $FAIL("#5.3: Date.prototype === x53.constructor.prototype");
+  $ERROR("#5.3: Date.prototype === x53.constructor.prototype");
 }
 
 var x61 = new Date(1970, 0, 1, 0, 0, 0);
 if (typeof x61.constructor.prototype !== "object") {
-  $FAIL("#6.1: typeof x61.constructor.prototype === 'object'");
+  $ERROR("#6.1: typeof x61.constructor.prototype === 'object'");
 }
 
 var x62 = new Date(1970, 0, 1, 0, 0, 0);
@@ -98,12 +97,12 @@ if (!Date.prototype.isPrototypeOf(x62)) {
 
 var x63 = new Date(1970, 0, 1, 0, 0, 0);
 if(Date.prototype !== x63.constructor.prototype){
-  $FAIL("#6.3: Date.prototype === x63.constructor.prototype");
+  $ERROR("#6.3: Date.prototype === x63.constructor.prototype");
 }
 
 var x71 = new Date(1999, 11, 31, 23, 59, 59);
 if (typeof x71.constructor.prototype !== "object") {
-  $FAIL("#7.1: typeof x71.constructor.prototype === 'object'");
+  $ERROR("#7.1: typeof x71.constructor.prototype === 'object'");
 }
 
 var x72 = new Date(1999, 11, 31, 23, 59, 59);
@@ -113,12 +112,12 @@ if (!Date.prototype.isPrototypeOf(x72)) {
 
 var x73 = new Date(1999, 11, 31, 23, 59, 59);
 if(Date.prototype !== x73.constructor.prototype){
-  $FAIL("#7.3: Date.prototype === x73.constructor.prototype");
+  $ERROR("#7.3: Date.prototype === x73.constructor.prototype");
 }
 
 var x81 = new Date(1999, 12, 1, 0, 0, 0);
 if (typeof x81.constructor.prototype !== "object") {
-  $FAIL("#8.1: typeof x81.constructor.prototype === 'object'");
+  $ERROR("#8.1: typeof x81.constructor.prototype === 'object'");
 }
 
 var x82 = new Date(1999, 12, 1, 0, 0, 0);
@@ -128,12 +127,12 @@ if (!Date.prototype.isPrototypeOf(x82)) {
 
 var x83 = new Date(1999, 12, 1, 0, 0, 0);
 if(Date.prototype !== x83.constructor.prototype){
-  $FAIL("#8.3: Date.prototype === x83.constructor.prototype");
+  $ERROR("#8.3: Date.prototype === x83.constructor.prototype");
 }
 
 var x91 = new Date(2000, 0, 1, 0, 0, 0);
 if (typeof x91.constructor.prototype !== "object") {
-  $FAIL("#9.1: typeof x91.constructor.prototype === 'object'");
+  $ERROR("#9.1: typeof x91.constructor.prototype === 'object'");
 }
 
 var x92 = new Date(2000, 0, 1, 0, 0, 0);
@@ -143,12 +142,12 @@ if (!Date.prototype.isPrototypeOf(x92)) {
 
 var x93 = new Date(2000, 0, 1, 0, 0, 0);
 if(Date.prototype !== x93.constructor.prototype){
-  $FAIL("#9.3: Date.prototype === x93.constructor.prototype");
+  $ERROR("#9.3: Date.prototype === x93.constructor.prototype");
 }
 
 var x101 = new Date(2099, 11, 31, 23, 59, 59);
 if (typeof x101.constructor.prototype !== "object") {
-  $FAIL("#10.1: typeof x101.constructor.prototype === 'object'");
+  $ERROR("#10.1: typeof x101.constructor.prototype === 'object'");
 }
 
 var x102 = new Date(2099, 11, 31, 23, 59, 59);
@@ -158,12 +157,12 @@ if (!Date.prototype.isPrototypeOf(x102)) {
 
 var x103 = new Date(2099, 11, 31, 23, 59, 59);
 if(Date.prototype !== x103.constructor.prototype){
-  $FAIL("#10.3: Date.prototype === x103.constructor.prototype");
+  $ERROR("#10.3: Date.prototype === x103.constructor.prototype");
 }
 
 var x111 = new Date(2099, 12, 1, 0, 0, 0);
 if (typeof x111.constructor.prototype !== "object") {
-  $FAIL("#11.1: typeof x111.constructor.prototype === 'object'");
+  $ERROR("#11.1: typeof x111.constructor.prototype === 'object'");
 }
 
 var x112 = new Date(2099, 12, 1, 0, 0, 0);
@@ -173,12 +172,12 @@ if (!Date.prototype.isPrototypeOf(x112)) {
 
 var x113 = new Date(2099, 12, 1, 0, 0, 0);
 if(Date.prototype !== x113.constructor.prototype){
-  $FAIL("#11.3: Date.prototype === x113.constructor.prototype");
+  $ERROR("#11.3: Date.prototype === x113.constructor.prototype");
 }
 
 var x121 = new Date(2100, 0, 1, 0, 0, 0);
 if (typeof x121.constructor.prototype !== "object") {
-  $FAIL("#12.1: typeof x121.constructor.prototype === 'object'");
+  $ERROR("#12.1: typeof x121.constructor.prototype === 'object'");
 }
 
 var x122 = new Date(2100, 0, 1, 0, 0, 0);
@@ -188,5 +187,5 @@ if (!Date.prototype.isPrototypeOf(x122)) {
 
 var x123 = new Date(2100, 0, 1, 0, 0, 0);
 if(Date.prototype !== x123.constructor.prototype){
-  $FAIL("#12.3: Date.prototype === x123.constructor.prototype");
+  $ERROR("#12.3: Date.prototype === x123.constructor.prototype");
 }

test/built-ins/Date/S15.9.3.1_A2_T6.js

@@ -8,12 +8,11 @@ info: >
     initial value of Date.prototype
 es5id: 15.9.3.1_A2_T6
 description: 7 arguments, (year, month, date, hours, minutes, seconds, ms)
-includes: [$FAIL.js]
 ---*/
 
 var x11 = new Date(1899, 11, 31, 23, 59, 59, 999);
 if (typeof x11.constructor.prototype !== "object") {
-  $FAIL("#1.1: typeof x11.constructor.prototype === 'object'");
+  $ERROR("#1.1: typeof x11.constructor.prototype === 'object'");
 }
 
 var x12 = new Date(1899, 11, 31, 23, 59, 59, 999);
@@ -23,12 +22,12 @@ if (!Date.prototype.isPrototypeOf(x12)) {
 
 var x13 = new Date(1899, 11, 31, 23, 59, 59, 999);
 if(Date.prototype !== x13.constructor.prototype){
-  $FAIL("#1.3: Date.prototype === x13.constructor.prototype");
+  $ERROR("#1.3: Date.prototype === x13.constructor.prototype");
 }
 
 var x21 = new Date(1899, 12, 1, 0, 0, 0, 0);
 if (typeof x21.constructor.prototype !== "object") {
-  $FAIL("#2.1: typeof x21.constructor.prototype === 'object'");
+  $ERROR("#2.1: typeof x21.constructor.prototype === 'object'");
 }
 
 var x22 = new Date(1899, 12, 1, 0, 0, 0, 0);
@@ -38,12 +37,12 @@ if (!Date.prototype.isPrototypeOf(x22)) {
 
 var x23 = new Date(1899, 12, 1, 0, 0, 0, 0);
 if(Date.prototype !== x23.constructor.prototype){
-  $FAIL("#2.3: Date.prototype === x23.constructor.prototype");
+  $ERROR("#2.3: Date.prototype === x23.constructor.prototype");
 }
 
 var x31 = new Date(1900, 0, 1, 0, 0, 0, 0);
 if (typeof x31.constructor.prototype !== "object") {
-  $FAIL("#3.1: typeof x31.constructor.prototype === 'object'");
+  $ERROR("#3.1: typeof x31.constructor.prototype === 'object'");
 }
 
 var x32 = new Date(1900, 0, 1, 0, 0, 0, 0);
@@ -53,12 +52,12 @@ if (!Date.prototype.isPrototypeOf(x32)) {
 
 var x33 = new Date(1900, 0, 1, 0, 0, 0, 0);
 if(Date.prototype !== x33.constructor.prototype){
-  $FAIL("#3.3: Date.prototype === x33.constructor.prototype");
+  $ERROR("#3.3: Date.prototype === x33.constructor.prototype");
 }
 
 var x41 = new Date(1969, 11, 31, 23, 59, 59, 999);
 if (typeof x41.constructor.prototype !== "object") {
-  $FAIL("#4.1: typeof x41.constructor.prototype === 'object'");
+  $ERROR("#4.1: typeof x41.constructor.prototype === 'object'");
 }
 
 var x42 = new Date(1969, 11, 31, 23, 59, 59, 999);
@@ -68,12 +67,12 @@ if (!Date.prototype.isPrototypeOf(x42)) {
 
 var x43 = new Date(1969, 11, 31, 23, 59, 59, 999);
 if(Date.prototype !== x43.constructor.prototype){
-  $FAIL("#4.3: Date.prototype === x43.constructor.prototype");
+  $ERROR("#4.3: Date.prototype === x43.constructor.prototype");
 }
 
 var x51 = new Date(1969, 12, 1, 0, 0, 0, 0);
 if (typeof x51.constructor.prototype !== "object") {
-  $FAIL("#5.1: typeof x51.constructor.prototype === 'object'");
+  $ERROR("#5.1: typeof x51.constructor.prototype === 'object'");
 }
 
 var x52 = new Date(1969, 12, 1, 0, 0, 0, 0);
@@ -83,12 +82,12 @@ if (!Date.prototype.isPrototypeOf(x52)) {
 
 var x53 = new Date(1969, 12, 1, 0, 0, 0, 0);
 if(Date.prototype !== x53.constructor.prototype){
-  $FAIL("#5.3: Date.prototype === x53.constructor.prototype");
+  $ERROR("#5.3: Date.prototype === x53.constructor.prototype");
 }
 
 var x61 = new Date(1970, 0, 1, 0, 0, 0, 0);
 if (typeof x61.constructor.prototype !== "object") {
-  $FAIL("#6.1: typeof x61.constructor.prototype === 'object'");
+  $ERROR("#6.1: typeof x61.constructor.prototype === 'object'");
 }
 
 var x62 = new Date(1970, 0, 1, 0, 0, 0, 0);
@@ -98,12 +97,12 @@ if (!Date.prototype.isPrototypeOf(x62)) {
 
 var x63 = new Date(1970, 0, 1, 0, 0, 0, 0);
 if(Date.prototype !== x63.constructor.prototype){
-  $FAIL("#6.3: Date.prototype === x63.constructor.prototype");
+  $ERROR("#6.3: Date.prototype === x63.constructor.prototype");
 }
 
 var x71 = new Date(1999, 11, 31, 23, 59, 59, 999);
 if (typeof x71.constructor.prototype !== "object") {
-  $FAIL("#7.1: typeof x71.constructor.prototype === 'object'");
+  $ERROR("#7.1: typeof x71.constructor.prototype === 'object'");
 }
 
 var x72 = new Date(1999, 11, 31, 23, 59, 59, 999);
@@ -113,12 +112,12 @@ if (!Date.prototype.isPrototypeOf(x72)) {
 
 var x73 = new Date(1999, 11, 31, 23, 59, 59, 999);
 if(Date.prototype !== x73.constructor.prototype){
-  $FAIL("#7.3: Date.prototype === x73.constructor.prototype");
+  $ERROR("#7.3: Date.prototype === x73.constructor.prototype");
 }
 
 var x81 = new Date(1999, 12, 1, 0, 0, 0, 0);
 if (typeof x81.constructor.prototype !== "object") {
-  $FAIL("#8.1: typeof x81.constructor.prototype === 'object'");
+  $ERROR("#8.1: typeof x81.constructor.prototype === 'object'");
 }
 
 var x82 = new Date(1999, 12, 1, 0, 0, 0, 0);
@@ -128,12 +127,12 @@ if (!Date.prototype.isPrototypeOf(x82)) {
 
 var x83 = new Date(1999, 12, 1, 0, 0, 0, 0);
 if(Date.prototype !== x83.constructor.prototype){
-  $FAIL("#8.3: Date.prototype === x83.constructor.prototype");
+  $ERROR("#8.3: Date.prototype === x83.constructor.prototype");
 }
 
 var x91 = new Date(2000, 0, 1, 0, 0, 0, 0);
 if (typeof x91.constructor.prototype !== "object") {
-  $FAIL("#9.1: typeof x91.constructor.prototype === 'object'");
+  $ERROR("#9.1: typeof x91.constructor.prototype === 'object'");
 }
 
 var x92 = new Date(2000, 0, 1, 0, 0, 0, 0);
@@ -143,12 +142,12 @@ if (!Date.prototype.isPrototypeOf(x92)) {
 
 var x93 = new Date(2000, 0, 1, 0, 0, 0, 0);
 if(Date.prototype !== x93.constructor.prototype){
-  $FAIL("#9.3: Date.prototype === x93.constructor.prototype");
+  $ERROR("#9.3: Date.prototype === x93.constructor.prototype");
 }
 
 var x101 = new Date(2099, 11, 31, 23, 59, 59, 999);
 if (typeof x101.constructor.prototype !== "object") {
-  $FAIL("#10.1: typeof x101.constructor.prototype === 'object'");
+  $ERROR("#10.1: typeof x101.constructor.prototype === 'object'");
 }
 
 var x102 = new Date(2099, 11, 31, 23, 59, 59, 999);
@@ -158,12 +157,12 @@ if (!Date.prototype.isPrototypeOf(x102)) {
 
 var x103 = new Date(2099, 11, 31, 23, 59, 59, 999);
 if(Date.prototype !== x103.constructor.prototype){
-  $FAIL("#10.3: Date.prototype === x103.constructor.prototype");
+  $ERROR("#10.3: Date.prototype === x103.constructor.prototype");
 }
 
 var x111 = new Date(2099, 12, 1, 0, 0, 0, 0);
 if (typeof x111.constructor.prototype !== "object") {
-  $FAIL("#11.1: typeof x111.constructor.prototype === 'object'");
+  $ERROR("#11.1: typeof x111.constructor.prototype === 'object'");
 }
 
 var x112 = new Date(2099, 12, 1, 0, 0, 0, 0);
@@ -173,12 +172,12 @@ if (!Date.prototype.isPrototypeOf(x112)) {
 
 var x113 = new Date(2099, 12, 1, 0, 0, 0, 0);
 if(Date.prototype !== x113.constructor.prototype){
-  $FAIL("#11.3: Date.prototype === x113.constructor.prototype");
+  $ERROR("#11.3: Date.prototype === x113.constructor.prototype");
 }
 
 var x121 = new Date(2100, 0, 1, 0, 0, 0, 0);
 if (typeof x121.constructor.prototype !== "object") {
-  $FAIL("#12.1: typeof x121.constructor.prototype === 'object'");
+  $ERROR("#12.1: typeof x121.constructor.prototype === 'object'");
 }
 
 var x122 = new Date(2100, 0, 1, 0, 0, 0, 0);
@@ -188,5 +187,5 @@ if (!Date.prototype.isPrototypeOf(x122)) {
 
 var x123 = new Date(2100, 0, 1, 0, 0, 0, 0);
 if(Date.prototype !== x123.constructor.prototype){
-  $FAIL("#12.3: Date.prototype === x123.constructor.prototype");
+  $ERROR("#12.3: Date.prototype === x123.constructor.prototype");
 }

test/built-ins/Date/S15.9.3.1_A3_T1.1.js

@@ -9,65 +9,64 @@ es5id: 15.9.3.1_A3_T1.1
 description: >
     Test based on delete prototype.toString - 2 arguments, (year,
     month)
-includes: [$FAIL.js]
 ---*/
 
 var x1 = new Date(1899, 11);
 if (Object.prototype.toString.call(x1) !== "[object Date]") {
-  $FAIL("#1: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#1: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x2 = new Date(1899, 12);
 if (Object.prototype.toString.call(x2) !== "[object Date]") {
-  $FAIL("#2: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#2: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x3 = new Date(1900, 0);
 if (Object.prototype.toString.call(x3) !== "[object Date]") {
-  $FAIL("#3: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#3: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x4 = new Date(1969, 11);
 if (Object.prototype.toString.call(x4) !== "[object Date]") {
-  $FAIL("#4: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#4: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x5 = new Date(1969, 12);
 if (Object.prototype.toString.call(x5) !== "[object Date]") {
-  $FAIL("#5: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#5: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x6 = new Date(1970, 0);
 if (Object.prototype.toString.call(x6) !== "[object Date]") {
-  $FAIL("#6: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#6: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x7 = new Date(1999, 11);
 if (Object.prototype.toString.call(x7) !== "[object Date]") {
-  $FAIL("#7: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#7: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x8 = new Date(1999, 12);
 if (Object.prototype.toString.call(x8) !== "[object Date]") {
-  $FAIL("#8: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#8: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x9 = new Date(2000, 0);
 if (Object.prototype.toString.call(x9) !== "[object Date]") {
-  $FAIL("#9: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#9: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x10 = new Date(2099, 11);
 if (Object.prototype.toString.call(x10) !== "[object Date]") {
-  $FAIL("#10: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#10: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x11 = new Date(2099, 12);
 if (Object.prototype.toString.call(x11) !== "[object Date]") {
-  $FAIL("#11: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#11: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x12 = new Date(2100, 0);
 if (Object.prototype.toString.call(x12) !== "[object Date]") {
-  $FAIL("#12: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#12: The [[Class]] property of the newly constructed object is set to 'Date'");
 }

test/built-ins/Date/S15.9.3.1_A3_T1.2.js

@@ -9,67 +9,66 @@ es5id: 15.9.3.1_A3_T1.2
 description: >
     Test based on overwriting prototype.toString - 2 arguments, (year,
     month)
-includes: [$FAIL.js]
 ---*/
 
 Date.prototype.toString = Object.prototype.toString;
 
 var x1 = new Date(1899, 11);
 if (x1.toString() !== "[object Date]") {
-  $FAIL("#1: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#1: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x2 = new Date(1899, 12);
 if (x2.toString() !== "[object Date]") {
-  $FAIL("#2: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#2: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x3 = new Date(1900, 0);
 if (x3.toString() !== "[object Date]") {
-  $FAIL("#3: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#3: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x4 = new Date(1969, 11);
 if (x4.toString() !== "[object Date]") {
-  $FAIL("#4: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#4: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x5 = new Date(1969, 12);
 if (x5.toString() !== "[object Date]") {
-  $FAIL("#5: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#5: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x6 = new Date(1970, 0);
 if (x6.toString() !== "[object Date]") {
-  $FAIL("#6: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#6: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x7 = new Date(1999, 11);
 if (x7.toString() !== "[object Date]") {
-  $FAIL("#7: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#7: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x8 = new Date(1999, 12);
 if (x8.toString() !== "[object Date]") {
-  $FAIL("#8: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#8: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x9 = new Date(2000, 0);
 if (x9.toString() !== "[object Date]") {
-  $FAIL("#9: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#9: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x10 = new Date(2099, 11);
 if (x10.toString() !== "[object Date]") {
-  $FAIL("#10: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#10: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x11 = new Date(2099, 12);
 if (x11.toString() !== "[object Date]") {
-  $FAIL("#11: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#11: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x12 = new Date(2100, 0);
 if (x12.toString() !== "[object Date]") {
-  $FAIL("#12: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#12: The [[Class]] property of the newly constructed object is set to 'Date'");
 }

test/built-ins/Date/S15.9.3.1_A3_T2.1.js

@@ -9,65 +9,64 @@ es5id: 15.9.3.1_A3_T2.1
 description: >
     Test based on delete prototype.toString - 3 arguments, (year,
     month, date)
-includes: [$FAIL.js]
 ---*/
 
 var x1 = new Date(1899, 11, 31);
 if (Object.prototype.toString.call(x1) !== "[object Date]") {
-  $FAIL("#1: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#1: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x2 = new Date(1899, 12, 1);
 if (Object.prototype.toString.call(x2) !== "[object Date]") {
-  $FAIL("#2: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#2: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x3 = new Date(1900, 0, 1);
 if (Object.prototype.toString.call(x3) !== "[object Date]") {
-  $FAIL("#3: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#3: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x4 = new Date(1969, 11, 31);
 if (Object.prototype.toString.call(x4) !== "[object Date]") {
-  $FAIL("#4: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#4: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x5 = new Date(1969, 12, 1);
 if (Object.prototype.toString.call(x5) !== "[object Date]") {
-  $FAIL("#5: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#5: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x6 = new Date(1970, 0, 1);
 if (Object.prototype.toString.call(x6) !== "[object Date]") {
-  $FAIL("#6: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#6: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x7 = new Date(1999, 11, 31);
 if (Object.prototype.toString.call(x7) !== "[object Date]") {
-  $FAIL("#7: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#7: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x8 = new Date(1999, 12, 1);
 if (Object.prototype.toString.call(x8) !== "[object Date]") {
-  $FAIL("#8: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#8: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x9 = new Date(2000, 0, 1);
 if (Object.prototype.toString.call(x9) !== "[object Date]") {
-  $FAIL("#9: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#9: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x10 = new Date(2099, 11, 31);
 if (Object.prototype.toString.call(x10) !== "[object Date]") {
-  $FAIL("#10: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#10: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x11 = new Date(2099, 12, 1);
 if (Object.prototype.toString.call(x11) !== "[object Date]") {
-  $FAIL("#11: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#11: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x12 = new Date(2100, 0, 1);
 if (Object.prototype.toString.call(x12) !== "[object Date]") {
-  $FAIL("#12: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#12: The [[Class]] property of the newly constructed object is set to 'Date'");
 }

test/built-ins/Date/S15.9.3.1_A3_T2.2.js

@@ -9,67 +9,66 @@ es5id: 15.9.3.1_A3_T2.2
 description: >
     Test based on overwriting prototype.toString - 3 arguments, (year,
     month, date)
-includes: [$FAIL.js]
 ---*/
 
 Date.prototype.toString = Object.prototype.toString;
 
 var x1 = new Date(1899, 11, 31);
 if (x1.toString() !== "[object Date]") {
-  $FAIL("#1: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#1: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x2 = new Date(1899, 12, 1);
 if (x2.toString() !== "[object Date]") {
-  $FAIL("#2: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#2: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x3 = new Date(1900, 0, 1);
 if (x3.toString() !== "[object Date]") {
-  $FAIL("#3: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#3: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x4 = new Date(1969, 11, 31);
 if (x4.toString() !== "[object Date]") {
-  $FAIL("#4: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#4: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x5 = new Date(1969, 12, 1);
 if (x5.toString() !== "[object Date]") {
-  $FAIL("#5: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#5: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x6 = new Date(1970, 0, 1);
 if (x6.toString() !== "[object Date]") {
-  $FAIL("#6: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#6: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x7 = new Date(1999, 11, 31);
 if (x7.toString() !== "[object Date]") {
-  $FAIL("#7: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#7: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x8 = new Date(1999, 12, 1);
 if (x8.toString() !== "[object Date]") {
-  $FAIL("#8: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#8: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x9 = new Date(2000, 0, 1);
 if (x9.toString() !== "[object Date]") {
-  $FAIL("#9: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#9: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x10 = new Date(2099, 11, 31);
 if (x10.toString() !== "[object Date]") {
-  $FAIL("#10: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#10: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x11 = new Date(2099, 12, 1);
 if (x11.toString() !== "[object Date]") {
-  $FAIL("#11: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#11: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x12 = new Date(2100, 0, 1);
 if (x12.toString() !== "[object Date]") {
-  $FAIL("#12: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#12: The [[Class]] property of the newly constructed object is set to 'Date'");
 }

test/built-ins/Date/S15.9.3.1_A3_T3.1.js

@@ -9,65 +9,64 @@ es5id: 15.9.3.1_A3_T3.1
 description: >
     Test based on delete prototype.toString - 4 arguments, (year,
     month, date, hours)
-includes: [$FAIL.js]
 ---*/
 
 var x1 = new Date(1899, 11, 31, 23);
 if (Object.prototype.toString.call(x1) !== "[object Date]") {
-  $FAIL("#1: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#1: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x2 = new Date(1899, 12, 1, 0);
 if (Object.prototype.toString.call(x2) !== "[object Date]") {
-  $FAIL("#2: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#2: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x3 = new Date(1900, 0, 1, 0);
 if (Object.prototype.toString.call(x3) !== "[object Date]") {
-  $FAIL("#3: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#3: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x4 = new Date(1969, 11, 31, 23);
 if (Object.prototype.toString.call(x4) !== "[object Date]") {
-  $FAIL("#4: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#4: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x5 = new Date(1969, 12, 1, 0);
 if (Object.prototype.toString.call(x5) !== "[object Date]") {
-  $FAIL("#5: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#5: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x6 = new Date(1970, 0, 1, 0);
 if (Object.prototype.toString.call(x6) !== "[object Date]") {
-  $FAIL("#6: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#6: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x7 = new Date(1999, 11, 31, 23);
 if (Object.prototype.toString.call(x7) !== "[object Date]") {
-  $FAIL("#7: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#7: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x8 = new Date(1999, 12, 1, 0);
 if (Object.prototype.toString.call(x8) !== "[object Date]") {
-  $FAIL("#8: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#8: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x9 = new Date(2000, 0, 1, 0);
 if (Object.prototype.toString.call(x9) !== "[object Date]") {
-  $FAIL("#9: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#9: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x10 = new Date(2099, 11, 31, 23);
 if (Object.prototype.toString.call(x10) !== "[object Date]") {
-  $FAIL("#10: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#10: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x11 = new Date(2099, 12, 1, 0);
 if (Object.prototype.toString.call(x11) !== "[object Date]") {
-  $FAIL("#11: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#11: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x12 = new Date(2100, 0, 1, 0);
 if (Object.prototype.toString.call(x12) !== "[object Date]") {
-  $FAIL("#12: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#12: The [[Class]] property of the newly constructed object is set to 'Date'");
 }

test/built-ins/Date/S15.9.3.1_A3_T3.2.js

@@ -9,67 +9,66 @@ es5id: 15.9.3.1_A3_T3.2
 description: >
     Test based on overwriting prototype.toString - 4 arguments, (year,
     month, date, hours)
-includes: [$FAIL.js]
 ---*/
 
 Date.prototype.toString = Object.prototype.toString;
 
 var x1 = new Date(1899, 11, 31, 23);
 if (x1.toString() !== "[object Date]") {
-  $FAIL("#1: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#1: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x2 = new Date(1899, 12, 1, 0);
 if (x2.toString() !== "[object Date]") {
-  $FAIL("#2: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#2: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x3 = new Date(1900, 0, 1, 0);
 if (x3.toString() !== "[object Date]") {
-  $FAIL("#3: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#3: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x4 = new Date(1969, 11, 31, 23);
 if (x4.toString() !== "[object Date]") {
-  $FAIL("#4: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#4: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x5 = new Date(1969, 12, 1, 0);
 if (x5.toString() !== "[object Date]") {
-  $FAIL("#5: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#5: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x6 = new Date(1970, 0, 1, 0);
 if (x6.toString() !== "[object Date]") {
-  $FAIL("#6: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#6: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x7 = new Date(1999, 11, 31, 23);
 if (x7.toString() !== "[object Date]") {
-  $FAIL("#7: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#7: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x8 = new Date(1999, 12, 1, 0);
 if (x8.toString() !== "[object Date]") {
-  $FAIL("#8: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#8: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x9 = new Date(2000, 0, 1, 0);
 if (x9.toString() !== "[object Date]") {
-  $FAIL("#9: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#9: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x10 = new Date(2099, 11, 31, 23);
 if (x10.toString() !== "[object Date]") {
-  $FAIL("#10: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#10: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x11 = new Date(2099, 12, 1, 0);
 if (x11.toString() !== "[object Date]") {
-  $FAIL("#11: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#11: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x12 = new Date(2100, 0, 1, 0);
 if (x12.toString() !== "[object Date]") {
-  $FAIL("#12: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#12: The [[Class]] property of the newly constructed object is set to 'Date'");
 }

test/built-ins/Date/S15.9.3.1_A3_T4.1.js

@@ -9,65 +9,64 @@ es5id: 15.9.3.1_A3_T4.1
 description: >
     Test based on delete prototype.toString - 5 arguments, (year,
     month, date, hours, minutes)
-includes: [$FAIL.js]
 ---*/
 
 var x1 = new Date(1899, 11, 31, 23, 59);
 if (Object.prototype.toString.call(x1) !== "[object Date]") {
-  $FAIL("#1: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#1: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x2 = new Date(1899, 12, 1, 0, 0);
 if (Object.prototype.toString.call(x2) !== "[object Date]") {
-  $FAIL("#2: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#2: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x3 = new Date(1900, 0, 1, 0, 0);
 if (Object.prototype.toString.call(x3) !== "[object Date]") {
-  $FAIL("#3: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#3: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x4 = new Date(1969, 11, 31, 23, 59);
 if (Object.prototype.toString.call(x4) !== "[object Date]") {
-  $FAIL("#4: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#4: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x5 = new Date(1969, 12, 1, 0, 0);
 if (Object.prototype.toString.call(x5) !== "[object Date]") {
-  $FAIL("#5: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#5: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x6 = new Date(1970, 0, 1, 0, 0);
 if (Object.prototype.toString.call(x6) !== "[object Date]") {
-  $FAIL("#6: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#6: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x7 = new Date(1999, 11, 31, 23, 59);
 if (Object.prototype.toString.call(x7) !== "[object Date]") {
-  $FAIL("#7: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#7: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x8 = new Date(1999, 12, 1, 0, 0);
 if (Object.prototype.toString.call(x8) !== "[object Date]") {
-  $FAIL("#8: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#8: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x9 = new Date(2000, 0, 1, 0, 0);
 if (Object.prototype.toString.call(x9) !== "[object Date]") {
-  $FAIL("#9: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#9: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x10 = new Date(2099, 11, 31, 23, 59);
 if (Object.prototype.toString.call(x10) !== "[object Date]") {
-  $FAIL("#10: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#10: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x11 = new Date(2099, 12, 1, 0, 0);
 if (Object.prototype.toString.call(x11) !== "[object Date]") {
-  $FAIL("#11: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#11: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x12 = new Date(2100, 0, 1, 0, 0);
 if (Object.prototype.toString.call(x12) !== "[object Date]") {
-  $FAIL("#12: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#12: The [[Class]] property of the newly constructed object is set to 'Date'");
 }

test/built-ins/Date/S15.9.3.1_A3_T4.2.js

@@ -9,67 +9,66 @@ es5id: 15.9.3.1_A3_T4.2
 description: >
     Test based on overwriting prototype.toString - 5 arguments, (year,
     month, date, hours, minutes)
-includes: [$FAIL.js]
 ---*/
 
 Date.prototype.toString = Object.prototype.toString;
 
 var x1 = new Date(1899, 11, 31, 23, 59);
 if (x1.toString() !== "[object Date]") {
-  $FAIL("#1: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#1: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x2 = new Date(1899, 12, 1, 0, 0);
 if (x2.toString() !== "[object Date]") {
-  $FAIL("#2: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#2: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x3 = new Date(1900, 0, 1, 0, 0);
 if (x3.toString() !== "[object Date]") {
-  $FAIL("#3: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#3: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x4 = new Date(1969, 11, 31, 23, 59);
 if (x4.toString() !== "[object Date]") {
-  $FAIL("#4: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#4: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x5 = new Date(1969, 12, 1, 0, 0);
 if (x5.toString() !== "[object Date]") {
-  $FAIL("#5: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#5: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x6 = new Date(1970, 0, 1, 0, 0);
 if (x6.toString() !== "[object Date]") {
-  $FAIL("#6: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#6: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x7 = new Date(1999, 11, 31, 23, 59);
 if (x7.toString() !== "[object Date]") {
-  $FAIL("#7: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#7: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x8 = new Date(1999, 12, 1, 0, 0);
 if (x8.toString() !== "[object Date]") {
-  $FAIL("#8: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#8: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x9 = new Date(2000, 0, 1, 0, 0);
 if (x9.toString() !== "[object Date]") {
-  $FAIL("#9: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#9: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x10 = new Date(2099, 11, 31, 23, 59);
 if (x10.toString() !== "[object Date]") {
-  $FAIL("#10: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#10: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x11 = new Date(2099, 12, 1, 0, 0);
 if (x11.toString() !== "[object Date]") {
-  $FAIL("#11: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#11: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x12 = new Date(2100, 0, 1, 0, 0);
 if (x12.toString() !== "[object Date]") {
-  $FAIL("#12: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#12: The [[Class]] property of the newly constructed object is set to 'Date'");
 }

test/built-ins/Date/S15.9.3.1_A3_T5.1.js

@@ -7,65 +7,64 @@ info: >
     is set to "Date"
 es5id: 15.9.3.1_A3_T5.1
 description: 6 arguments, (year, month, date, hours, minutes, seconds)
-includes: [$FAIL.js]
 ---*/
 
 var x1 = new Date(1899, 11, 31, 23, 59, 59);
 if (Object.prototype.toString.call(x1) !== "[object Date]") {
-  $FAIL("#1: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#1: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x2 = new Date(1899, 12, 1, 0, 0, 0);
 if (Object.prototype.toString.call(x2) !== "[object Date]") {
-  $FAIL("#2: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#2: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x3 = new Date(1900, 0, 1, 0, 0, 0);
 if (Object.prototype.toString.call(x3) !== "[object Date]") {
-  $FAIL("#3: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#3: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x4 = new Date(1969, 11, 31, 23, 59, 59);
 if (Object.prototype.toString.call(x4) !== "[object Date]") {
-  $FAIL("#4: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#4: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x5 = new Date(1969, 12, 1, 0, 0, 0);
 if (Object.prototype.toString.call(x5) !== "[object Date]") {
-  $FAIL("#5: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#5: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x6 = new Date(1970, 0, 1, 0, 0, 0);
 if (Object.prototype.toString.call(x6) !== "[object Date]") {
-  $FAIL("#6: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#6: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x7 = new Date(1999, 11, 31, 23, 59, 59);
 if (Object.prototype.toString.call(x7) !== "[object Date]") {
-  $FAIL("#7: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#7: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x8 = new Date(1999, 12, 1, 0, 0, 0);
 if (Object.prototype.toString.call(x8) !== "[object Date]") {
-  $FAIL("#8: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#8: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x9 = new Date(2000, 0, 1, 0, 0, 0);
 if (Object.prototype.toString.call(x9) !== "[object Date]") {
-  $FAIL("#9: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#9: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x10 = new Date(2099, 11, 31, 23, 59, 59);
 if (Object.prototype.toString.call(x10) !== "[object Date]") {
-  $FAIL("#10: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#10: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x11 = new Date(2099, 12, 1, 0, 0, 0);
 if (Object.prototype.toString.call(x11) !== "[object Date]") {
-  $FAIL("#11: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#11: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x12 = new Date(2100, 0, 1, 0, 0, 0);
 if (Object.prototype.toString.call(x12) !== "[object Date]") {
-  $FAIL("#12: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#12: The [[Class]] property of the newly constructed object is set to 'Date'");
 }

test/built-ins/Date/S15.9.3.1_A3_T5.2.js

@@ -9,67 +9,66 @@ es5id: 15.9.3.1_A3_T5.2
 description: >
     Test based on overwriting prototype.toString - 6 arguments, (year,
     month, date, hours, minutes, seconds)
-includes: [$FAIL.js]
 ---*/
 
 Date.prototype.toString = Object.prototype.toString;
 
 var x1 = new Date(1899, 11, 31, 23, 59, 59);
 if (x1.toString() !== "[object Date]") {
-  $FAIL("#1: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#1: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x2 = new Date(1899, 12, 1, 0, 0, 0);
 if (x2.toString() !== "[object Date]") {
-  $FAIL("#2: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#2: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x3 = new Date(1900, 0, 1, 0, 0, 0);
 if (x3.toString() !== "[object Date]") {
-  $FAIL("#3: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#3: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x4 = new Date(1969, 11, 31, 23, 59, 59);
 if (x4.toString() !== "[object Date]") {
-  $FAIL("#4: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#4: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x5 = new Date(1969, 12, 1, 0, 0, 0);
 if (x5.toString() !== "[object Date]") {
-  $FAIL("#5: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#5: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x6 = new Date(1970, 0, 1, 0, 0, 0);
 if (x6.toString() !== "[object Date]") {
-  $FAIL("#6: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#6: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x7 = new Date(1999, 11, 31, 23, 59, 59);
 if (x7.toString() !== "[object Date]") {
-  $FAIL("#7: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#7: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x8 = new Date(1999, 12, 1, 0, 0, 0);
 if (x8.toString() !== "[object Date]") {
-  $FAIL("#8: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#8: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x9 = new Date(2000, 0, 1, 0, 0, 0);
 if (x9.toString() !== "[object Date]") {
-  $FAIL("#9: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#9: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x10 = new Date(2099, 11, 31, 23, 59, 59);
 if (x10.toString() !== "[object Date]") {
-  $FAIL("#10: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#10: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x11 = new Date(2099, 12, 1, 0, 0, 0);
 if (x11.toString() !== "[object Date]") {
-  $FAIL("#11: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#11: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x12 = new Date(2100, 0, 1, 0, 0, 0);
 if (x12.toString() !== "[object Date]") {
-  $FAIL("#12: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#12: The [[Class]] property of the newly constructed object is set to 'Date'");
 }

test/built-ins/Date/S15.9.3.1_A3_T6.1.js

@@ -7,65 +7,64 @@ info: >
     is set to "Date"
 es5id: 15.9.3.1_A3_T6.1
 description: 7 arguments, (year, month, date, hours, minutes, seconds, ms)
-includes: [$FAIL.js]
 ---*/
 
 var x1 = new Date(1899, 11, 31, 23, 59, 59, 999);
 if (Object.prototype.toString.call(x1) !== "[object Date]") {
-  $FAIL("#1: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#1: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x2 = new Date(1899, 12, 1, 0, 0, 0, 0);
 if (Object.prototype.toString.call(x2) !== "[object Date]") {
-  $FAIL("#2: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#2: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x3 = new Date(1900, 0, 1, 0, 0, 0, 0);
 if (Object.prototype.toString.call(x3) !== "[object Date]") {
-  $FAIL("#3: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#3: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x4 = new Date(1969, 11, 31, 23, 59, 59, 999);
 if (Object.prototype.toString.call(x4) !== "[object Date]") {
-  $FAIL("#4: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#4: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x5 = new Date(1969, 12, 1, 0, 0, 0, 0);
 if (Object.prototype.toString.call(x5) !== "[object Date]") {
-  $FAIL("#5: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#5: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x6 = new Date(1970, 0, 1, 0, 0, 0, 0);
 if (Object.prototype.toString.call(x6) !== "[object Date]") {
-  $FAIL("#6: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#6: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x7 = new Date(1999, 11, 31, 23, 59, 59, 999);
 if (Object.prototype.toString.call(x7) !== "[object Date]") {
-  $FAIL("#7: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#7: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x8 = new Date(1999, 12, 1, 0, 0, 0, 0);
 if (Object.prototype.toString.call(x8) !== "[object Date]") {
-  $FAIL("#8: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#8: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x9 = new Date(2000, 0, 1, 0, 0, 0, 0);
 if (Object.prototype.toString.call(x9) !== "[object Date]") {
-  $FAIL("#9: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#9: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x10 = new Date(2099, 11, 31, 23, 59, 59, 999);
 if (Object.prototype.toString.call(x10) !== "[object Date]") {
-  $FAIL("#10: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#10: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x11 = new Date(2099, 12, 1, 0, 0, 0, 0);
 if (Object.prototype.toString.call(x11) !== "[object Date]") {
-  $FAIL("#11: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#11: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x12 = new Date(2100, 0, 1, 0, 0, 0, 0);
 if (Object.prototype.toString.call(x12) !== "[object Date]") {
-  $FAIL("#12: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#12: The [[Class]] property of the newly constructed object is set to 'Date'");
 }

test/built-ins/Date/S15.9.3.1_A3_T6.2.js

@@ -9,67 +9,66 @@ es5id: 15.9.3.1_A3_T6.2
 description: >
     Test based on overwriting prototype.toString - 7 arguments, (year,
     month, date, hours, minutes, seconds, ms)
-includes: [$FAIL.js]
 ---*/
 
 Date.prototype.toString = Object.prototype.toString;
 
 var x1 = new Date(1899, 11, 31, 23, 59, 59, 999);
 if (x1.toString() !== "[object Date]") {
-  $FAIL("#1: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#1: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x2 = new Date(1899, 12, 1, 0, 0, 0, 0);
 if (x2.toString() !== "[object Date]") {
-  $FAIL("#2: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#2: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x3 = new Date(1900, 0, 1, 0, 0, 0, 0);
 if (x3.toString() !== "[object Date]") {
-  $FAIL("#3: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#3: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x4 = new Date(1969, 11, 31, 23, 59, 59, 999);
 if (x4.toString() !== "[object Date]") {
-  $FAIL("#4: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#4: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x5 = new Date(1969, 12, 1, 0, 0, 0, 0);
 if (x5.toString() !== "[object Date]") {
-  $FAIL("#5: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#5: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x6 = new Date(1970, 0, 1, 0, 0, 0, 0);
 if (x6.toString() !== "[object Date]") {
-  $FAIL("#6: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#6: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x7 = new Date(1999, 11, 31, 23, 59, 59, 999);
 if (x7.toString() !== "[object Date]") {
-  $FAIL("#7: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#7: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x8 = new Date(1999, 12, 1, 0, 0, 0, 0);
 if (x8.toString() !== "[object Date]") {
-  $FAIL("#8: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#8: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x9 = new Date(2000, 0, 1, 0, 0, 0, 0);
 if (x9.toString() !== "[object Date]") {
-  $FAIL("#9: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#9: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x10 = new Date(2099, 11, 31, 23, 59, 59, 999);
 if (x10.toString() !== "[object Date]") {
-  $FAIL("#10: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#10: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x11 = new Date(2099, 12, 1, 0, 0, 0, 0);
 if (x11.toString() !== "[object Date]") {
-  $FAIL("#11: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#11: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x12 = new Date(2100, 0, 1, 0, 0, 0, 0);
 if (x12.toString() !== "[object Date]") {
-  $FAIL("#12: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#12: The [[Class]] property of the newly constructed object is set to 'Date'");
 }

test/built-ins/Date/S15.9.3.1_A5_T1.js

@@ -15,7 +15,6 @@ info: >
 es5id: 15.9.3.1_A5_T1
 description: 2 arguments, (year, month)
 includes:
-    - $FAIL.js
     - environment.js
     - numeric_conversion.js
     - Date_constants.js
@@ -23,49 +22,49 @@ includes:
 ---*/
 
 if (-2211638400000 !== new Date(1899, 11).valueOf()) {
-  $FAIL("#1: Incorrect value of Date");
+  $ERROR("#1: Incorrect value of Date");
 }
 
 if (-2208960000000 !== new Date(1899, 12).valueOf()) {
-  $FAIL("#2: Incorrect value of Date");
+  $ERROR("#2: Incorrect value of Date");
 }
 
 if (-2208960000000 !== new Date(1900, 0).valueOf()) {
-  $FAIL("#3: Incorrect value of Date");
+  $ERROR("#3: Incorrect value of Date");
 }
 
 if (-2649600000 !== new Date(1969, 11).valueOf()) {
-  $FAIL("#4: Incorrect value of Date");
+  $ERROR("#4: Incorrect value of Date");
 }
 
 if (28800000 !== new Date(1969, 12).valueOf()) {
-  $FAIL("#5: Incorrect value of Date");
+  $ERROR("#5: Incorrect value of Date");
 }
 
 if (28800000 !== new Date(1970, 0).valueOf()) {
-  $FAIL("#6: Incorrect value of Date");
+  $ERROR("#6: Incorrect value of Date");
 }
 
 if (944035200000 !== new Date(1999, 11).valueOf()) {
-  $FAIL("#7: Incorrect value of Date");
+  $ERROR("#7: Incorrect value of Date");
 }
 
 if (946713600000 !== new Date(1999, 12).valueOf()) {
-  $FAIL("#8: Incorrect value of Date");
+  $ERROR("#8: Incorrect value of Date");
 }
 
 if (946713600000 !== new Date(2000, 0).valueOf()) {
-  $FAIL("#9: Incorrect value of Date");
+  $ERROR("#9: Incorrect value of Date");
 }
 
 if (4099795200000 !== new Date(2099, 11).valueOf()) {
-  $FAIL("#10: Incorrect value of Date");
+  $ERROR("#10: Incorrect value of Date");
 }
 
 if (4102473600000 !== new Date(2099, 12).valueOf()) {
-  $FAIL("#11: Incorrect value of Date");
+  $ERROR("#11: Incorrect value of Date");
 }
 
 if (4102473600000 !== new Date(2100, 0).valueOf()) {
-  $FAIL("#12: Incorrect value of Date");
+  $ERROR("#12: Incorrect value of Date");
 }

test/built-ins/Date/S15.9.3.1_A5_T2.js

@@ -15,7 +15,6 @@ info: >
 es5id: 15.9.3.1_A5_T2
 description: 3 arguments, (year, month, date)
 includes:
-    - $FAIL.js
     - environment.js
     - numeric_conversion.js
     - Date_constants.js
@@ -23,49 +22,49 @@ includes:
 ---*/
 
 if (-2209046400000 !== new Date(1899, 11, 31).valueOf()) {
-  $FAIL("#1: Incorrect value of Date");
+  $ERROR("#1: Incorrect value of Date");
 }
 
 if (-2208960000000 !== new Date(1899, 12, 1).valueOf()) {
-  $FAIL("#2: Incorrect value of Date");
+  $ERROR("#2: Incorrect value of Date");
 }
 
 if (-2208960000000 !== new Date(1900, 0, 1).valueOf()) {
-  $FAIL("#3: Incorrect value of Date");
+  $ERROR("#3: Incorrect value of Date");
 }
 
 if (-57600000 !== new Date(1969, 11, 31).valueOf()) {
-  $FAIL("#4: Incorrect value of Date");
+  $ERROR("#4: Incorrect value of Date");
 }
 
 if (28800000 !== new Date(1969, 12, 1).valueOf()) {
-  $FAIL("#5: Incorrect value of Date");
+  $ERROR("#5: Incorrect value of Date");
 }
 
 if (28800000 !== new Date(1970, 0, 1).valueOf()) {
-  $FAIL("#6: Incorrect value of Date");
+  $ERROR("#6: Incorrect value of Date");
 }
 
 if (946627200000 !== new Date(1999, 11, 31).valueOf()) {
-  $FAIL("#7: Incorrect value of Date");
+  $ERROR("#7: Incorrect value of Date");
 }
 
 if (946713600000 !== new Date(1999, 12, 1).valueOf()) {
-  $FAIL("#8: Incorrect value of Date");
+  $ERROR("#8: Incorrect value of Date");
 }
 
 if (946713600000 !== new Date(2000, 0, 1).valueOf()) {
-  $FAIL("#9: Incorrect value of Date");
+  $ERROR("#9: Incorrect value of Date");
 }
 
 if (4102387200000 !== new Date(2099, 11, 31).valueOf()) {
-  $FAIL("#10: Incorrect value of Date");
+  $ERROR("#10: Incorrect value of Date");
 }
 
 if (4102473600000 !== new Date(2099, 12, 1).valueOf()) {
-  $FAIL("#11: Incorrect value of Date");
+  $ERROR("#11: Incorrect value of Date");
 }
 
 if (4102473600000 !== new Date(2100, 0, 1).valueOf()) {
-  $FAIL("#12: Incorrect value of Date");
+  $ERROR("#12: Incorrect value of Date");
 }

test/built-ins/Date/S15.9.3.1_A5_T3.js

@@ -15,7 +15,6 @@ info: >
 es5id: 15.9.3.1_A5_T3
 description: 4 arguments, (year, month, date, hours)
 includes:
-    - $FAIL.js
     - environment.js
     - numeric_conversion.js
     - Date_constants.js
@@ -23,49 +22,49 @@ includes:
 ---*/
 
 if (-2208963600000 !== new Date(1899, 11, 31, 23).valueOf()) {
-  $FAIL("#1: Incorrect value of Date");
+  $ERROR("#1: Incorrect value of Date");
 }
 
 if (-2208960000000 !== new Date(1899, 12, 1, 0).valueOf()) {
-  $FAIL("#2: Incorrect value of Date");
+  $ERROR("#2: Incorrect value of Date");
 }
 
 if (-2208960000000 !== new Date(1900, 0, 1, 0).valueOf()) {
-  $FAIL("#3: Incorrect value of Date");
+  $ERROR("#3: Incorrect value of Date");
 }
 
 if (25200000 !== new Date(1969, 11, 31, 23).valueOf()) {
-  $FAIL("#4: Incorrect value of Date");
+  $ERROR("#4: Incorrect value of Date");
 }
 
 if (28800000 !== new Date(1969, 12, 1, 0).valueOf()) {
-  $FAIL("#5: Incorrect value of Date");
+  $ERROR("#5: Incorrect value of Date");
 }
 
 if (28800000 !== new Date(1970, 0, 1, 0).valueOf()) {
-  $FAIL("#6: Incorrect value of Date");
+  $ERROR("#6: Incorrect value of Date");
 }
 
 if (946710000000 !== new Date(1999, 11, 31, 23).valueOf()) {
-  $FAIL("#7: Incorrect value of Date");
+  $ERROR("#7: Incorrect value of Date");
 }
 
 if (946713600000 !== new Date(1999, 12, 1, 0).valueOf()) {
-  $FAIL("#8: Incorrect value of Date");
+  $ERROR("#8: Incorrect value of Date");
 }
 
 if (946713600000 !== new Date(2000, 0, 1, 0).valueOf()) {
-  $FAIL("#9: Incorrect value of Date");
+  $ERROR("#9: Incorrect value of Date");
 }
 
 if (4102470000000 !== new Date(2099, 11, 31, 23).valueOf()) {
-  $FAIL("#10: Incorrect value of Date");
+  $ERROR("#10: Incorrect value of Date");
 }
 
 if (4102473600000 !== new Date(2099, 12, 1, 0).valueOf()) {
-  $FAIL("#11: Incorrect value of Date");
+  $ERROR("#11: Incorrect value of Date");
 }
 
 if (4102473600000 !== new Date(2100, 0, 1, 0).valueOf()) {
-  $FAIL("#12: Incorrect value of Date");
+  $ERROR("#12: Incorrect value of Date");
 }

test/built-ins/Date/S15.9.3.1_A5_T4.js

@@ -15,7 +15,6 @@ info: >
 es5id: 15.9.3.1_A5_T4
 description: 5 arguments, (year, month, date, hours, minutes)
 includes:
-    - $FAIL.js
     - environment.js
     - numeric_conversion.js
     - Date_constants.js
@@ -23,49 +22,49 @@ includes:
 ---*/
 
 if (-2208960060000 !== new Date(1899, 11, 31, 23, 59).valueOf()) {
-  $FAIL("#1: Incorrect value of Date");
+  $ERROR("#1: Incorrect value of Date");
 }
 
 if (-2208960000000 !== new Date(1899, 12, 1, 0, 0).valueOf()) {
-  $FAIL("#2: Incorrect value of Date");
+  $ERROR("#2: Incorrect value of Date");
 }
 
 if (-2208960000000 !== new Date(1900, 0, 1, 0, 0).valueOf()) {
-  $FAIL("#3: Incorrect value of Date");
+  $ERROR("#3: Incorrect value of Date");
 }
 
 if (28740000 !== new Date(1969, 11, 31, 23, 59).valueOf()) {
-  $FAIL("#4: Incorrect value of Date");
+  $ERROR("#4: Incorrect value of Date");
 }
 
 if (28800000 !== new Date(1969, 12, 1, 0, 0).valueOf()) {
-  $FAIL("#5: Incorrect value of Date");
+  $ERROR("#5: Incorrect value of Date");
 }
 
 if (28800000 !== new Date(1970, 0, 1, 0, 0).valueOf()) {
-  $FAIL("#6: Incorrect value of Date");
+  $ERROR("#6: Incorrect value of Date");
 }
 
 if (946713540000 !== new Date(1999, 11, 31, 23, 59).valueOf()) {
-  $FAIL("#7: Incorrect value of Date");
+  $ERROR("#7: Incorrect value of Date");
 }
 
 if (946713600000 !== new Date(1999, 12, 1, 0, 0).valueOf()) {
-  $FAIL("#8: Incorrect value of Date");
+  $ERROR("#8: Incorrect value of Date");
 }
 
 if (946713600000 !== new Date(2000, 0, 1, 0, 0).valueOf()) {
-  $FAIL("#9: Incorrect value of Date");
+  $ERROR("#9: Incorrect value of Date");
 }
 
 if (4102473540000 !== new Date(2099, 11, 31, 23, 59).valueOf()) {
-  $FAIL("#10: Incorrect value of Date");
+  $ERROR("#10: Incorrect value of Date");
 }
 
 if (4102473600000 !== new Date(2099, 12, 1, 0, 0).valueOf()) {
-  $FAIL("#11: Incorrect value of Date");
+  $ERROR("#11: Incorrect value of Date");
 }
 
 if (4102473600000 !== new Date(2100, 0, 1, 0, 0).valueOf()) {
-  $FAIL("#12: Incorrect value of Date");
+  $ERROR("#12: Incorrect value of Date");
 }

test/built-ins/Date/S15.9.3.1_A5_T5.js

@@ -15,7 +15,6 @@ info: >
 es5id: 15.9.3.1_A5_T5
 description: 6 arguments, (year, month, date, hours, minutes, seconds)
 includes:
-    - $FAIL.js
     - environment.js
     - numeric_conversion.js
     - Date_constants.js
@@ -23,49 +22,49 @@ includes:
 ---*/
 
 if (-2208960001000 !== new Date(1899, 11, 31, 23, 59, 59).valueOf()) {
-  $FAIL("#1: Incorrect value of Date");
+  $ERROR("#1: Incorrect value of Date");
 }
 
 if (-2208960000000 !== new Date(1899, 12, 1, 0, 0, 0).valueOf()) {
-  $FAIL("#2: Incorrect value of Date");
+  $ERROR("#2: Incorrect value of Date");
 }
 
 if (-2208960000000 !== new Date(1900, 0, 1, 0, 0, 0).valueOf()) {
-  $FAIL("#3: Incorrect value of Date");
+  $ERROR("#3: Incorrect value of Date");
 }
 
 if (28799000 !== new Date(1969, 11, 31, 23, 59, 59).valueOf()) {
-  $FAIL("#4: Incorrect value of Date");
+  $ERROR("#4: Incorrect value of Date");
 }
 
 if (28800000 !== new Date(1969, 12, 1, 0, 0, 0).valueOf()) {
-  $FAIL("#5: Incorrect value of Date");
+  $ERROR("#5: Incorrect value of Date");
 }
 
 if (28800000 !== new Date(1970, 0, 1, 0, 0, 0).valueOf()) {
-  $FAIL("#6: Incorrect value of Date");
+  $ERROR("#6: Incorrect value of Date");
 }
 
 if (946713599000 !== new Date(1999, 11, 31, 23, 59, 59).valueOf()) {
-  $FAIL("#7: Incorrect value of Date");
+  $ERROR("#7: Incorrect value of Date");
 }
 
 if (946713600000 !== new Date(1999, 12, 1, 0, 0, 0).valueOf()) {
-  $FAIL("#8: Incorrect value of Date");
+  $ERROR("#8: Incorrect value of Date");
 }
 
 if (946713600000 !== new Date(2000, 0, 1, 0, 0, 0).valueOf()) {
-  $FAIL("#9: Incorrect value of Date");
+  $ERROR("#9: Incorrect value of Date");
 }
 
 if (4102473599000 !== new Date(2099, 11, 31, 23, 59, 59).valueOf()) {
-  $FAIL("#10: Incorrect value of Date");
+  $ERROR("#10: Incorrect value of Date");
 }
 
 if (4102473600000 !== new Date(2099, 12, 1, 0, 0, 0).valueOf()) {
-  $FAIL("#11: Incorrect value of Date");
+  $ERROR("#11: Incorrect value of Date");
 }
 
 if (4102473600000 !== new Date(2100, 0, 1, 0, 0, 0).valueOf()) {
-  $FAIL("#12: Incorrect value of Date");
+  $ERROR("#12: Incorrect value of Date");
 }

test/built-ins/Date/S15.9.3.1_A5_T6.js

@@ -15,7 +15,6 @@ info: >
 es5id: 15.9.3.1_A5_T6
 description: 7 arguments, (year, month, date, hours, minutes, seconds, ms)
 includes:
-    - $FAIL.js
     - environment.js
     - numeric_conversion.js
     - Date_constants.js
@@ -23,49 +22,49 @@ includes:
 ---*/
 
 if (-2208960000001 !== new Date(1899, 11, 31, 23, 59, 59, 999).valueOf()) {
-  $FAIL("#1: Incorrect value of Date");
+  $ERROR("#1: Incorrect value of Date");
 }
 
 if (-2208960000000 !== new Date(1899, 12, 1, 0, 0, 0, 0).valueOf()) {
-  $FAIL("#2: Incorrect value of Date");
+  $ERROR("#2: Incorrect value of Date");
 }
 
 if (-2208960000000 !== new Date(1900, 0, 1, 0, 0, 0, 0).valueOf()) {
-  $FAIL("#3: Incorrect value of Date");
+  $ERROR("#3: Incorrect value of Date");
 }
 
 if (28799999 !== new Date(1969, 11, 31, 23, 59, 59, 999).valueOf()) {
-  $FAIL("#4: Incorrect value of Date");
+  $ERROR("#4: Incorrect value of Date");
 }
 
 if (28800000 !== new Date(1969, 12, 1, 0, 0, 0, 0).valueOf()) {
-  $FAIL("#5: Incorrect value of Date");
+  $ERROR("#5: Incorrect value of Date");
 }
 
 if (28800000 !== new Date(1970, 0, 1, 0, 0, 0, 0).valueOf()) {
-  $FAIL("#6: Incorrect value of Date");
+  $ERROR("#6: Incorrect value of Date");
 }
 
 if (946713599999 !== new Date(1999, 11, 31, 23, 59, 59, 999).valueOf()) {
-  $FAIL("#7: Incorrect value of Date");
+  $ERROR("#7: Incorrect value of Date");
 }
 
 if (946713600000 !== new Date(1999, 12, 1, 0, 0, 0, 0).valueOf()) {
-  $FAIL("#8: Incorrect value of Date");
+  $ERROR("#8: Incorrect value of Date");
 }
 
 if (946713600000 !== new Date(2000, 0, 1, 0, 0, 0, 0).valueOf()) {
-  $FAIL("#9: Incorrect value of Date");
+  $ERROR("#9: Incorrect value of Date");
 }
 
 if (4102473599999 !== new Date(2099, 11, 31, 23, 59, 59, 999).valueOf()) {
-  $FAIL("#10: Incorrect value of Date");
+  $ERROR("#10: Incorrect value of Date");
 }
 
 if (4102473600000 !== new Date(2099, 12, 1, 0, 0, 0, 0).valueOf()) {
-  $FAIL("#11: Incorrect value of Date");
+  $ERROR("#11: Incorrect value of Date");
 }
 
 if (4102473600000 !== new Date(2100, 0, 1, 0, 0, 0, 0).valueOf()) {
-  $FAIL("#12: Incorrect value of Date");
+  $ERROR("#12: Incorrect value of Date");
 }

test/built-ins/Date/S15.9.3.1_A6_T1.js

@@ -7,7 +7,6 @@ info: >
     with supplied "undefined" argument should be NaN
 es5id: 15.9.3.1_A6_T1
 description: 2 arguments, (year, month)
-includes: [$FAIL.js]
 ---*/
 
 function DateValue(year, month, date, hours, minutes, seconds, ms){
@@ -15,49 +14,49 @@ function DateValue(year, month, date, hours, minutes, seconds, ms){
 }
 
 if (!isNaN(DateValue(1899, 11))) {
-  $FAIL("#1: The value should be NaN");
+  $ERROR("#1: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1899, 12))) {
-  $FAIL("#2: The value should be NaN");
+  $ERROR("#2: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1900, 0))) {
-  $FAIL("#3: The value should be NaN");
+  $ERROR("#3: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1969, 11))) {
-  $FAIL("#4: The value should be NaN");
+  $ERROR("#4: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1969, 12))) {
-  $FAIL("#5: The value should be NaN");
+  $ERROR("#5: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1970, 0))) {
-  $FAIL("#6: The value should be NaN");
+  $ERROR("#6: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1999, 11))) {
-  $FAIL("#7: The value should be NaN");
+  $ERROR("#7: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1999, 12))) {
-  $FAIL("#8: The value should be NaN");
+  $ERROR("#8: The value should be NaN");
 }
 
 if (!isNaN(DateValue(2000, 0))) {
-  $FAIL("#9: The value should be NaN");
+  $ERROR("#9: The value should be NaN");
 }
 
 if (!isNaN(DateValue(2099, 11))) {
-  $FAIL("#10: The value should be NaN");
+  $ERROR("#10: The value should be NaN");
 }
 
 if (!isNaN(DateValue(2099, 12))) {
-  $FAIL("#11: The value should be NaN");
+  $ERROR("#11: The value should be NaN");
 }
 
 if (!isNaN(DateValue(2100, 0))) {
-  $FAIL("#12: The value should be NaN");
+  $ERROR("#12: The value should be NaN");
 }

test/built-ins/Date/S15.9.3.1_A6_T2.js

@@ -7,7 +7,6 @@ info: >
     with supplied "undefined" argument should be NaN
 es5id: 15.9.3.1_A6_T2
 description: 3 arguments, (year, month, date)
-includes: [$FAIL.js]
 ---*/
 
 function DateValue(year, month, date, hours, minutes, seconds, ms){
@@ -15,49 +14,49 @@ function DateValue(year, month, date, hours, minutes, seconds, ms){
 }
 
 if (!isNaN(DateValue(1899, 11, 31))) {
-  $FAIL("#1: The value should be NaN");
+  $ERROR("#1: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1899, 12, 1))) {
-  $FAIL("#2: The value should be NaN");
+  $ERROR("#2: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1900, 0, 1))) {
-  $FAIL("#3: The value should be NaN");
+  $ERROR("#3: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1969, 11, 31))) {
-  $FAIL("#4: The value should be NaN");
+  $ERROR("#4: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1969, 12, 1))) {
-  $FAIL("#5: The value should be NaN");
+  $ERROR("#5: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1970, 0, 1))) {
-  $FAIL("#6: The value should be NaN");
+  $ERROR("#6: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1999, 11, 31))) {
-  $FAIL("#7: The value should be NaN");
+  $ERROR("#7: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1999, 12, 1))) {
-  $FAIL("#8: The value should be NaN");
+  $ERROR("#8: The value should be NaN");
 }
 
 if (!isNaN(DateValue(2000, 0, 1))) {
-  $FAIL("#9: The value should be NaN");
+  $ERROR("#9: The value should be NaN");
 }
 
 if (!isNaN(DateValue(2099, 11, 31))) {
-  $FAIL("#10: The value should be NaN");
+  $ERROR("#10: The value should be NaN");
 }
 
 if (!isNaN(DateValue(2099, 12, 1))) {
-  $FAIL("#11: The value should be NaN");
+  $ERROR("#11: The value should be NaN");
 }
 
 if (!isNaN(DateValue(2100, 0, 1))) {
-  $FAIL("#12: The value should be NaN");
+  $ERROR("#12: The value should be NaN");
 }

test/built-ins/Date/S15.9.3.1_A6_T3.js

@@ -7,7 +7,6 @@ info: >
     with supplied "undefined" argument should be NaN
 es5id: 15.9.3.1_A6_T3
 description: 4 arguments, (year, month, date, hours)
-includes: [$FAIL.js]
 ---*/
 
 function DateValue(year, month, date, hours, minutes, seconds, ms){
@@ -15,49 +14,49 @@ function DateValue(year, month, date, hours, minutes, seconds, ms){
 }
 
 if (!isNaN(DateValue(1899, 11, 31, 23))) {
-  $FAIL("#1: The value should be NaN");
+  $ERROR("#1: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1899, 12, 1, 0))) {
-  $FAIL("#2: The value should be NaN");
+  $ERROR("#2: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1900, 0, 1, 0))) {
-  $FAIL("#3: The value should be NaN");
+  $ERROR("#3: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1969, 11, 31, 23))) {
-  $FAIL("#4: The value should be NaN");
+  $ERROR("#4: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1969, 12, 1, 0))) {
-  $FAIL("#5: The value should be NaN");
+  $ERROR("#5: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1970, 0, 1, 0))) {
-  $FAIL("#6: The value should be NaN");
+  $ERROR("#6: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1999, 11, 31, 23))) {
-  $FAIL("#7: The value should be NaN");
+  $ERROR("#7: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1999, 12, 1, 0))) {
-  $FAIL("#8: The value should be NaN");
+  $ERROR("#8: The value should be NaN");
 }
 
 if (!isNaN(DateValue(2000, 0, 1, 0))) {
-  $FAIL("#9: The value should be NaN");
+  $ERROR("#9: The value should be NaN");
 }
 
 if (!isNaN(DateValue(2099, 11, 31, 23))) {
-  $FAIL("#10: The value should be NaN");
+  $ERROR("#10: The value should be NaN");
 }
 
 if (!isNaN(DateValue(2099, 12, 1, 0))) {
-  $FAIL("#11: The value should be NaN");
+  $ERROR("#11: The value should be NaN");
 }
 
 if (!isNaN(DateValue(2100, 0, 1, 0))) {
-  $FAIL("#12: The value should be NaN");
+  $ERROR("#12: The value should be NaN");
 }

test/built-ins/Date/S15.9.3.1_A6_T4.js

@@ -7,7 +7,6 @@ info: >
     with supplied "undefined" argument should be NaN
 es5id: 15.9.3.1_A6_T4
 description: 5 arguments, (year, month, date, hours, minutes)
-includes: [$FAIL.js]
 ---*/
 
 function DateValue(year, month, date, hours, minutes, seconds, ms){
@@ -15,49 +14,49 @@ function DateValue(year, month, date, hours, minutes, seconds, ms){
 }
 
 if (!isNaN(DateValue(1899, 11, 31, 23, 59))) {
-  $FAIL("#1: The value should be NaN");
+  $ERROR("#1: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1899, 12, 1, 0, 0))) {
-  $FAIL("#2: The value should be NaN");
+  $ERROR("#2: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1900, 0, 1, 0, 0))) {
-  $FAIL("#3: The value should be NaN");
+  $ERROR("#3: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1969, 11, 31, 23, 59))) {
-  $FAIL("#4: The value should be NaN");
+  $ERROR("#4: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1969, 12, 1, 0, 0))) {
-  $FAIL("#5: The value should be NaN");
+  $ERROR("#5: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1970, 0, 1, 0, 0))) {
-  $FAIL("#6: The value should be NaN");
+  $ERROR("#6: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1999, 11, 31, 23, 59))) {
-  $FAIL("#7: The value should be NaN");
+  $ERROR("#7: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1999, 12, 1, 0, 0))) {
-  $FAIL("#8: The value should be NaN");
+  $ERROR("#8: The value should be NaN");
 }
 
 if (!isNaN(DateValue(2000, 0, 1, 0, 0))) {
-  $FAIL("#9: The value should be NaN");
+  $ERROR("#9: The value should be NaN");
 }
 
 if (!isNaN(DateValue(2099, 11, 31, 23, 59))) {
-  $FAIL("#10: The value should be NaN");
+  $ERROR("#10: The value should be NaN");
 }
 
 if (!isNaN(DateValue(2099, 12, 1, 0, 0))) {
-  $FAIL("#11: The value should be NaN");
+  $ERROR("#11: The value should be NaN");
 }
 
 if (!isNaN(DateValue(2100, 0, 1, 0, 0))) {
-  $FAIL("#12: The value should be NaN");
+  $ERROR("#12: The value should be NaN");
 }

test/built-ins/Date/S15.9.3.1_A6_T5.js

@@ -7,7 +7,6 @@ info: >
     with supplied "undefined" argument should be NaN
 es5id: 15.9.3.1_A6_T5
 description: 6 arguments, (year, month, date, hours, minutes, seconds)
-includes: [$FAIL.js]
 ---*/
 
 function DateValue(year, month, date, hours, minutes, seconds, ms){
@@ -15,49 +14,49 @@ function DateValue(year, month, date, hours, minutes, seconds, ms){
 }
 
 if (!isNaN(DateValue(1899, 11, 31, 23, 59, 59))) {
-  $FAIL("#1: The value should be NaN");
+  $ERROR("#1: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1899, 12, 1, 0, 0, 0))) {
-  $FAIL("#2: The value should be NaN");
+  $ERROR("#2: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1900, 0, 1, 0, 0, 0))) {
-  $FAIL("#3: The value should be NaN");
+  $ERROR("#3: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1969, 11, 31, 23, 59, 59))) {
-  $FAIL("#4: The value should be NaN");
+  $ERROR("#4: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1969, 12, 1, 0, 0, 0))) {
-  $FAIL("#5: The value should be NaN");
+  $ERROR("#5: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1970, 0, 1, 0, 0, 0))) {
-  $FAIL("#6: The value should be NaN");
+  $ERROR("#6: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1999, 11, 31, 23, 59, 59))) {
-  $FAIL("#7: The value should be NaN");
+  $ERROR("#7: The value should be NaN");
 }
 
 if (!isNaN(DateValue(1999, 12, 1, 0, 0, 0))) {
-  $FAIL("#8: The value should be NaN");
+  $ERROR("#8: The value should be NaN");
 }
 
 if (!isNaN(DateValue(2000, 0, 1, 0, 0, 0))) {
-  $FAIL("#9: The value should be NaN");
+  $ERROR("#9: The value should be NaN");
 }
 
 if (!isNaN(DateValue(2099, 11, 31, 23, 59, 59))) {
-  $FAIL("#10: The value should be NaN");
+  $ERROR("#10: The value should be NaN");
 }
 
 if (!isNaN(DateValue(2099, 12, 1, 0, 0, 0))) {
-  $FAIL("#11: The value should be NaN");
+  $ERROR("#11: The value should be NaN");
 }
 
 if (!isNaN(DateValue(2100, 0, 1, 0, 0, 0))) {
-  $FAIL("#12: The value should be NaN");
+  $ERROR("#12: The value should be NaN");
 }

test/built-ins/Date/S15.9.3.2_A1_T1.js

@@ -8,150 +8,149 @@ info: >
 es5id: 15.9.3.2_A1_T1
 description: Checking types of newly created objects and it values
 includes:
-    - $FAIL.js
     - Date_constants.js
 ---*/
 
 if (typeof new Date(date_1899_end) !== "object") {
-  $FAIL("#1.1: typeof new Date(date_1899_end) === 'object'");
+  $ERROR("#1.1: typeof new Date(date_1899_end) === 'object'");
 }
 
 if (new Date(date_1899_end) === undefined) {
-  $FAIL("#1.2: new Date(date_1899_end) === undefined");
+  $ERROR("#1.2: new Date(date_1899_end) === undefined");
 }
 
 var x13 = new Date(date_1899_end);
 if(typeof x13 !== "object"){
-  $FAIL("#1.3: typeof new Date(date_1899_end) !== 'object'");
+  $ERROR("#1.3: typeof new Date(date_1899_end) !== 'object'");
 }
 
 var x14 = new Date(date_1899_end);
 if(x14 === undefined){
-  $FAIL("#1.4: new Date(date_1899_end) !== undefined");
+  $ERROR("#1.4: new Date(date_1899_end) !== undefined");
 }
 
 if (typeof new Date(date_1900_start) !== "object") {
-  $FAIL("#2.1: typeof new Date(date_1900_start) === 'object'");
+  $ERROR("#2.1: typeof new Date(date_1900_start) === 'object'");
 }
 
 if (new Date(date_1900_start) === undefined) {
-  $FAIL("#2.2: new Date(date_1900_start) === undefined");
+  $ERROR("#2.2: new Date(date_1900_start) === undefined");
 }
 
 var x23 = new Date(date_1900_start);
 if(typeof x23 !== "object"){
-  $FAIL("#2.3: typeof new Date(date_1900_start) !== 'object'");
+  $ERROR("#2.3: typeof new Date(date_1900_start) !== 'object'");
 }
 
 var x24 = new Date(date_1900_start);
 if(x24 === undefined){
-  $FAIL("#2.4: new Date(date_1900_start) !== undefined");
+  $ERROR("#2.4: new Date(date_1900_start) !== undefined");
 }
 
 if (typeof new Date(date_1969_end) !== "object") {
-  $FAIL("#3.1: typeof new Date(date_1969_end) === 'object'");
+  $ERROR("#3.1: typeof new Date(date_1969_end) === 'object'");
 }
 
 if (new Date(date_1969_end) === undefined) {
-  $FAIL("#3.2: new Date(date_1969_end) === undefined");
+  $ERROR("#3.2: new Date(date_1969_end) === undefined");
 }
 
 var x33 = new Date(date_1969_end);
 if(typeof x33 !== "object"){
-  $FAIL("#3.3: typeof new Date(date_1969_end) !== 'object'");
+  $ERROR("#3.3: typeof new Date(date_1969_end) !== 'object'");
 }
 
 var x34 = new Date(date_1969_end);
 if(x34 === undefined){
-  $FAIL("#3.4: new Date(date_1969_end) !== undefined");
+  $ERROR("#3.4: new Date(date_1969_end) !== undefined");
 }
 
 if (typeof new Date(date_1970_start) !== "object") {
-  $FAIL("#4.1: typeof new Date(date_1970_start) === 'object'");
+  $ERROR("#4.1: typeof new Date(date_1970_start) === 'object'");
 }
 
 if (new Date(date_1970_start) === undefined) {
-  $FAIL("#4.2: new Date(date_1970_start) === undefined");
+  $ERROR("#4.2: new Date(date_1970_start) === undefined");
 }
 
 var x43 = new Date(date_1970_start);
 if(typeof x43 !== "object"){
-  $FAIL("#4.3: typeof new Date(date_1970_start) !== 'object'");
+  $ERROR("#4.3: typeof new Date(date_1970_start) !== 'object'");
 }
 
 var x44 = new Date(date_1970_start);
 if(x44 === undefined){
-  $FAIL("#4.4: new Date(date_1970_start) !== undefined");
+  $ERROR("#4.4: new Date(date_1970_start) !== undefined");
 }
 
 if (typeof new Date(date_1999_end) !== "object") {
-  $FAIL("#5.1: typeof new Date(date_1999_end) === 'object'");
+  $ERROR("#5.1: typeof new Date(date_1999_end) === 'object'");
 }
 
 if (new Date(date_1999_end) === undefined) {
-  $FAIL("#5.2: new Date(date_1999_end) === undefined");
+  $ERROR("#5.2: new Date(date_1999_end) === undefined");
 }
 
 var x53 = new Date(date_1999_end);
 if(typeof x53 !== "object"){
-  $FAIL("#5.3: typeof new Date(date_1999_end) !== 'object'");
+  $ERROR("#5.3: typeof new Date(date_1999_end) !== 'object'");
 }
 
 var x54 = new Date(date_1999_end);
 if(x54 === undefined){
-  $FAIL("#5.4: new Date(date_1999_end) !== undefined");
+  $ERROR("#5.4: new Date(date_1999_end) !== undefined");
 }
 
 if (typeof new Date(date_2000_start) !== "object") {
-  $FAIL("#6.1: typeof new Date(date_2000_start) === 'object'");
+  $ERROR("#6.1: typeof new Date(date_2000_start) === 'object'");
 }
 
 if (new Date(date_2000_start) === undefined) {
-  $FAIL("#6.2: new Date(date_2000_start) === undefined");
+  $ERROR("#6.2: new Date(date_2000_start) === undefined");
 }
 
 var x63 = new Date(date_2000_start);
 if(typeof x63 !== "object"){
-  $FAIL("#6.3: typeof new Date(date_2000_start) !== 'object'");
+  $ERROR("#6.3: typeof new Date(date_2000_start) !== 'object'");
 }
 
 var x64 = new Date(date_2000_start);
 if(x64 === undefined){
-  $FAIL("#6.4: new Date(date_2000_start) !== undefined");
+  $ERROR("#6.4: new Date(date_2000_start) !== undefined");
 }
 
 if (typeof new Date(date_2099_end) !== "object") {
-  $FAIL("#7.1: typeof new Date(date_2099_end) === 'object'");
+  $ERROR("#7.1: typeof new Date(date_2099_end) === 'object'");
 }
 
 if (new Date(date_2099_end) === undefined) {
-  $FAIL("#7.2: new Date(date_2099_end) === undefined");
+  $ERROR("#7.2: new Date(date_2099_end) === undefined");
 }
 
 var x73 = new Date(date_2099_end);
 if(typeof x73 !== "object"){
-  $FAIL("#7.3: typeof new Date(date_2099_end) !== 'object'");
+  $ERROR("#7.3: typeof new Date(date_2099_end) !== 'object'");
 }
 
 var x74 = new Date(date_2099_end);
 if(x74 === undefined){
-  $FAIL("#7.4: new Date(date_2099_end) !== undefined");
+  $ERROR("#7.4: new Date(date_2099_end) !== undefined");
 }
 
 if (typeof new Date(date_2100_start) !== "object") {
-  $FAIL("#8.1: typeof new Date(date_2100_start) === 'object'");
+  $ERROR("#8.1: typeof new Date(date_2100_start) === 'object'");
 }
 
 if (new Date(date_2100_start) === undefined) {
-  $FAIL("#8.2: new Date(date_2100_start) === undefined");
+  $ERROR("#8.2: new Date(date_2100_start) === undefined");
 }
 
 var x83 = new Date(date_2100_start);
 if(typeof x83 !== "object"){
-  $FAIL("#8.3: typeof new Date(date_2100_start) !== 'object'");
+  $ERROR("#8.3: typeof new Date(date_2100_start) !== 'object'");
 }
 
 var x84 = new Date(date_2100_start);
 if(x84 === undefined){
-  $FAIL("#8.4: new Date(date_2100_start) !== undefined");
+  $ERROR("#8.4: new Date(date_2100_start) !== undefined");
 }

test/built-ins/Date/S15.9.3.2_A2_T1.js

@@ -9,13 +9,12 @@ info: >
 es5id: 15.9.3.2_A2_T1
 description: Checking Date.prototype property of newly constructed objects
 includes:
-    - $FAIL.js
     - Date_constants.js
 ---*/
 
 var x11 = new Date(date_1899_end);
 if (typeof x11.constructor.prototype !== "object") {
-  $FAIL("#1.1: typeof x11.constructor.prototype === 'object'");
+  $ERROR("#1.1: typeof x11.constructor.prototype === 'object'");
 }
 
 var x12 = new Date(date_1899_end);
@@ -25,12 +24,12 @@ if (!Date.prototype.isPrototypeOf(x12)) {
 
 var x13 = new Date(date_1899_end);
 if(Date.prototype !== x13.constructor.prototype){
-  $FAIL("#1.3: Date.prototype !== x13.constructor.prototype");
+  $ERROR("#1.3: Date.prototype !== x13.constructor.prototype");
 }
 
 var x21 = new Date(date_1900_start);
 if (typeof x21.constructor.prototype !== "object") {
-  $FAIL("#2.1: typeof x21.constructor.prototype === 'object'");
+  $ERROR("#2.1: typeof x21.constructor.prototype === 'object'");
 }
 
 var x22 = new Date(date_1900_start);
@@ -40,12 +39,12 @@ if (!Date.prototype.isPrototypeOf(x22)) {
 
 var x23 = new Date(date_1900_start);
 if(Date.prototype !== x23.constructor.prototype){
-  $FAIL("#2.3: Date.prototype !== x23.constructor.prototype");
+  $ERROR("#2.3: Date.prototype !== x23.constructor.prototype");
 }
 
 var x31 = new Date(date_1969_end);
 if (typeof x31.constructor.prototype !== "object") {
-  $FAIL("#3.1: typeof x31.constructor.prototype === 'object'");
+  $ERROR("#3.1: typeof x31.constructor.prototype === 'object'");
 }
 
 var x32 = new Date(date_1969_end);
@@ -55,12 +54,12 @@ if (!Date.prototype.isPrototypeOf(x32)) {
 
 var x33 = new Date(date_1969_end);
 if(Date.prototype !== x33.constructor.prototype){
-  $FAIL("#3.3: Date.prototype !== x33.constructor.prototype");
+  $ERROR("#3.3: Date.prototype !== x33.constructor.prototype");
 }
 
 var x41 = new Date(date_1970_start);
 if (typeof x41.constructor.prototype !== "object") {
-  $FAIL("#4.1: typeof x11.constructor.prototype === 'object'");
+  $ERROR("#4.1: typeof x11.constructor.prototype === 'object'");
 }
 
 var x42 = new Date(date_1970_start);
@@ -70,12 +69,12 @@ if (!Date.prototype.isPrototypeOf(x42)) {
 
 var x43 = new Date(date_1970_start);
 if(Date.prototype !== x43.constructor.prototype){
-  $FAIL("#4.3: Date.prototype !== x43.constructor.prototype");
+  $ERROR("#4.3: Date.prototype !== x43.constructor.prototype");
 }
 
 var x51 = new Date(date_1999_end);
 if (typeof x51.constructor.prototype !== "object") {
-  $FAIL("#5.1: typeof x51.constructor.prototype === 'object'");
+  $ERROR("#5.1: typeof x51.constructor.prototype === 'object'");
 }
 
 var x52 = new Date(date_1999_end);
@@ -85,12 +84,12 @@ if (!Date.prototype.isPrototypeOf(x52)) {
 
 var x53 = new Date(date_1999_end);
 if(Date.prototype !== x53.constructor.prototype){
-  $FAIL("#5.3: Date.prototype !== x53.constructor.prototype");
+  $ERROR("#5.3: Date.prototype !== x53.constructor.prototype");
 }
 
 var x61 = new Date(date_2000_start);
 if (typeof x61.constructor.prototype !== "object") {
-  $FAIL("#6.1: typeof x61.constructor.prototype === 'object'");
+  $ERROR("#6.1: typeof x61.constructor.prototype === 'object'");
 }
 
 var x62 = new Date(date_2000_start);
@@ -100,12 +99,12 @@ if (!Date.prototype.isPrototypeOf(x62)) {
 
 var x63 = new Date(date_2000_start);
 if(Date.prototype !== x63.constructor.prototype){
-  $FAIL("#6.3: Date.prototype !== x63.constructor.prototype");
+  $ERROR("#6.3: Date.prototype !== x63.constructor.prototype");
 }
 
 var x71 = new Date(date_2099_end);
 if (typeof x71.constructor.prototype !== "object") {
-  $FAIL("#7.1: typeof x71.constructor.prototype === 'object'");
+  $ERROR("#7.1: typeof x71.constructor.prototype === 'object'");
 }
 
 var x72 = new Date(date_2099_end);
@@ -115,12 +114,12 @@ if (!Date.prototype.isPrototypeOf(x72)) {
 
 var x73 = new Date(date_2099_end);
 if(Date.prototype !== x73.constructor.prototype){
-  $FAIL("#7.3: Date.prototype !== x73.constructor.prototype");
+  $ERROR("#7.3: Date.prototype !== x73.constructor.prototype");
 }
 
 var x81 = new Date(date_2100_start);
 if (typeof x81.constructor.prototype !== "object") {
-  $FAIL("#8.1: typeof x81.constructor.prototype === 'object'");
+  $ERROR("#8.1: typeof x81.constructor.prototype === 'object'");
 }
 
 var x82 = new Date(date_2100_start);
@@ -130,5 +129,5 @@ if (!Date.prototype.isPrototypeOf(x82)) {
 
 var x83 = new Date(date_2100_start);
 if(Date.prototype !== x83.constructor.prototype){
-  $FAIL("#8.3: Date.prototype !== x83.constructor.prototype");
+  $ERROR("#8.3: Date.prototype !== x83.constructor.prototype");
 }

test/built-ins/Date/S15.9.3.2_A3_T1.1.js

@@ -8,46 +8,45 @@ info: >
 es5id: 15.9.3.2_A3_T1.1
 description: Test based on delete prototype.toString
 includes:
-    - $FAIL.js
     - Date_constants.js
 ---*/
 
 var x1 = new Date(date_1899_end);
 if (Object.prototype.toString.call(x1) !== "[object Date]") {
-  $FAIL("#1: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#1: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x2 = new Date(date_1900_start);
 if (Object.prototype.toString.call(x2) !== "[object Date]") {
-  $FAIL("#2: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#2: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x3 = new Date(date_1969_end);
 if (Object.prototype.toString.call(x3) !== "[object Date]") {
-  $FAIL("#3: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#3: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x4 = new Date(date_1970_start);
 if (Object.prototype.toString.call(x4) !== "[object Date]") {
-  $FAIL("#4: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#4: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x5 = new Date(date_1999_end);
 if (Object.prototype.toString.call(x5) !== "[object Date]") {
-  $FAIL("#5: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#5: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x6 = new Date(date_2000_start);
 if (Object.prototype.toString.call(x6) !== "[object Date]") {
-  $FAIL("#6: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#6: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x7 = new Date(date_2099_end);
 if (Object.prototype.toString.call(x7) !== "[object Date]") {
-  $FAIL("#7: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#7: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x8 = new Date(date_2100_start);
 if (Object.prototype.toString.call(x8) !== "[object Date]") {
-  $FAIL("#8: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#8: The [[Class]] property of the newly constructed object is set to 'Date'");
 }

test/built-ins/Date/S15.9.3.2_A3_T1.2.js

@@ -8,7 +8,6 @@ info: >
 es5id: 15.9.3.2_A3_T1.2
 description: Test based on overwriting prototype.toString
 includes:
-    - $FAIL.js
     - Date_constants.js
 ---*/
 
@@ -16,40 +15,40 @@ Date.prototype.toString = Object.prototype.toString;
 
 var x1 = new Date(date_1899_end);
 if (x1.toString() !== "[object Date]") {
-  $FAIL("#1: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#1: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x2 = new Date(date_1900_start);
 if (x2.toString() !== "[object Date]") {
-  $FAIL("#2: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#2: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x3 = new Date(date_1969_end);
 if (x3.toString() !== "[object Date]") {
-  $FAIL("#3: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#3: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x4 = new Date(date_1970_start);
 if (x4.toString() !== "[object Date]") {
-  $FAIL("#4: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#4: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x5 = new Date(date_1999_end);
 if (x5.toString() !== "[object Date]") {
-  $FAIL("#5: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#5: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x6 = new Date(date_2000_start);
 if (x6.toString() !== "[object Date]") {
-  $FAIL("#6: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#6: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x7 = new Date(date_2099_end);
 if (x7.toString() !== "[object Date]") {
-  $FAIL("#7: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#7: The [[Class]] property of the newly constructed object is set to 'Date'");
 }
 
 var x8 = new Date(date_2100_start);
 if (x8.toString() !== "[object Date]") {
-  $FAIL("#8: The [[Class]] property of the newly constructed object is set to 'Date'");
+  $ERROR("#8: The [[Class]] property of the newly constructed object is set to 'Date'");
 }

test/built-ins/Date/UTC/S15.9.4.3_A1_T2.js

@@ -5,7 +5,6 @@
 info: The Date property "UTC" has { DontEnum } attributes
 es5id: 15.9.4.3_A1_T2
 description: Checking absence of DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.UTC  === false) {
@@ -13,5 +12,5 @@ if (delete Date.UTC  === false) {
 }
 
 if (Date.hasOwnProperty('UTC')) {
-  $FAIL('#2: The Date.UTC property has not the attributes DontDelete');
+  $ERROR('#2: The Date.UTC property has not the attributes DontDelete');
 }

test/built-ins/Date/UTC/S15.9.4.3_A3_T2.js

@@ -7,7 +7,6 @@ info: >
     attributes
 es5id: 15.9.4.3_A3_T2
 description: Checking DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.UTC.length  !== true) {
@@ -15,5 +14,5 @@ if (delete Date.UTC.length  !== true) {
 }
 
 if (Date.UTC.hasOwnProperty('length')) {
-  $FAIL('#2: The Date.UTC.length property does not have the attributes DontDelete');
+  $ERROR('#2: The Date.UTC.length property does not have the attributes DontDelete');
 }

test/built-ins/Date/parse/S15.9.4.2_A1_T2.js

@@ -5,7 +5,6 @@
 info: The Date property "parse" has { DontEnum } attributes
 es5id: 15.9.4.2_A1_T2
 description: Checking absence of DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.parse  === false) {
@@ -13,5 +12,5 @@ if (delete Date.parse  === false) {
 }
 
 if (Date.hasOwnProperty('parse')) {
-  $FAIL('#2: The Date.parse property has not the attributes DontDelete');
+  $ERROR('#2: The Date.parse property has not the attributes DontDelete');
 }

test/built-ins/Date/parse/S15.9.4.2_A3_T2.js

@@ -7,7 +7,6 @@ info: >
     attributes
 es5id: 15.9.4.2_A3_T2
 description: Checking DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.parse.length  !== true) {
@@ -15,5 +14,5 @@ if (delete Date.parse.length  !== true) {
 }
 
 if (Date.parse.hasOwnProperty('length')) {
-  $FAIL('#2: The Date.parse.length property does not have the attributes DontDelete');
+  $ERROR('#2: The Date.parse.length property does not have the attributes DontDelete');
 }

test/built-ins/Date/prototype/S15.9.4.1_A1_T2.js

@@ -22,5 +22,5 @@ try {
 }
 
 if (!Date.hasOwnProperty('prototype')) {
-  $FAIL('#2: The Date.prototype property has the attributes DontDelete');
+  $ERROR('#2: The Date.prototype property has the attributes DontDelete');
 }

test/built-ins/Date/prototype/constructor/S15.9.5.1_A1_T2.js

@@ -5,7 +5,6 @@
 info: The Date.prototype property "constructor" has { DontEnum } attributes
 es5id: 15.9.5.1_A1_T2
 description: Checking absence of DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.constructor  === false) {
@@ -13,5 +12,5 @@ if (delete Date.prototype.constructor  === false) {
 }
 
 if (Date.prototype.hasOwnProperty('constructor')) {
-  $FAIL('#2: The Date.prototype.constructor property has not the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.constructor property has not the attributes DontDelete');
 }

test/built-ins/Date/prototype/constructor/S15.9.5.1_A3_T2.js

@@ -7,7 +7,6 @@ info: >
     DontDelete, DontEnum } attributes
 es5id: 15.9.5.1_A3_T2
 description: Checking DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.constructor.length  !== true) {
@@ -15,5 +14,5 @@ if (delete Date.prototype.constructor.length  !== true) {
 }
 
 if (Date.prototype.constructor.hasOwnProperty('length')) {
-  $FAIL('#2: The Date.prototype.constructor.length property does not have the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.constructor.length property does not have the attributes DontDelete');
 }

test/built-ins/Date/prototype/getDate/S15.9.5.14_A1_T2.js

@@ -5,7 +5,6 @@
 info: The Date.prototype property "getDate" has { DontEnum } attributes
 es5id: 15.9.5.14_A1_T2
 description: Checking absence of DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.getDate  === false) {
@@ -13,5 +12,5 @@ if (delete Date.prototype.getDate  === false) {
 }
 
 if (Date.prototype.hasOwnProperty('getDate')) {
-  $FAIL('#2: The Date.prototype.getDate property has not the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.getDate property has not the attributes DontDelete');
 }

test/built-ins/Date/prototype/getDate/S15.9.5.14_A3_T2.js

@@ -7,7 +7,6 @@ info: >
     DontDelete, DontEnum } attributes
 es5id: 15.9.5.14_A3_T2
 description: Checking DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.getDate.length  !== true) {
@@ -15,5 +14,5 @@ if (delete Date.prototype.getDate.length  !== true) {
 }
 
 if (Date.prototype.getDate.hasOwnProperty('length')) {
-  $FAIL('#2: The Date.prototype.getDate.length property does not have the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.getDate.length property does not have the attributes DontDelete');
 }

test/built-ins/Date/prototype/getDay/S15.9.5.16_A1_T2.js

@@ -5,7 +5,6 @@
 info: The Date.prototype property "getDay" has { DontEnum } attributes
 es5id: 15.9.5.16_A1_T2
 description: Checking absence of DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.getDay  === false) {
@@ -13,5 +12,5 @@ if (delete Date.prototype.getDay  === false) {
 }
 
 if (Date.prototype.hasOwnProperty('getDay')) {
-  $FAIL('#2: The Date.prototype.getDay property has not the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.getDay property has not the attributes DontDelete');
 }

test/built-ins/Date/prototype/getDay/S15.9.5.16_A3_T2.js

@@ -7,7 +7,6 @@ info: >
     DontEnum } attributes
 es5id: 15.9.5.16_A3_T2
 description: Checking DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.getDay.length  !== true) {
@@ -15,5 +14,5 @@ if (delete Date.prototype.getDay.length  !== true) {
 }
 
 if (Date.prototype.getDay.hasOwnProperty('length')) {
-  $FAIL('#2: The Date.prototype.getDay.length property does not have the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.getDay.length property does not have the attributes DontDelete');
 }

test/built-ins/Date/prototype/getFullYear/S15.9.5.10_A1_T2.js

@@ -5,7 +5,6 @@
 info: The Date.prototype property "getFullYear" has { DontEnum } attributes
 es5id: 15.9.5.10_A1_T2
 description: Checking absence of DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.getFullYear  === false) {
@@ -13,5 +12,5 @@ if (delete Date.prototype.getFullYear  === false) {
 }
 
 if (Date.prototype.hasOwnProperty('getFullYear')) {
-  $FAIL('#2: The Date.prototype.getFullYear property has not the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.getFullYear property has not the attributes DontDelete');
 }

test/built-ins/Date/prototype/getFullYear/S15.9.5.10_A3_T2.js

@@ -7,7 +7,6 @@ info: >
     DontDelete, DontEnum } attributes
 es5id: 15.9.5.10_A3_T2
 description: Checking DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.getFullYear.length  !== true) {
@@ -15,5 +14,5 @@ if (delete Date.prototype.getFullYear.length  !== true) {
 }
 
 if (Date.prototype.getFullYear.hasOwnProperty('length')) {
-  $FAIL('#2: The Date.prototype.getFullYear.length property does not have the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.getFullYear.length property does not have the attributes DontDelete');
 }

test/built-ins/Date/prototype/getHours/S15.9.5.18_A1_T2.js

@@ -5,7 +5,6 @@
 info: The Date.prototype property "getHours" has { DontEnum } attributes
 es5id: 15.9.5.18_A1_T2
 description: Checking absence of DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.getHours  === false) {
@@ -13,5 +12,5 @@ if (delete Date.prototype.getHours  === false) {
 }
 
 if (Date.prototype.hasOwnProperty('getHours')) {
-  $FAIL('#2: The Date.prototype.getHours property has not the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.getHours property has not the attributes DontDelete');
 }

test/built-ins/Date/prototype/getHours/S15.9.5.18_A3_T2.js

@@ -7,7 +7,6 @@ info: >
     DontDelete, DontEnum } attributes
 es5id: 15.9.5.18_A3_T2
 description: Checking DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.getHours.length  !== true) {
@@ -15,5 +14,5 @@ if (delete Date.prototype.getHours.length  !== true) {
 }
 
 if (Date.prototype.getHours.hasOwnProperty('length')) {
-  $FAIL('#2: The Date.prototype.getHours.length property does not have the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.getHours.length property does not have the attributes DontDelete');
 }

test/built-ins/Date/prototype/getMilliseconds/S15.9.5.24_A1_T2.js

@@ -5,7 +5,6 @@
 info: The Date.prototype property "getMilliseconds" has { DontEnum } attributes
 es5id: 15.9.5.24_A1_T2
 description: Checking absence of DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.getMilliseconds  === false) {
@@ -13,5 +12,5 @@ if (delete Date.prototype.getMilliseconds  === false) {
 }
 
 if (Date.prototype.hasOwnProperty('getMilliseconds')) {
-  $FAIL('#2: The Date.prototype.getMilliseconds property has not the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.getMilliseconds property has not the attributes DontDelete');
 }

test/built-ins/Date/prototype/getMilliseconds/S15.9.5.24_A3_T2.js

@@ -7,7 +7,6 @@ info: >
     DontDelete, DontEnum } attributes
 es5id: 15.9.5.24_A3_T2
 description: Checking DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.getMilliseconds.length  !== true) {
@@ -15,5 +14,5 @@ if (delete Date.prototype.getMilliseconds.length  !== true) {
 }
 
 if (Date.prototype.getMilliseconds.hasOwnProperty('length')) {
-  $FAIL('#2: The Date.prototype.getMilliseconds.length property does not have the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.getMilliseconds.length property does not have the attributes DontDelete');
 }

test/built-ins/Date/prototype/getMinutes/S15.9.5.20_A1_T2.js

@@ -5,7 +5,6 @@
 info: The Date.prototype property "getMinutes" has { DontEnum } attributes
 es5id: 15.9.5.20_A1_T2
 description: Checking absence of DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.getMinutes  === false) {
@@ -13,5 +12,5 @@ if (delete Date.prototype.getMinutes  === false) {
 }
 
 if (Date.prototype.hasOwnProperty('getMinutes')) {
-  $FAIL('#2: The Date.prototype.getMinutes property has not the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.getMinutes property has not the attributes DontDelete');
 }

test/built-ins/Date/prototype/getMinutes/S15.9.5.20_A3_T2.js

@@ -7,7 +7,6 @@ info: >
     DontDelete, DontEnum } attributes
 es5id: 15.9.5.20_A3_T2
 description: Checking DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.getMinutes.length  !== true) {
@@ -15,5 +14,5 @@ if (delete Date.prototype.getMinutes.length  !== true) {
 }
 
 if (Date.prototype.getMinutes.hasOwnProperty('length')) {
-  $FAIL('#2: The Date.prototype.getMinutes.length property does not have the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.getMinutes.length property does not have the attributes DontDelete');
 }

test/built-ins/Date/prototype/getMonth/S15.9.5.12_A1_T2.js

@@ -5,7 +5,6 @@
 info: The Date.prototype property "getMonth" has { DontEnum } attributes
 es5id: 15.9.5.12_A1_T2
 description: Checking absence of DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.getMonth  === false) {
@@ -13,5 +12,5 @@ if (delete Date.prototype.getMonth  === false) {
 }
 
 if (Date.prototype.hasOwnProperty('getMonth')) {
-  $FAIL('#2: The Date.prototype.getMonth property has not the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.getMonth property has not the attributes DontDelete');
 }

test/built-ins/Date/prototype/getMonth/S15.9.5.12_A3_T2.js

@@ -7,7 +7,6 @@ info: >
     DontDelete, DontEnum } attributes
 es5id: 15.9.5.12_A3_T2
 description: Checking DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.getMonth.length  !== true) {
@@ -15,5 +14,5 @@ if (delete Date.prototype.getMonth.length  !== true) {
 }
 
 if (Date.prototype.getMonth.hasOwnProperty('length')) {
-  $FAIL('#2: The Date.prototype.getMonth.length property does not have the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.getMonth.length property does not have the attributes DontDelete');
 }

test/built-ins/Date/prototype/getSeconds/S15.9.5.22_A1_T2.js

@@ -5,7 +5,6 @@
 info: The Date.prototype property "getSeconds" has { DontEnum } attributes
 es5id: 15.9.5.22_A1_T2
 description: Checking absence of DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.getSeconds  === false) {
@@ -13,5 +12,5 @@ if (delete Date.prototype.getSeconds  === false) {
 }
 
 if (Date.prototype.hasOwnProperty('getSeconds')) {
-  $FAIL('#2: The Date.prototype.getSeconds property has not the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.getSeconds property has not the attributes DontDelete');
 }

test/built-ins/Date/prototype/getSeconds/S15.9.5.22_A3_T2.js

@@ -7,7 +7,6 @@ info: >
     DontDelete, DontEnum } attributes
 es5id: 15.9.5.22_A3_T2
 description: Checking DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.getSeconds.length  !== true) {
@@ -15,5 +14,5 @@ if (delete Date.prototype.getSeconds.length  !== true) {
 }
 
 if (Date.prototype.getSeconds.hasOwnProperty('length')) {
-  $FAIL('#2: The Date.prototype.getSeconds.length property does not have the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.getSeconds.length property does not have the attributes DontDelete');
 }

test/built-ins/Date/prototype/getTime/S15.9.5.9_A1_T2.js

@@ -5,7 +5,6 @@
 info: The Date.prototype property "getTime" has { DontEnum } attributes
 es5id: 15.9.5.9_A1_T2
 description: Checking absence of DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.getTime  === false) {
@@ -13,5 +12,5 @@ if (delete Date.prototype.getTime  === false) {
 }
 
 if (Date.prototype.hasOwnProperty('getTime')) {
-  $FAIL('#2: The Date.prototype.getTime property has not the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.getTime property has not the attributes DontDelete');
 }

test/built-ins/Date/prototype/getTime/S15.9.5.9_A3_T2.js

@@ -7,7 +7,6 @@ info: >
     DontDelete, DontEnum } attributes
 es5id: 15.9.5.9_A3_T2
 description: Checking DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.getTime.length  !== true) {
@@ -15,5 +14,5 @@ if (delete Date.prototype.getTime.length  !== true) {
 }
 
 if (Date.prototype.getTime.hasOwnProperty('length')) {
-  $FAIL('#2: The Date.prototype.getTime.length property does not have the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.getTime.length property does not have the attributes DontDelete');
 }

test/built-ins/Date/prototype/getTimezoneOffset/S15.9.5.26_A1_T2.js

@@ -7,7 +7,6 @@ info: >
     attributes
 es5id: 15.9.5.26_A1_T2
 description: Checking absence of DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.getTimezoneOffset  === false) {
@@ -15,5 +14,5 @@ if (delete Date.prototype.getTimezoneOffset  === false) {
 }
 
 if (Date.prototype.hasOwnProperty('getTimezoneOffset')) {
-  $FAIL('#2: The Date.prototype.getTimezoneOffset property has not the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.getTimezoneOffset property has not the attributes DontDelete');
 }

test/built-ins/Date/prototype/getTimezoneOffset/S15.9.5.26_A3_T2.js

@@ -7,7 +7,6 @@ info: >
     DontDelete, DontEnum } attributes
 es5id: 15.9.5.26_A3_T2
 description: Checking DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.getTimezoneOffset.length  !== true) {
@@ -15,5 +14,5 @@ if (delete Date.prototype.getTimezoneOffset.length  !== true) {
 }
 
 if (Date.prototype.getTimezoneOffset.hasOwnProperty('length')) {
-  $FAIL('#2: The Date.prototype.getTimezoneOffset.length property does not have the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.getTimezoneOffset.length property does not have the attributes DontDelete');
 }

test/built-ins/Date/prototype/getUTCDate/S15.9.5.15_A1_T2.js

@@ -5,7 +5,6 @@
 info: The Date.prototype property "getUTCDate" has { DontEnum } attributes
 es5id: 15.9.5.15_A1_T2
 description: Checking absence of DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.getUTCDate  === false) {
@@ -13,5 +12,5 @@ if (delete Date.prototype.getUTCDate  === false) {
 }
 
 if (Date.prototype.hasOwnProperty('getUTCDate')) {
-  $FAIL('#2: The Date.prototype.getUTCDate property has not the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.getUTCDate property has not the attributes DontDelete');
 }

test/built-ins/Date/prototype/getUTCDate/S15.9.5.15_A3_T2.js

@@ -7,7 +7,6 @@ info: >
     DontDelete, DontEnum } attributes
 es5id: 15.9.5.15_A3_T2
 description: Checking DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.getUTCDate.length  !== true) {
@@ -15,5 +14,5 @@ if (delete Date.prototype.getUTCDate.length  !== true) {
 }
 
 if (Date.prototype.getUTCDate.hasOwnProperty('length')) {
-  $FAIL('#2: The Date.prototype.getUTCDate.length property does not have the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.getUTCDate.length property does not have the attributes DontDelete');
 }

test/built-ins/Date/prototype/getUTCDay/S15.9.5.17_A1_T2.js

@@ -5,7 +5,6 @@
 info: The Date.prototype property "getUTCDay" has { DontEnum } attributes
 es5id: 15.9.5.17_A1_T2
 description: Checking absence of DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.getUTCDay  === false) {
@@ -13,5 +12,5 @@ if (delete Date.prototype.getUTCDay  === false) {
 }
 
 if (Date.prototype.hasOwnProperty('getUTCDay')) {
-  $FAIL('#2: The Date.prototype.getUTCDay property has not the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.getUTCDay property has not the attributes DontDelete');
 }

test/built-ins/Date/prototype/getUTCDay/S15.9.5.17_A3_T2.js

@@ -7,7 +7,6 @@ info: >
     DontDelete, DontEnum } attributes
 es5id: 15.9.5.17_A3_T2
 description: Checking DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.getUTCDay.length  !== true) {
@@ -15,5 +14,5 @@ if (delete Date.prototype.getUTCDay.length  !== true) {
 }
 
 if (Date.prototype.getUTCDay.hasOwnProperty('length')) {
-  $FAIL('#2: The Date.prototype.getUTCDay.length property does not have the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.getUTCDay.length property does not have the attributes DontDelete');
 }

test/built-ins/Date/prototype/getUTCFullYear/S15.9.5.11_A1_T2.js

@@ -5,7 +5,6 @@
 info: The Date.prototype property "getUTCFullYear" has { DontEnum } attributes
 es5id: 15.9.5.11_A1_T2
 description: Checking absence of DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.getUTCFullYear  === false) {
@@ -13,5 +12,5 @@ if (delete Date.prototype.getUTCFullYear  === false) {
 }
 
 if (Date.prototype.hasOwnProperty('getUTCFullYear')) {
-  $FAIL('#2: The Date.prototype.getUTCFullYear property has not the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.getUTCFullYear property has not the attributes DontDelete');
 }

test/built-ins/Date/prototype/getUTCFullYear/S15.9.5.11_A3_T2.js

@@ -7,7 +7,6 @@ info: >
     DontDelete, DontEnum } attributes
 es5id: 15.9.5.11_A3_T2
 description: Checking DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.getUTCFullYear.length  !== true) {
@@ -15,5 +14,5 @@ if (delete Date.prototype.getUTCFullYear.length  !== true) {
 }
 
 if (Date.prototype.getUTCFullYear.hasOwnProperty('length')) {
-  $FAIL('#2: The Date.prototype.getUTCFullYear.length property does not have the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.getUTCFullYear.length property does not have the attributes DontDelete');
 }

test/built-ins/Date/prototype/getUTCHours/S15.9.5.19_A1_T2.js

@@ -5,7 +5,6 @@
 info: The Date.prototype property "getUTCHours" has { DontEnum } attributes
 es5id: 15.9.5.19_A1_T2
 description: Checking absence of DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.getUTCHours  === false) {
@@ -13,5 +12,5 @@ if (delete Date.prototype.getUTCHours  === false) {
 }
 
 if (Date.prototype.hasOwnProperty('getUTCHours')) {
-  $FAIL('#2: The Date.prototype.getUTCHours property has not the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.getUTCHours property has not the attributes DontDelete');
 }

test/built-ins/Date/prototype/getUTCHours/S15.9.5.19_A3_T2.js

@@ -7,7 +7,6 @@ info: >
     DontDelete, DontEnum } attributes
 es5id: 15.9.5.19_A3_T2
 description: Checking DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.getUTCHours.length  !== true) {
@@ -15,5 +14,5 @@ if (delete Date.prototype.getUTCHours.length  !== true) {
 }
 
 if (Date.prototype.getUTCHours.hasOwnProperty('length')) {
-  $FAIL('#2: The Date.prototype.getUTCHours.length property does not have the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.getUTCHours.length property does not have the attributes DontDelete');
 }

test/built-ins/Date/prototype/getUTCMilliseconds/S15.9.5.25_A1_T2.js

@@ -7,7 +7,6 @@ info: >
     attributes
 es5id: 15.9.5.25_A1_T2
 description: Checking absence of DontDelete attribute
-includes: [$FAIL.js]
 ---*/
 
 if (delete Date.prototype.getUTCMilliseconds  === false) {
@@ -15,5 +14,5 @@ if (delete Date.prototype.getUTCMilliseconds  === false) {
 }
 
 if (Date.prototype.hasOwnProperty('getUTCMilliseconds')) {
-  $FAIL('#2: The Date.prototype.getUTCMilliseconds property has not the attributes DontDelete');
+  $ERROR('#2: The Date.prototype.getUTCMilliseconds property has not the attributes DontDelete');
 }