1
82%
master: 82%

Ran 27 Sep 2018 02:53PM UTC

Files 37

Run time 9s

Badge

Embed ▾

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

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

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

1094 of 1340 relevant lines covered (81.64%)

89.48 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES
x