rakhimov / cudd / 34
49%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 121
Run time 8s
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
34

push

travis-ci

rakhimov 
Add coverage check with gcov on Travis-CI

Reports on Coveralls.

[skip appveyor]

19281 of 39590 relevant lines covered (48.7%)

250567.85 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
100.0
 util/datalimit.c
2
100.0
 cplusplus/cuddObj.hh
2
100.0
 util/cpu_stats.c
4
100.0
 util/cpu_time.c
5
100.0
 cudd/cuddInteract.c
5
100.0
 cplusplus/testmulti.cc
7
100.0
 dddmp/dddmpNodeAdd.c
8
100.0
 cudd/cuddInit.c
8
100.0
 util/safe_mem.c
11
100.0
 cplusplus/testobj.cc
11
100.0
 cudd/cuddSign.c
13
100.0
 cudd/cuddCache.c
18
100.0
 mtr/testmtr.c
20
100.0
 cudd/cuddRef.c
22
100.0
 cudd/cuddLiteral.c
23
100.0
 cudd/cuddAndAbs.c
25
100.0
 cudd/cuddZddMisc.c
25
100.0
 cudd/cuddZddPort.c
28
100.0
 cudd/cuddAnneal.c
30
100.0
 mtr/mtrBasic.c
35
100.0
 dddmp/dddmpNodeCnf.c
35
100.0
 nanotrav/ntrHeap.c
36
100.0
 cudd/cuddAddInv.c
37
100.0
 cudd/cuddZddCount.c
41
100.0
 cudd/cuddLevelQ.c
47
100.0
 dddmp/dddmpLoadCnf.c
48
100.0
 st/testst.c
48
100.0
 nanotrav/chkMterm.c
49
100.0
 cudd/cuddAddIte.c
52
100.0
 util/cstringstream.c
55
100.0
 dddmp/dddmpUtil.c
69
100.0
 st/st.c
69
100.0
 cudd/cuddAddFind.c
69
100.0
 cudd/testextra.c
71
100.0
 cudd/cuddAddNeg.c
75
100.0
 dddmp/dddmpStoreAdd.c
76
100.0
 cudd/cuddGenetic.c
77
100.0
 dddmp/dddmpStoreCnf.c
77
100.0
 dddmp/dddmpBinary.c
86
100.0
 nanotrav/ntrZddTest.c
93
100.0
 cudd/cuddZddUtil.c
95
100.0
 cudd/cuddAddWalsh.c
95
100.0
 cudd/cuddSolve.c
96
100.0
 cudd/cuddCof.c
97
100.0
 cudd/cuddEssent.c
113
100.0
 cudd/cuddApa.c
118
100.0
 cudd/cuddAddApply.c
122
100.0
 cudd/cuddBddCorr.c
123
100.0
 cudd/cuddLinear.c
124
100.0
 cudd/cuddRead.c
129
100.0
 nanotrav/ntrShort.c
131
100.0
 cudd/cuddMatMult.c
133
100.0
 dddmp/dddmpStoreBdd.c
146
100.0
 mtr/mtrGroup.c
153
100.0
 cudd/cuddBddAbs.c
155
100.0
 cudd/cuddBddIte.c
171
100.0
 dddmp/dddmpLoad.c
173
100.0
 cudd/cuddGroup.c
182
100.0
 cudd/cuddClip.c
183
100.0
 cudd/cuddSubsetSP.c
187
100.0
 cudd/cuddZddSetop.c
190
100.0
 cudd/testcudd.c
208
100.0
 cudd/cuddAddAbs.c
224
100.0
 cudd/cuddCheck.c
226
100.0
 cudd/cuddSubsetHB.c
233
100.0
 cudd/cuddBridge.c
241
100.0
 cudd/cuddExact.c
252
100.0
 cudd/cuddApprox.c
256
100.0
 cudd/cuddLCache.c
259
100.0
 dddmp/testdddmp.c
276
100.0
 cudd/cuddWindow.c
276
100.0
 cudd/cuddSat.c
279
100.0
 cudd/cuddSplit.c
300
100.0
 cudd/cuddHarwell.c
335
100.0
 cudd/cuddZddIsop.c
335
100.0
 cudd/cuddReorder.c
350
100.0
 nanotrav/main.c
359
100.0
 epd/epd.c
373
100.0
 cudd/cuddZddGroup.c
384
100.0
 cudd/cuddZddLin.c
390
100.0
 cudd/cuddDecomp.c
410
100.0
 cudd/cuddExport.c
417
100.0
 cudd/cuddGenCof.c
430
100.0
 cudd/cuddCompose.c
436
100.0
 cudd/cuddAPI.c
437
100.0
 cudd/cuddZddReord.c
483
100.0
 nanotrav/bnet.c
511
100.0
 cudd/cuddPriority.c
517
100.0
 nanotrav/ntr.c
523
100.0
 cudd/cuddTable.c
601
100.0
 nanotrav/ntrBddTest.c
640
100.0
 cudd/cuddSymmetry.c
684
100.0
 cudd/cuddZddSymm.c
712
100.0
 cudd/cuddUtil.c
713
100.0
 nanotrav/ntrMflow.c
721
100.0
 cudd/cuddZddFuncs.c
2089
100.0
 cplusplus/cuddObj.cc
Jobs
ID Job ID Ran Files Coverage
2 34.2 (COVERAGE=true) 0
48.7
 Travis Job 34.2
Source Files on build 34
Detailed source file information is not available for this build.