2
82%
master: 82%

Ran 27 Sep 2018 02:54PM UTC

Files 37

Run time 5s

Badge

Embed ▾

Committed 27 Sep 2018 02:35PM UTC coverage: 81.858% (-0.09%) from 81.952%

Job # MATRIX_EVAL="CC=gcc-6 && CXX=g++-6"

Build Type

push

travis-ci

Committed by

dgkimura

Commit Message

Fix handler to signal iff it was proposer

Issue is that if handler sends a signal regardless of whether it was the
proposer then there exists a window when mutiple proposers are waiting
for different signals and then one handler sends a signal when it should
not.  Instead if we couple the author with the decree then we can
correctly signal only when we are the author of the decree.

Fixes #14

Run Details

1119 of 1367 relevant lines covered (81.86%)

94.52 hits per line

dgkimura / paxos / 540 / 2
82%
master: 82%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 540.2 (MATRIX_EVAL="CC=gcc-6 && CXX=g++-6")

dgkimura / paxos / 540 / 2 82% master: 82%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 540.2 (MATRIX_EVAL="CC=gcc-6 && CXX=g++-6")

dgkimura / paxos / 540 / 2
82%
master: 82%

README BADGES
x