2
0%
master: 92%

Ran 04 Dec 2020 12:27AM UTC

Files 11

Run time 1s

Badge

Embed ▾

Committed 04 Dec 2020 12:25AM UTC coverage: 90.0%. First build

Job # 500.2

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.

Coverage Stats

1152 of 1280 relevant lines covered (90.0%)

0.9 hits per line

Parquery / icontract / 500 / 2
0%
master: 92%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 500.2

Parquery / icontract / 500 / 2 0% master: 92%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 500.2

Parquery / icontract / 500 / 2
0%
master: 92%

README BADGES
x