vm.c: remove a useless check

[bpt/guile.git] / test-suite / README

diff --git a/test-suite/README b/test-suite/README
index 22950e7..116869e 100644 (file)
--- a/test-suite/README
+++ b/test-suite/README
@@ -5,13 +5,8 @@ To run these tests, you will need a version of Guile more recent than
 15 Feb 1999 --- the tests use the (ice-9 and-let*) and (ice-9
 getopt-long) modules, which were added to Guile around then.
 
-To run the test suite, you'll need to:
-- edit the path to the guile interpreter in `guile-test', and 
-- edit the paths in `paths.scm', so `guile-test' can find the test
-  scripts.
-
-Once that's done, you can just run the `guile-test' script.  That
-script has usage instructions in the comments at the top.
+For information about how to run the test suite, read the usage
+instructions in the comments at the top of the guile-test script.
 
 You can reference the file `lib.scm' from your own code as the module
 (test-suite lib); it also has comments at the top and before each
@@ -38,7 +33,10 @@ okay.
 
 I think this is terrible, because it suggests that the writer is using
 the test suite as a substitute for having a rock-solid explanation of
-why their changes are correct.
+why their changes are correct.  The problem is that any test suite is
+woefully incomplete.  Diligent reasoning about code can catch corner
+conditions or limitations that no test suite will ever find.
+
 
 
 Jim's rule for test suites: