text: // Copyright 2009 the Sputnik authors.  All rights reserved.
  // This code is governed by the BSD license found in the LICENSE file.
  
  /**
  * @name: S15.4.4.6_A5.5;
  * @section: 15.4.4.6, 15.2.4.7, 12.6.4;
  * @assertion: The pop property of Array has the attribute DontEnum;
  * @description: Checking use propertyIsEnumerable, for-in;
  */
  
  
  //CHECK#1
  if (Array.propertyIsEnumerable('pop') !== false) {
    $ERROR('#1: Array.propertyIsEnumerable(\'pop\') === false. Actual: ' + (Array.propertyIsEnumerable('pop')));
  }
  
  //CHECK#2
  var result = true;
  for (var p in Array){
    if (p === "pop") {
      result = false;
    }  
  }
  
  if (result !== true) {
    $ERROR('#2: result = true; for (p in Array) { if (p === "pop") result = false; }  result === true;');
  }
  
  