LouvainVerificationLab / pynusmv / 53

84%

push

travis-ci

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.

12 of 12 new or added lines in 1 file covered. (100.0%)

4972 of 5902 relevant lines covered (84.24%)

2.53 hits per line