1
83%
master: 83%

Ran 28 Apr 2018 12:48AM UTC

Files 6

Run time 0s

Badge

Embed ▾

Committed 28 Apr 2018 12:41AM UTC coverage: 97.208% (-0.3%) from 97.54%

Job # 114.1

Build Type

push

travis-ci

Committed by

Vagabond

Commit Message

Audit all the protocols, better specs and optimized structures for records (#9)

* remove internal aborted state, add annotations
* use maps instead of sets for witness and aux_witness
* annotate bba with protocol info
* annotate cc with protocol info
* change sets to bitfields in bba
* make batch size a parameter for hbbft init
* annotate and spec acs
* change num_echoes and num_readies to list instead of set
* rework rbc to partition messages by roothash (h)

Run Details

766 of 788 relevant lines covered (97.21%)

1418.98 hits per line

helium / erlang-hbbft / 114 / 1
83%
master: 83%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 114.1

helium / erlang-hbbft / 114 / 1 83% master: 83%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 114.1

helium / erlang-hbbft / 114 / 1
83%
master: 83%

README BADGES
x