3
94%
master: 92%

Ran 04 Oct 2020 02:42PM UTC

Files 0

Run time 0s

Badge

Committed 04 Oct 2020 02:40PM UTC coverage: 0.0%. Remained the same

Job # 409.3

Build Type

push

travis-ci-com

Committed by

Commit Message

compared against `deal`

This change compares the features and the performance of the icontract
with the latest version of the `deal` library.

Coverage Stats

0 of 0 relevant lines covered (NaN%)

0.0 hits per line