2
84%
master: 84%

Ran 06 Nov 2017 04:37PM UTC

Files 28

Run time 1s

Badge

Embed ▾

Committed 06 Nov 2017 04:32PM UTC coverage: 84.243% (+0.1%) from 84.136%

Job # 53.2

Build Type

push

travis-ci

Committed by

sbusard

Commit Message

New format for BDD dump.

The new format is:

The content of the file is composed of:
* the list of variables appearing in the BDD, one variable name per line;
* the BDD itself, where each line is:
** TRUE: for the TRUE node
** FALSE: for the FALSE node
** VAR COMP IDTHEN IDELSE: for any other node where VAR is the index of the
   variable of the node in the list above, COMP is 0 or 1 depending on whether
   the node is complemented (1) or not (0), and IDTHEN and IDELSE are the index
   of the then and else children of the node in the list of nodes (starting at
   0 with the first dumped node).
The lines are ordered according to an inverse topological order of the DAG
represented by the BDD.
The two parts of the file are separated by an empty line.

Run Details

4972 of 5902 relevant lines covered (84.24%)

0.84 hits per line

LouvainVerificationLab / pynusmv / 53 / 2
84%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 53.2

LouvainVerificationLab / pynusmv / 53 / 2 84% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 53.2

LouvainVerificationLab / pynusmv / 53 / 2
84%
master: 84%

README BADGES
x