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

newca12 / gapt
36%
master: 34%

Build:
Build:
LAST BUILD BRANCH: wip
DEFAULT BRANCH: master
Repo Added 07 Feb 2015 10:19AM UTC
Files 236
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 tape-test
branch: tape-test
CHANGE BRANCH
x
Reset
  • tape-test
  • broken-code-coverage
  • code-coverage
  • fix-code-coverage
  • fix-vampire
  • ivytorobinson
  • master
  • sat4j
  • scalariform-tests
  • wip

pending completion
41

push

travis-ci

newca12
<a href="https://github.com/newca12/gapt/commit/<a class=hub.com/newca12/gapt/commit/<a class="double-link" href="https://git"><a class=hub.com/newca12/gapt/commit/<a class="double-link" href="https://git"><a class=hub.com/newca12/gapt/commit/<a class="double-link" href="https://git"><a class=hub.com/newca12/gapt/commit/a634b32643c8bdf0acddf63dbd56770fb48a3538">a634b3264">&lt;a href=&quot;https://github.com/newca12/gapt/commit/</a><a class="double-link" href="https://github.com/newca12/gapt/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://git">&lt;a class=</a>hub.com/newca12/gapt/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://git">&lt;a class=</a>hub.com/newca12/gapt/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://git">&lt;a class=</a>hub.com/newca12/gapt/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://git">&lt;a class=</a>hub.com/newca12/gapt/commit/a634b32643c8bdf0acddf63dbd56770fb48a3538">a634b3264</a><a href="https://github.com/newca12/gapt/commit/a634b32643c8bdf0acddf63dbd56770fb48a3538">&quot;&gt;&amp;lt;a href=&amp;quot;https://github.com/newca12/gapt/commit/&lt;/a&gt;&lt;a class=&quot;double-link&quot; href=&quot;https://github.com/newca12/gapt/commit/&amp;lt;a class=&amp;quot;double-link&amp;quot; href=&amp;quot;https://git&quot;&gt;&amp;lt;a class=&lt;/a&gt;hub.com/newca12/gapt/commit/&amp;lt;a class=&amp;quot;double-link&amp;quot; href=&amp;quot;https://git&quot;&gt;&amp;lt;a class=&lt;/a&gt;hub.com/newca12/gapt/commit/&amp;lt;a class=&amp;quot;double-link&amp;quot; href=&amp;quot;https://git&quot;&gt;&amp;lt;a class=&lt;/a&gt;hub.com/newca12/gapt/commit/&amp;lt;a class=&amp;quot;double-link&amp;quot; href=&amp;quot;https://git&quot;&gt;&amp;lt;a class=&lt;/a&gt;hub.com/newca12/gapt/commit/a634b32643c8bdf0acddf63dbd56770fb48a3538&quot;&gt;a634b3264&lt;/a&gt;&lt;a href=&quot;https://github.com/newca12/gapt/commit/a634b32643c8bdf0acddf63dbd56770fb48a3538&quot;&gt;&amp;quot;&amp;gt;&amp;amp;lt;a href=&amp;amp;quot;https://github.com/newca12/gapt/commit/&amp;lt;/a&amp;gt;&amp;lt;a class=&amp;quot;double-link&amp;quot; href=&amp;quot;https://github.com/newca12/gapt/commit/&amp;amp;lt;a class=&amp;amp;quot;double-link&amp;amp;quot; href=&amp;amp;quot;https://git&amp;quot... (continued)

8522 of 23431 relevant lines covered (36.37%)

0.36 hits per line

Relevant lines Covered
Build:
Build:
23431 RELEVANT LINES 8522 COVERED LINES
0.36 HITS PER LINE
Source Files on tape-test
  • List 0
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
41 tape-test <a href="https://github.com/newca12/gapt/commit/a634b3264">&lt;a href=&quot;https://github.com/newca12/gapt/commit/</a><a class="double-link" href="https://github.com/newca12/gapt/commit/&lt;a class=&quot;double-link... push 10 Apr 2015 09:53PM UTC newca12 travis-ci pending completion  
See All Builds (27)
  • 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

© 2025 Coveralls, Inc