Home
Features
Pricing
Docs
Announcements
Sign In

SRI-CSL / yices2 / 974 / 10
63%
master: 65%

LAST BUILD BRANCH: 2.7.0

DEFAULT BRANCH: master

Ran 25 Sep 2019 04:14PM 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 974.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")

Tree
List 0
Changed 0
Source Changed 0
Coverage Changed 0

Coverage	∆	File	Lines	Relevant	Covered	Missed	Hits/Line

Back to Build 755
Travis Job 974.10
2af940c9 on github
Next Job for BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat" on mcsat-bv-refactorbdds (#975.9)

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