Fine to me. - Yang
On 6/13/12 12:58 PM, Eric Eide wrote:
Tonight I did the (very little) work required for `creduce' to pass the name of the file being reduced to the test script. As I understand, this is how Berkeley delta invokes its test scripts, and it is compatible with the various Berkeley-delta examples that I've seen on the web (including example test scripts that ignore the file name on the command line, because they "just know" what it is). The command line to `creduce' itself is unchanged. I'm testing this change now. (I have to update the LLVM/Clang on my laptop for other reasons.) But assuming this works, I'd like to check in this change. OK? Thanks --- Eric.
