diff --git a/maven-plugin/src/main/java/edu/berkeley/cs/jqf/plugin/FuzzGoal.java b/maven-plugin/src/main/java/edu/berkeley/cs/jqf/plugin/FuzzGoal.java index a69a44f74..c40d615f2 100644 --- a/maven-plugin/src/main/java/edu/berkeley/cs/jqf/plugin/FuzzGoal.java +++ b/maven-plugin/src/main/java/edu/berkeley/cs/jqf/plugin/FuzzGoal.java @@ -304,7 +304,7 @@ public void execute() throws MojoExecutionException, MojoFailureException { // Configure Zest Guidance if (saveAll) { - System.setProperty("jqf.ei.SAVE_ALL_INPUTS", "true"); + System.setProperty("jqf.ei.LOG_ALL_INPUTS", "true"); } if (libFuzzerCompatOutput != null) { System.setProperty("jqf.ei.LIBFUZZER_COMPAT_OUTPUT", libFuzzerCompatOutput);