aboutsummaryrefslogtreecommitdiff
path: root/test/ufuzz
diff options
context:
space:
mode:
Diffstat (limited to 'test/ufuzz')
-rw-r--r--test/ufuzz/index.js4
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) {