1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/js/src/tests/test262/ch11/11.6/11.6.2/S11.6.2_A4_T5.js Wed Dec 31 06:09:35 2014 +0100
1.3 @@ -0,0 +1,46 @@
1.4 +// Copyright 2009 the Sputnik authors. All rights reserved.
1.5 +// This code is governed by the BSD license found in the LICENSE file.
1.6 +
1.7 +/**
1.8 + * Operator x - y produces the same result as x + (-y)
1.9 + *
1.10 + * @path ch11/11.6/11.6.2/S11.6.2_A4_T5.js
1.11 + * @description Using the rule of sum of two zeroes and the fact that a - b = a + (-b)
1.12 + */
1.13 +
1.14 +//CHECK#1
1.15 +if (-0 - -0 !== 0 ) {
1.16 + $ERROR('#1.1: -0 - -0 === 0. Actual: ' + (-0 - -0));
1.17 +} else {
1.18 + if (1 / (-0 - -0) !== Number.POSITIVE_INFINITY) {
1.19 + $ERROR('#1.2: -0 - -0 === + 0. Actual: -0');
1.20 + }
1.21 +}
1.22 +
1.23 +//CHECK#2
1.24 +if (0 - -0 !== 0 ) {
1.25 + $ERROR('#2.1: 0 - -0 === 0. Actual: ' + (0 - -0));
1.26 +} else {
1.27 + if (1 / (0 - -0) !== Number.POSITIVE_INFINITY) {
1.28 + $ERROR('#2.2: 0 - -0 === + 0. Actual: -0');
1.29 + }
1.30 +}
1.31 +
1.32 +//CHECK#3
1.33 +if (-0 - 0 !== -0 ) {
1.34 + $ERROR('#3.1: -0 - 0 === 0. Actual: ' + (-0 - 0));
1.35 +} else {
1.36 + if (1 / (-0 - 0) !== Number.NEGATIVE_INFINITY) {
1.37 + $ERROR('#3.2: -0 - 0 === - 0. Actual: +0');
1.38 + }
1.39 +}
1.40 +
1.41 +//CHECK#4
1.42 +if (0 - 0 !== 0 ) {
1.43 + $ERROR('#4.1: 0 - 0 === 0. Actual: ' + (0 - 0));
1.44 +} else {
1.45 + if (1 / (0 - 0) !== Number.POSITIVE_INFINITY) {
1.46 + $ERROR('#4.2: 0 - 0 === + 0. Actual: -0');
1.47 + }
1.48 +}
1.49 +
