502
0%
master: 92%

Ran 04 Dec 2020 09:56PM UTC

Jobs 4

Files 11

Run time 21s

Badge

Embed ▾

pending completion

Build # 502

Build Type

push

travis-ci-com

Committed by

mristin

Commit Message

Integrated with Hypothesis

This patch integrates icontract with Hypothesis so that:
* Preconditions can be used as rejection sampling and
* Preconditions are matched with heuristics to infer better search
  strategies.

Run Details

1182 of 1302 relevant lines covered (90.78%)

2.73 hits per line

Jobs

ID	Job ID	Ran	Coverage
1	502.1	04 Dec 2020 09:56PM UTC	0.0	Travis Job 502.1
2	502.2	04 Dec 2020 09:56PM UTC	90.78	Travis Job 502.2
3	502.3	04 Dec 2020 09:56PM UTC	90.71	Travis Job 502.3
4	502.4	04 Dec 2020 09:56PM UTC	91.47	Travis Job 502.4

Source Files on build 502

Detailed source file information is not available for this build.

Parquery / icontract / 502
0%
master: 92%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 502

Parquery / icontract / 502 0% master: 92%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 502

Parquery / icontract / 502
0%
master: 92%

README BADGES
x