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.
John