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) {