michael@0: // Copyright 2009 the Sputnik authors.  All rights reserved.
michael@0: // This code is governed by the BSD license found in the LICENSE file.
michael@0: 
michael@0: /**
michael@0:  * Zero "\0" not terminates the string(C string)
michael@0:  *
michael@0:  * @path ch08/8.4/S8.4_A5.js
michael@0:  * @description Insert "\0" into string
michael@0:  */
michael@0: 
michael@0: // CHECK#1
michael@0: if ("x\0y" === "x") {
michael@0:   $ERROR('#1: "x\\0y" !== "x"');
michael@0: }
michael@0: 
michael@0: // CHECK#2
michael@0: if (!(("x\0a" < "x\0b") && ("x\0b" < "x\0c"))) {
michael@0:   $ERROR('#2: (("x\\0a" < "x\\0b") && ("x\\0b" < "x\\0c")) === true');
michael@0: }
michael@0: