[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [creduce-bugs] creduce bug report

To add a bit to what Eric said:

In general an interestingness test wants to bail with nonzero exit code if any command fails. Sometimes "set -e" suffices but usually I just write the exits by hand. C-Reduce comes with a bunch of interestingness tests that illustrate this style.