blob: d18e63f05713bcf7a0a09fc242bd27869852ef17 [file] [log] [blame]
function foo() {
return a + b;
}
var array = Array(10007);
var string = foo.toString();
for (var i = 0; i < 700000; ++i) {
array[i % array.length] = "foo " + string.substring(i % string.length, (i / string.length) % string.length) + " bar";
}
for (var i = 0; i < array.length; ++i) {
var thing = array[i].substring(4, array[i].length - 4);
if (string.indexOf(thing) < 0)
throw "Error: bad substring: \"" + thing + "\"";
}