From 31f535482b2eb409dd223bfe6bb30121fc29eeba Mon Sep 17 00:00:00 2001 From: Marko van Treeck Date: Mon, 21 Nov 2016 16:03:07 +0100 Subject: [PATCH] Fix dead link --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index b63a305..0bc64c1 100644 --- a/README.md +++ b/README.md @@ -92,7 +92,7 @@ to make the required source-to-source transformations easier. [performance-tests]: https://github.com/ahorn/smt-kit/blob/master/test/crv_performance_test.cpp [clang-crv]: https://github.com/ahorn/clang-crv -[klee]: http://klee.github.io/klee/ +[klee]: https://klee.github.io/ [cbmc]: http://www.cprover.org/cbmc/ ## Troubleshooting