diff options
Diffstat (limited to 'test/ufuzz')
-rw-r--r-- | test/ufuzz/index.js | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/test/ufuzz/index.js b/test/ufuzz/index.js index 8f853c9c..1123d57e 100644 --- a/test/ufuzz/index.js +++ b/test/ufuzz/index.js @@ -1148,7 +1148,9 @@ function log(options) { } } errorln("//-------------------------------------------------------------"); - var reduced = reduce_test(original_code, JSON.parse(options), { + var reduce_options = JSON.parse(options); + reduce_options.validate = true; + var reduced = reduce_test(original_code, reduce_options, { verbose: false, }).code; if (reduced) { |