b1quint / goodman / 4

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
4	master	Changed the test file	push	05 Nov 2017 11:35PM UTC	b1quint	travis-ci	pending completion   set done
3	master	Now that the setup.py was rewritten, added Coveralls again.	push	05 Nov 2017 08:54PM UTC	b1quint	travis-ci	pending completion   set done
2	master	Updated README.md with badges ... and removed coveralls testing for now.	push	05 Nov 2017 08:44PM UTC	b1quint	travis-ci	pending completion   set done