757
0%

Ran 19 Jan 2016 05:07PM UTC

Jobs 1

Files 27

Run time 4s

Badge

Embed ▾

pending completion

Build # 757

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	757.1 (PATH=$PATH:`pwd`/install/bin)	19 Jan 2016 05:07PM UTC	0	96.78	Travis Job 757.1

Source Files on build 757

Detailed source file information is not available for this build.

rakhimov / scram / 757
0%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 757

rakhimov / scram / 757 0%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 757

rakhimov / scram / 757
0%

README BADGES
x