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

martinjonas / Q3B
84%
master: 88%

Build:
Build:
LAST BUILD BRANCH: more-precise-abstract-ite
DEFAULT BRANCH: master
Repo Added 20 Mar 2018 08:14AM UTC
Files 577
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 antlr
branch: antlr
CHANGE BRANCH
x
Reset
  • antlr
  • dev
  • dev-sylvan
  • ictac2018
  • master
  • more-precise-abstract-ite
  • necessary-bits
  • smtcomp2018
  • smtcomp2019
  • v1.0

pending completion
207

Pull #10

travis-ci

web-flow
Readme: Add ANTLR to requirements.
Pull Request #10: Implement ANTLR SMT-LIB parser

258 of 258 new or added lines in 3 files covered. (100.0%)

2617 of 3103 relevant lines covered (84.34%)

31045.33 hits per line

Relevant lines Covered
Build:
Build:
3103 RELEVANT LINES 2617 COVERED LINES
31045.33 HITS PER LINE
Source Files on antlr
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
207 antlr Readme: Add ANTLR to requirements. Pull #10 30 Dec 2018 04:00PM UTC web-flow travis-ci pending completion  
206 antlr Readme: Add ANTLR to requirements. push 30 Dec 2018 12:33PM UTC Martin Jonáš travis-ci pending completion  
205 antlr SMTLIB Interpreter: add xor and repeat (and add tests). push 30 Dec 2018 12:23PM UTC Martin Jonáš travis-ci pending completion  
204 antlr CI: Update Z3 to 4.8.4 push 30 Dec 2018 10:44AM UTC Martin Jonáš travis-ci pending completion  
See All Builds (157)
  • 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