3
82%
master: 82%

Ran 27 Sep 2018 02:53PM UTC

Files 37

Run time 6s

Badge

Embed ▾

Committed 27 Sep 2018 02:35PM UTC coverage: 82.127% (-0.1%) from 82.222%

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

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

1112 of 1354 relevant lines covered (82.13%)

94.95 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES
x