// Copyright 2009 the Sputnik authors.  All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.

/**
 * The production CharacterClass :: [ [lookahead \notin {^}] ClassRanges ] evaluates by evaluating ClassRanges to obtain a CharSet and returning that CharSet and the boolean false
 *
 * @path ch15/15.10/15.10.2/15.10.2.13/S15.10.2.13_A1_T1.js
 * @description Execute /[]a/.test("\0a\0a") and check results
 */

__executed = /[]a/.test("\0a\0a");;

//CHECK#1
 if (__executed) {
	$ERROR('#1: /[]a/.test("\\0a\\0a") === false');
}