1 files changed, 14 insertions, 0 deletions

diff --git a/README.md b/README.md
index fa5b4a3..34d5f72 100644
--- a/README.md
+++ b/README.md
@@ -73,6 +73,8 @@ output, the results compared with the .out files) and test/last.err
 Tests are always run in debug mode: this means that optimizations are
 disabled and some extra logging is enabled.
 
+More comprehensive tests (integration tests) can be performed with *tools*.
+
 ## Running "tools"
 
 In the tools folder there are some small programs that test various
@@ -104,6 +106,18 @@ file in the tools/results folder.
 
 To build and run a tool in debug mode, use `./build -d tool`.
 
+### The `solvetest` tools
+
+The tools denoted with `solvetest` can be used to test that the various
+solvers produce the correct solutions. They can be run individually as
+all other tools, or all together with
+
+```
+$ ./build solvetest   # Use -d for debug mode (very slow for some solvers)
+```
+
+If one of the solvetests fails, subsequent tests are going to be skipped.
+
 ## Command-line interface
 
 The `shell` folder contains the code for a rudimentary shell that can