757
50%

Ran 05 Oct 2018 03:34PM UTC

Jobs 5

Files 19

Run time 4min

Badge

Build # 757

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #138 from boguslavsky/proof-helper

 Add method to verify table proof

Run Details

424 of 470 branches covered (90.21%)

Branch coverage included in aggregate %.

750 of 804 relevant lines covered (93.28%)

6137.16 hits per line

ID	Job ID	Ran	Files	Coverage
1	757.1 (FEATURE=test)	05 Oct 2018 03:34PM UTC	19	92.15	Travis Job 757.1
2	757.2 (FEATURE=test)	05 Oct 2018 03:34PM UTC	19	92.15	Travis Job 757.2
3	757.3 (FEATURE=test)	05 Oct 2018 03:34PM UTC	19	92.15	Travis Job 757.3
4	757.4 (FEATURE=test)	05 Oct 2018 03:34PM UTC	19	92.15	Travis Job 757.4
5	757.5 (FEATURE=integration)	05 Oct 2018 03:38PM UTC	19	92.15	Travis Job 757.5