• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

johnyf / promela
68%

Build:
DEFAULT BRANCH: master
Repo Added 10 Mar 2015 10:07AM UTC
Files 10
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH master
branch: master
CHANGE BRANCH
x
Reset
  • master
  • dev
  • travis
  • v0.0.1
  • v0.0.2
  • v0.0.3

pending completion
43

Pull #2

travis-ci-com

web-flow
Merge e22101041 into 95c2358d4
Pull Request #2: printf and mtype errors

1550 of 2296 relevant lines covered (67.51%)

0.68 hits per line

Relevant lines Covered
Build:
Build:
2296 RELEVANT LINES 1550 COVERED LINES
0.68 HITS PER LINE
Source Files on master
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
43 master Merge e22101041 into 95c2358d4 Pull #2 21 Mar 2021 09:20PM UTC web-flow travis-ci-com pending completion  
41 master REL: bump version to 0.0.4 push 14 Sep 2020 01:44PM UTC johnyf travis-ci pending completion  
37 master REL: bump version to 0.0.3 push 04 Jan 2018 06:09AM UTC johnyf travis-ci pending completion  
30 master REL: require `networkx == 1.10` for compatibility with `pydot`. push 02 Jul 2016 10:15PM UTC johnyf travis-ci pending completion  
25 master bump version to 0.0.2 push 20 Jun 2015 03:14AM UTC johnyf travis-ci pending completion  
24 master DOC: improve module docstrings push 20 Jun 2015 03:00AM UTC johnyf travis-ci pending completion  
23 master MANIFEST: add LICENSE push 20 Jun 2015 02:50AM UTC johnyf travis-ci pending completion  
20 master update logging config in tests push 04 May 2015 02:39AM UTC johnyf travis-ci pending completion  
18 master do not duplicate `install_requires` in `requirements.txt` push 03 May 2015 01:35AM UTC johnyf travis-ci pending completion  
17 master add `RemoteRef` for `proc @ label` and test it push 02 May 2015 09:31PM UTC johnyf travis-ci pending completion  
See All Builds (36)
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc