mristin / python-by-contract-corpus
92%

DEFAULT BRANCH: main
Repo Added
Token 1smf2uKGr0zyv2ctQm2TQEe0gQVVE4rVL regen
Build 70 Last
Files 69
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH main
branch: main
CHANGE BRANCH
x
Sync Branches

coverage: 91.904% (-0.1%) from 92.05%
18552166312

push

github

web-flow 
Fix setup.py (#126)

There was a minor error in `extras_require` block. The newer version of
pip was not as permissive as before.

3133 of 3409 relevant lines covered (91.9%)

0.92 hits per line

Relevant lines Covered
3409 RELEVANT LINES 3133 COVERED LINES
0.92 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
18552166312 main Fix setup.py (#126) There was a minor error in `extras_require` block. The newer version of pip was not as permissive as before. push web-flow github
91.9
2449872923 main Compute statistics of the contracts in the corpus (#119) push GitHub github
92.05
1569848977 main Document incorrect programs from recorded failures (#109) push GitHub github
92.05
1020654467 main Add pyicontract-lint to continuous integration (#102) push GitHub github
89.62
1018697490 main Release 2021.7.10rc1 (#101) push GitHub github
89.36
1018692634 main Unify continuous integration into one workflow (#100) push GitHub github
89.56
993183815 main Make ETHZ Eprog Ex 8.5 more precise (#94) push GitHub github pending completion  
993115353 main Compare against naive in ETHZ Eprog Ex. 4.1 (#93) push GitHub github pending completion  
983807948 main Disable icontract-hypothesis on ETHZ Eprog Ex. 2.3 (#91) push GitHub github pending completion  
982558863 main Disable icontract-hypothesis on AoC 2020 day 23 (#90) push GitHub github pending completion  
See All Builds (31)

Badge your Repo: python-by-contract-corpus

We detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

Refresh