projects / jpf-core.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 4b38fdd)
Update README.md
authorJeanderson Barros Candido <jeandersonbc@gmail.com>
Wed, 20 Jun 2018 03:15:55 +0000 (00:15 -0300)
committerGitHub <noreply@github.com>
Wed, 20 Jun 2018 03:15:55 +0000 (00:15 -0300)
README.md patch | blob | history

diff --git a/README.md b/README.md
index b823cb0527f44d4e5704370310db0bb41b6baccb..ef16bdc79165f71dec1aaa9c0b997c48c495b652 100644 (file)
--- a/README.md
+++ b/README.md
@@ -1,7 +1,7 @@
-# Java PathFinder [![Build Status](https://travis-ci.org/javapathfinder/jpf-core.svg?branch=master)](https://travis-ci.org/javapathfinder/jpf-core)
+# Java PathFinder
+[![Build Status](https://travis-ci.org/javapathfinder/jpf-core.svg?branch=master)](https://travis-ci.org/javapathfinder/jpf-core)
 [![codecov](https://codecov.io/gh/jeandersonbc/jpf-core/branch/gradle/graph/badge.svg)](https://codecov.io/gh/jeandersonbc/jpf-core)
 
-
 An extensible software model checking framework for Java bytecode programs
 
 ## General Information about JPF
Unnamed repository; edit this file 'description' to name the repository.