738
0%

Ran 10 Dec 2015 07:59PM UTC

Jobs 1

Files 27

Run time 1s

Badge

Embed ▾

pending completion

Build # 738

Build Type

push

travis-ci

Committed by

rakhimov

Commit Message

Test BDD/ZBDD/MOCUS with value-parametrized tests

All relevant risk analysis tests are repeated for the algorithms.
RiskAnalysisTest is made aware of the value-parametrization
through an addition of HasParam() into GTest header file.

Run Details

5640 of 5832 relevant lines covered (96.71%)

9409.91 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	738.1 (PATH=$PATH:`pwd`/install/bin)	10 Dec 2015 07:59PM UTC	0	96.71	Travis Job 738.1

Source Files on build 738

Detailed source file information is not available for this build.

rakhimov / scram / 738
0%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 738

rakhimov / scram / 738 0%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 738

rakhimov / scram / 738
0%

README BADGES
x