The automatic validator saves the output to the "out" folder. This output should be deleted prior to re-running the automatic validator, otherwise the validator "passes" in future runs in cases where Nutil fails to save new output to the "out" folder.
The automatic validator saves the output to the "out" folder. This output should be deleted prior to re-running the automatic validator, otherwise the validator "passes" in future runs in cases where Nutil fails to save new output to the "out" folder.