2011-10-03 13:04:52 -07:00

17 lines
441 B
JavaScript

// Copyright 2009 the Sputnik authors. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/**
* Number.POSITIVE_INFINITY is DontDelete
*
* @path ch15/15.7/15.7.3/15.7.3.6/S15.7.3.6_A3.js
* @description Checking if deleting Number.POSITIVE_INFINITY fails
* @noStrict
*/
// CHECK#1
if (delete Number.POSITIVE_INFINITY !== false) {
$ERROR('#1: delete Number.POSITIVE_INFINITY === false');
}