In TestcaseGenerator.java, a System.exit(0) concludes the catch for a CmdLineException but not for any other exceptions. Although the code eventually exits, each catch block should follow the same format so as to avoid undefined behavior.
Log in to post a comment.
