9 lines
215 B
JavaScript
9 lines
215 B
JavaScript
var javascript_unicode = require("./javascript_unicode");
|
|
|
|
var str = "olé";
|
|
|
|
var copy = javascript_unicode.copy_string(str);
|
|
|
|
if (str !== copy) {
|
|
print("Error: copy is not equal: original="+str+", copy="+copy);
|
|
}
|