• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

mristin / python-by-contract-corpus
92%

Build:
DEFAULT BRANCH: main
Repo Added 28 Apr 2021 08:59PM UTC
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: SELECT
CHANGE BRANCH
x
Sync Branches
  • No branch selected
  • main
  • mristin/Add-eprog-2019-ex-3
  • mristin/Add-readthedocs-badge-to-readme
  • mristin/Compute-stats-on-contracts
  • mristin/Compute-stats-on-icontract-hypothesis-tests
  • mristin/Create-docs-with-sphinx
  • mristin/Disable-icontract-hypothesis-for-ethz-eprog-02.03
  • mristin/Disable-icontract-hypothesis-on-a-function-from-aoc-2020-day-23
  • mristin/Document-ethz-eprog-2019
  • mristin/Ensure-match-naive-in-ethz-eprog-ex-4.1
  • mristin/Fix-ETHZ-Eprog-2019-Ex-12-Prob-1
  • mristin/Fix-minor-errors-in-docstrings
  • mristin/Fix-readthedocs-config-to-use-requirements
  • mristin/Fix-test-aoc2020-day-21
  • mristin/Fix-typos-in-ethz-eprog-docs
  • mristin/Move-recordings-to-archive-to-avoid-confusion
  • mristin/Package-the-corpus-for-pypi
  • mristin/Record-failures-for-ethz-eprog-ex-12
  • mristin/Reformat-contracts-in-aoc2020-day-11
  • mristin/Remove-redundant-mypy-type-ignore
  • mristin/Solve-ethz-eprog-2019-exercise-06
  • mristin/Solve-ethz-eprog-2019-exercise_02
  • mristin/Unify-continuous-integration-in-one-workflow
  • mristin/Unify-style-of-tests
  • mristin/Upgrade-icontract-hypothesis
  • mristin/Upgrade-to-latest-sphinx-5.0.1
  • phil/wip
  • v2021.7.10rc1
  • v2022.8.15

16 Oct 2025 06:17AM UTC 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
Build:
Build:
3409 RELEVANT LINES 3133 COVERED LINES
0.92 HITS PER LINE
Source Files on main
  • Tree
  • List 69
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

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 16 Oct 2025 06:22AM UTC web-flow github
91.9
2449872377 mristin/Compute-stats-on-contracts Merge 8cdfbf02c into c9f1b895c Pull #119 06 Jun 2022 07:17PM UTC GitHub github
91.64
2449872923 main Compute statistics of the contracts in the corpus (#119) push 06 Jun 2022 07:16PM UTC GitHub github
92.05
2446685063 mristin/Compute-stats-on-icontract-hypothesis-tests Merge 42ddf83bf into daf899310 Pull #118 06 Jun 2022 08:53AM UTC GitHub github
92.17
2446681275 mristin/Unify-style-of-tests Merge 4d59049af into 1ae63e985 Pull #117 06 Jun 2022 08:52AM UTC GitHub github
91.7
2444773606 mristin/Upgrade-to-latest-sphinx-5.0.1 Merge e833c7347 into 9676bb1ac Pull #116 05 Jun 2022 11:41PM UTC GitHub github
91.94
1932503375 mristin/Move-recordings-to-archive-to-avoid-confusion Merge 23938e1bf into 9c2ff57f9 Pull #112 04 Mar 2022 07:41AM UTC GitHub github
91.82
1864623032 phil/wip Merge 23ae14a16 into c96ed0038 Pull #111 18 Feb 2022 01:30PM UTC GitHub github
92.14
1569848977 main Document incorrect programs from recorded failures (#109) push 12 Dec 2021 04:03PM UTC GitHub github
92.05
1020654467 main Add pyicontract-lint to continuous integration (#102) push 11 Jul 2021 07:12PM UTC GitHub github
89.62
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.

Could not find badge in README.

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
  • Settings
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2025 Coveralls, Inc