1
65%
master: 65%

Ran 22 Jun 2018 05:34PM UTC

Files 386

Run time 31s

Badge

Embed ▾

Committed 22 Jun 2018 05:21PM UTC coverage: 66.299%. Remained the same

Job # 305.1

Build Type

push

travis-ci

Committed by

BrunoDutertre

Commit Message

Fix to 'make install'

Removed the $(build_dir) and $(dist_dir) dependencies from
the install-default target in a Makefile.

If the build or dist directories are missing then
'sudo make install' should fail without touching anything.
We don't want to create missing build or dist directories
owned by root.

Run Details

60422 of 91136 relevant lines covered (66.3%)

1224797.84 hits per line

SRI-CSL / yices2 / 305 / 1
65%
master: 65%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 305.1

SRI-CSL / yices2 / 305 / 1 65% master: 65%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 305.1

SRI-CSL / yices2 / 305 / 1
65%
master: 65%

README BADGES
x