1
0%
develop: 0%

Ran 19 Jan 2016 05:07PM UTC

Files 27

Run time 3s

Badge

Embed ▾

Committed 19 Jan 2016 03:57PM UTC coverage: 96.782% (-0.08%) from 96.857%

Job # PATH=$PATH:`pwd`/install/bin

Build Type

push

travis-ci

Committed by

rakhimov

Commit Message

Generalize cut sets to Boolean products

"Boolean products" are used for generality in analysis facilities.
Only in cases where facilities specifically deal with "cut sets",
"cut sets" are used in API and documentation.

The generalization is a part of an effort
to clarify the distinction between cut sets and implicants
in the documentation and API (Issue #122).

Run Details

5654 of 5842 relevant lines covered (96.78%)

5221.79 hits per line

rakhimov / scram / 757 / 1
0%
develop: 0%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 757.1 (PATH=$PATH:`pwd`/install/bin)

rakhimov / scram / 757 / 1 0% develop: 0%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 757.1 (PATH=$PATH:`pwd`/install/bin)

rakhimov / scram / 757 / 1
0%
develop: 0%

README BADGES
x