diff --git a/README.md b/README.md index 16a66fde5..8087a3da8 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,5 @@ +[![Build Status](https://travis-ci.com/kth-step/HolBA.svg?branch=master)](https://travis-ci.com/kth-step/HolBA) + # HolBA - Binary analysis in HOL Be sure to check out the Wiki, which contains some useful general information about HolBA.