430
74%
master: 74%

Ran 10 Apr 2020 11:48AM UTC

Jobs 1

Files 44

Run time 8s

Badge

Embed ▾

pending completion

Build # 430

Build Type

push

buildkite

Committed by Damian Nadales

Commit Message

- Mention clearly the two security goals in the theorem - Remove h_a and r_a and revise text to be more friendly - Perform analysis with a parametric voting threshold - Rephrased lemma a bit 1 - Clarify for theorem 2 why do we consider this threshold to be optimal - Change the voting threshold theorem to be more generic (depend on parameter p)

Run Details

1004 of 1522 relevant lines covered (65.97%)

0.66 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	430.1	10 Apr 2020 11:48AM UTC	0	65.97

Source Files on build 430

Detailed source file information is not available for this build.

input-output-hk / decentralized-software-updates / 430
74%
master: 74%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 430

input-output-hk / decentralized-software-updates / 430 74% master: 74%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 430

input-output-hk / decentralized-software-updates / 430
74%
master: 74%

README BADGES
x