4
0%
master: 92%

Ran 04 Dec 2020 09:56PM UTC

Files 11

Run time 1s

Badge

Embed ▾

Committed 04 Dec 2020 09:54PM UTC coverage: 91.475% (+91.5%) from 0.0%

Job # 502.4

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

1191 of 1302 relevant lines covered (91.47%)

0.91 hits per line

Parquery / icontract / 502 / 4
0%
master: 92%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 502.4

Parquery / icontract / 502 / 4 0% master: 92%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 502.4

Parquery / icontract / 502 / 4
0%
master: 92%

README BADGES
x