114
83%

Ran 28 Apr 2018 12:48AM UTC

Jobs 1

Files 6

Run time 0s

Badge

Embed ▾

pending completion

Build # 114

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	114.1	28 Apr 2018 12:48AM UTC	0	97.21	Travis Job 114.1

Source Files on build 114

Detailed source file information is not available for this build.

helium / erlang-hbbft / 114
83%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 114

helium / erlang-hbbft / 114 83%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 114

helium / erlang-hbbft / 114
83%

README BADGES
x