30
36%

Ran 18 Aug 2015 12:54AM UTC

Jobs 1

Files 879

Run time 24s

Badge

Embed ▾

pending completion

Build # 30

Build Type

push

travis-ci

Committed by

BrunoDutertre

Commit Message

Two more examples.

These two examples examine what happens if we try to get stronger
convergence properties. The convergence formula for the
protocol is delta' = delta/2 + 2 * epsilon. It's proved in
scenario2_convergence.mcmt.

In scenario2_non_convergence: try delta' = delta * k + 2 * espilon
where k < 1/2. This has counterexamples.

In scenario2_non_convergence2: try delta' = delta/2 + k * epsilon
where k < 2. This has counterexamples too.

Run Details

7464 of 11126 relevant lines covered (67.09%)

16230.55 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
3	30.3 (CMAKE_BUILD_TYPE=Release ENABLE_COVERAGE=ON)	18 Aug 2015 12:54AM UTC	0	67.09	Travis Job 30.3

Source Files on build 30

Detailed source file information is not available for this build.

SRI-CSL / sally / 30
36%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 30

SRI-CSL / sally / 30 36%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 30

SRI-CSL / sally / 30
36%

README BADGES
x