about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
-rw-r--r--README.md2
1 files changed, 2 insertions, 0 deletions
diff --git a/README.md b/README.md
index e894ebc1..6d36bc77 100644
--- a/README.md
+++ b/README.md
@@ -22,4 +22,6 @@ environment that matches a computed test input, including setting up
 files, pipes, environment variables, and passing command line
 arguments.
 
+Coverage information can be found [here](http://vm-klee.doc.ic.ac.uk:55555/index.html).
+
 For further information, see the [webpage](http://klee.github.io/).