1
67%
master: 67%

Ran 30 Jun 2017 01:02AM UTC

Files 380

Run time 16s

Badge

Embed ▾

Committed 30 Jun 2017 12:53AM UTC coverage: 66.319% (+0.006%) from 66.313%

Job # 73.1

Build Type

push

travis-ci

Committed by

BrunoDutertre

Commit Message

Cleanup

Updated headers to the GPL license in some source files that
still had the old license.

In the smt2 frontend, the global variables ctx_parameters and parameters
are now part of __smt2_globals (to be consistent).

Moved the 'ctx_param_t' and relatives out of frontend/common
and into a separate context/context_parameters module.

Coverage Stats

59071 of 89071 relevant lines covered (66.32%)

986675.44 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 73.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 73.1

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

README BADGES
x