259
66%

Ran 18 May 2018 01:44AM UTC

Jobs 1

Files 383

Run time 23s

Badge

Embed ▾

pending completion

Build # 259

Build Type

push

travis-ci

Committed by

BrunoDutertre

Commit Message

Added support for logic "ALL".

Increased version number to 2.6.0 (since the new logic causes
API incompatibilies).

Fixed some tests that check logic and context_configurations.

Fixed frontends to correctly process the logic/efmode combinations
(to be checked).

Added/fixed some comments.

Run Details

59714 of 89829 relevant lines covered (66.48%)

1228065.22 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	259.1	18 May 2018 01:44AM UTC	383	66.48	Travis Job 259.1

Source Files on build 259

Coverage	∆	File	Lines	Relevant	Covered	Missed	Hits/Line

SRI-CSL / yices2 / 259
66%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 259

SRI-CSL / yices2 / 259 66%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 259

SRI-CSL / yices2 / 259
66%

README BADGES
x