2
92%
master: 92%

Ran 16 Dec 2020 05:24PM UTC

Files 9

Run time 2s

Badge

Embed ▾

Committed 16 Dec 2020 05:22PM UTC coverage: 91.617% (-0.4%) from 92.028%

Job # 543.2

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

Integrated with icontract-hypothesis (#179)

This patch integrates with icontract-hypothesis (and consequently
Hypothesis) by registering all DBC classes with Hypothesis.
This is necessary so that precondition considerations are propagated in
Hypothesis build strategies.

Run Details

1071 of 1169 relevant lines covered (91.62%)

0.92 hits per line

Parquery / icontract / 543 / 2
92%
master: 92%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 543.2

Parquery / icontract / 543 / 2 92% master: 92%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 543.2

Parquery / icontract / 543 / 2
92%
master: 92%

README BADGES
x