We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 0c947d6 commit 23f1788Copy full SHA for 23f1788
README.md
@@ -1,5 +1,7 @@
1
[![Build Status][build_img]][travis]
2
3
+[CProver Wiki](http://www.cprover.org/wiki)
4
+
5
About
6
=====
7
@@ -17,5 +19,5 @@ License
17
19
=======
18
20
4-clause BSD license, see `LICENSE` file.
21
-[build_img]: https://travis-ci.org/tautschnig/cbmc.svg?branch=master
-[travis]: https://travis-ci.org/tautschnig/cbmc
22
+[build_img]: https://travis-ci.org/diffblue/cbmc.svg?branch=master
23
+[travis]: https://travis-ci.org/diffblue/cbmc
0 commit comments