1
0%
develop: 0%

Ran 29 Nov 2015 09:51AM UTC

Files 27

Run time 1s

Badge

Embed ▾

Committed 29 Nov 2015 08:03AM UTC coverage: 96.397% (-0.2%) from 96.576%

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

Build Type

push

travis-ci

Committed by

rakhimov

Commit Message

Incorporate limit order in ZBDD Apply operations

There's no observed speed improvement,
but with truncation memory and speed can be controlled.
This is inherent to analysis with ZBDD and MOCUS (#126).

Coverage Stats

5565 of 5773 relevant lines covered (96.4%)

7978.1 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES
x