3
92%
master: 92%

Ran 18 Dec 2020 11:58AM UTC

Files 9

Run time 0s

Badge

Embed ▾

Committed 18 Dec 2020 11:55AM UTC coverage: 91.525%. First build

Job # 554.3

Build Type

push

travis-ci-com

Committed by

mristin

Commit Message

Refactored and added tests for integrators

This patch introduces a test suite meant to document what downstream
integrators (such as static validators, documentation tools *etc.*)
should use.

The patch also includes a refactoring so that the interface is more
ergonomic to use.

Run Details

1080 of 1180 relevant lines covered (91.53%)

0.92 hits per line

Parquery / icontract / 554 / 3
92%
master: 92%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 554.3

Parquery / icontract / 554 / 3 92% master: 92%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 554.3

Parquery / icontract / 554 / 3
92%
master: 92%

README BADGES
x