Use case feature request

[oharboe]

I'd like to type something like:

sv-bugpoint file1.v file2.v --error-string FOO -- bazelisk run blah

I'm generally interested in creating a minimal test case for a specific error and I have a build setup and some source files. Ideally sv-bugpoint can take a partial list of the input verilog files and whittle them down.

Use-case YosysHQ/eqy#88

Also, from a bazel point of view, it would be even nicer if I could add sv-bugpoint as a depenedency, so I could run:

bazelisk run @sv-bugpoint//:run -- file1.v file2.v --error-string FOO -- bazelisk run blah

[kbieganski]

Why not create a check script that greps for FOO? Is Bazel's sandbox the problem here?

[sgizler]

I'm generally interested in creating a minimal test case for a specific error and I have a build setup and some source files.

By default sv-bugpoint operates on independent copies of your files. I suppose that in-place minimization would better suit your use case. While it is not supported natively, in simple cases (flat file hierarchy) it should be possible to emulate it with a check script that would copy examined files into your project root:

cp "$@" "$PROJECT_DIR"
cd "$PROJECT_DIR"
bazelisk run blah | grep "FOO"

Nevertheless having switch like --inplace sounds useful and should not be hard to implement.

[oharboe]

My use case was for ORFS, where I was confused about in-place being the default.

I was able to use sv-bugpoint to whittle down an eqy bug report.😌