1287
95%
develop: 0%

Ran 18 Jan 2017 11:26AM UTC

Jobs 1

Files 67

Run time 5s

Badge

Embed ▾

pending completion

Build # 1287

Build Type

push

travis-ci

Committed by

rakhimov

Commit Message

Redesign one Constant per PDAG graph

Instead of having many unique constants with True/False states,
a single True constant per graph is provided with index 1.
The idea is taken from BDD.

In order to maintain the uniqueness invariant upon PDAG construction,
Null/Not gates are created for each constant argument.
These gates will have a unique indices and be cleared from the PDAG
at preprocessing.

Run Details

6332 of 6658 relevant lines covered (95.1%)

98942.51 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	1287.1 (RELEASE=)	18 Jan 2017 11:26AM UTC	0	95.1	Travis Job 1287.1

Source Files on build 1287

Detailed source file information is not available for this build.

rakhimov / scram / 1287
95%
develop: 0%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1287

rakhimov / scram / 1287 95% develop: 0%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1287

rakhimov / scram / 1287
95%
develop: 0%

README BADGES
x