function test() { | |
var MAX = 50; | |
var found53Bit = false; | |
var foundLessThan53Bit = false; | |
var results = new Array(MAX); | |
for (var i = 0; i < MAX; ++i) { | |
var str = Math.random().toString(2); | |
results[i] = str; | |
// 53 bit + '0.'.length | |
if (str.length === (53 + 2)) | |
found53Bit = true; | |
else if (str.length < (53 + 2)) | |
foundLessThan53Bit = true; | |
if (found53Bit && foundLessThan53Bit) | |
return true; | |
} | |
print(`Random seed ${getRandomSeed()}`); | |
print(results.join('\n')); | |
return false; | |
} | |
noInline(test); | |
for (var i = 0; i < 1e4; ++i) { | |
if (!test()) | |
throw new Error("OUT"); | |
} |