500
0%
master: 92%

Ran 04 Dec 2020 12:27AM UTC

Jobs 4

Files 11

Run time 23s

Badge

Embed ▾

pending completion

Build # 500

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

1152 of 1280 relevant lines covered (90.0%)

2.71 hits per line

Jobs

ID	Job ID	Ran	Coverage
1	500.1	04 Dec 2020 12:27AM UTC	0.0	Travis Job 500.1
2	500.2	04 Dec 2020 12:27AM UTC	90.0	Travis Job 500.2
3	500.3	04 Dec 2020 12:27AM UTC	89.92	Travis Job 500.3
4	500.4	04 Dec 2020 12:27AM UTC	91.41	Travis Job 500.4

Source Files on build 500

Detailed source file information is not available for this build.

Parquery / icontract / 500
0%
master: 92%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 500

Parquery / icontract / 500 0% master: 92%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 500

Parquery / icontract / 500
0%
master: 92%

README BADGES
x