Improve wording of error message.

Improves #23.
marxin · May 25, 2020 · add61ed · add61ed
1 parent f0d6c65
commit add61ed
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/cvise/utils/error.py b/cvise/utils/error.py
@@ -115,8 +115,8 @@ def __str__(self):
   echo $?
 
 should result in "0" being echoed to the terminal.
-Please ensure the interestingness test accepts the test-case as the first argument,
-or expects the same test-case name.
+Please ensure that the test script takes no arguments; it should be hard-coded to refer
+to the same file that is passed as an argument to C-Vise.
 
 See "cvise.py --help" for more information.""".format(test_cases=" ".join(self.test_cases), test=self.test)
         return message