Open
Description
Under mlir/docs/Tools/mlir-reduce.md
, we have
Write the script for testing interestingness
As mentioned, you need to provide a command to mlir-reduce which identifies cases you’re interested in. For each intermediate output generated during reduction, mlir-reduce will run the command over the it, the script should returns 1 for interesting case, 0 otherwise. The sample scrip...
Which is incorrect, specifically, the script should return 0 for an interesting case, and 1 otherwise.