The QuickCheck could create files for CASE programs if the QuickCheck is bad (or perhpas always, as an option):
Log in to post a comment.
