about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorunknown <k.apus@hotmail.com>2015-08-10 13:43:54 +0200
committerunknown <k.apus@hotmail.com>2015-08-10 13:57:22 +0200
commit67aee6e7f0796cd277843ce7c8767de49e61672f (patch)
tree3918089bd56287915a9a6b6e9325846f864c66de
parent637e884bb0ad4ead31d61583f47db475f5ec1ab7 (diff)
downloadklee-67aee6e7f0796cd277843ce7c8767de49e61672f.tar.gz
Added link to coverage information
-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/).