diff options
| -rw-r--r-- | scripts/fuzz_shell.js | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/scripts/fuzz_shell.js b/scripts/fuzz_shell.js index dbe17098d..5a652a096 100644 --- a/scripts/fuzz_shell.js +++ b/scripts/fuzz_shell.js @@ -56,9 +56,10 @@ var Asyncify = { (function(module, i) { ret[module][i] = function() { if (!Asyncify.sleeping) { - // Sleep if asyncify support is present, and at a certain - // probability. - if (exports.asyncify_start_unwind && + // Sleep if asyncify support is present (which also requires + // that the memory be exported), and at a certain probability. + if (exports.asyncify_start_unwind && + view && detrand() < 0.5) { // We are called in order to start a sleep/unwind. console.log('asyncify: sleep in ' + i + '...'); |