rakhimov / scram / 729
0%

DEFAULT BRANCH: develop
Ran
Jobs 1
Files 27
Run time 1s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
729

push

travis-ci

rakhimov 
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).

5565 of 5773 relevant lines covered (96.4%)

7978.1 hits per line

Jobs
ID Job ID Ran Files Coverage
1 729.1 (PATH=$PATH:`pwd`/install/bin) 0
96.4
 Travis Job 729.1
Source Files on build 729
Detailed source file information is not available for this build.