Home
Features
Pricing
Docs
Announcements
Sign In

SRI-CSL / yices2 / 910 / 6
63%
master: 65%

LAST BUILD BRANCH: 2.7.0

DEFAULT BRANCH: master

Ran 16 Jul 2019 08:16PM UTC

Files 0

Run time –

Badge

README BADGES
x

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

Markdown

[![Coverage Status](https://coveralls.io/repos/github/SRI-CSL/yices2/badge.svg)](https://coveralls.io/github/SRI-CSL/yices2)

Textile

https://coveralls.io/repos/github/SRI-CSL/yices2/badge.svg(Coverage Status)!:https://coveralls.io/github/SRI-CSL/yices2

RDoc

{<img src="https://coveralls.io/repos/github/SRI-CSL/yices2/badge.svg" alt="Coverage Status" />}[https://coveralls.io/github/SRI-CSL/yices2]

HTML

<a href='https://coveralls.io/github/SRI-CSL/yices2'><img src='https://coveralls.io/repos/github/SRI-CSL/yices2/badge.svg' alt='Coverage Status' /></a>

Rst

.. image:: https://coveralls.io/repos/github/SRI-CSL/yices2/badge.svg
:target: https://coveralls.io/github/SRI-CSL/yices2

Source Files on job 910.6 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON)

Tree
List 0
Changed 0
Source Changed 0
Coverage Changed 0

Coverage	∆	File	Lines	Relevant	Covered	Missed	Hits/Line

Back to Build 707
Travis Job 910.6
94ee6bce on github
Prev Job for BUILD_TYPE=gcov ENABLE_COVERAGE=ON on mcsat-bv (#909.5)
Next Job for BUILD_TYPE=gcov ENABLE_COVERAGE=ON on mcsat-bv (#914.5)

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