1
67%
master: 67%

Ran 18 May 2018 01:44AM UTC

Files 383

Run time 20s

Badge

Embed ▾

Committed 18 May 2018 01:35AM UTC coverage: 66.475% (-0.2%) from 66.647%

Job # 259.1

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.

Coverage Stats

59714 of 89829 relevant lines covered (66.48%)

1228065.22 hits per line

SRI-CSL / yices2 / 259 / 1
67%
master: 67%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 259.1

SRI-CSL / yices2 / 259 / 1 67% master: 67%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 259.1

SRI-CSL / yices2 / 259 / 1
67%
master: 67%

README BADGES
x