3
92%
master: 92%

Ran 28 Oct 2025 03:39PM UTC

Files 9

Run time 1s

Badge

Embed ▾

Committed 28 Oct 2025 03:35PM UTC coverage: 90.588% (+0.04%) from 90.553%

Job # 18880335670.3

Build Type

push

github

Committed by

web-flow

Commit Message

Fix child invariants checked in `super().__init__` (#301)

Previously, we determined the invariants based on the `self` passed to
the function. However, in case of `super().__init__`, the invariants
that need to be checked after the call are those belonging to to
the super class, not the current (child) class.

This change fixes the issue by passing in the class corresponding to
the invariants alongside function and parameters, so that we can
properly resolve which invariants need to be checked.

Fixes #300.

Run Details

1463 of 1615 relevant lines covered (90.59%)

0.91 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 3.10 - 18880335670.3

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 3.10 - 18880335670.3

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

README BADGES
x