Parquery / icontract / 543
92%

DEFAULT BRANCH: master
Ran
Jobs 4
Files 9
Run time 19s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
543

push

travis-ci-com

web-flow 
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.

17 of 17 new or added lines in 1 file covered. (100.0%)

1071 of 1169 relevant lines covered (91.62%)

3.64 hits per line

Jobs
ID Job ID Ran Files Coverage
1 543.1 0
89.31
 Travis Job 543.1
2 543.2 0
91.62
 Travis Job 543.2
3 543.3 0
91.53
 Travis Job 543.3
4 543.4 0
91.7
 Travis Job 543.4
Source Files on build 543
Detailed source file information is not available for this build.