Parquery / icontract

92%

master: 92%

LAST BUILD ON BRANCH v2.7.2

branch: SELECT

CHANGE BRANCH

x

• No branch selected
• hotfix/classifiers
• icontract2
• master
• mristin/Acted-on-deprecated-warnings-in-ast
• mristin/Add-support-for-Python-3.12
• mristin/Added-ARGS-and-KWARGS-special-condition-argumetns
• mristin/Added-invariants-to-namedtuple-and-dataclasses
• mristin/Added-support-for-async
• mristin/Added-support-for-coroutine
• mristin/Added-support-for-error-as-instance
• mristin/Added-support-for-f-strings-in-recompute
• mristin/Added-support-for-named-expression-in-contracts
• mristin/Added-tests-for-potential-API-for-integrators
• mristin/Bumped-to-2.3.6
• mristin/Bumped-to-2.3.7
• mristin/Bumped-to-2.4.0
• mristin/Denormalized-icontract_meta
• mristin/Deprecate-Python-3.7-from-CI
• mristin/Disable-invariant-checks-during-construction
• mristin/Encapsulate-adding-conditions-and-snapshots-to-checker
• mristin/Exempted-__new__-from-invariant-checks
• mristin/Fix-invariant-of-subclass-applies-to-its-parent
• mristin/Fix-mypy-on-typeguard-test
• mristin/Fixed-readthedocs.yml
• mristin/Handled-static-methods-appropriately
• mristin/In-lined-assert-and-capture-functions
• mristin/Integrated-with-Hypothesis
• mristin/Integrated-with-icontract-hypothesis
• mristin/Link-examples-to-repl.it
• mristin/Mention-icontract-hypothesis-and-related-tools
• mristin/Refactor-checker-async-branching
• mristin/Refactored-for-icontract-hypothesis
• mristin/Refactored-readme-into-docs
• mristin/Reference-fastapi-icontract
• mristin/Release-2.4.2
• mristin/Release-2.7.2
• mristin/Released-2.4.1
• mristin/Removed-automatic-registration-with-Hypothesis
• mristin/Set-up-release-workflow-on-GitHub
• mristin/Support-Python-3.13
• mristin/Tested-with-dataclasses
• mristin/Tested-with-typechecked
• mristin/Update-black-to-24.8.0
• mristin/Update-mypy-to-1.14.1
• mristin/Update-pylint-to-3.2.7
• mristin/Updated-changelog
• mristin/Updated-mypy-to-0.790
• mristin/Updated-version-to-2.4.1-in-setup.py
• mristin/adapted-unit-tests-and-precommits-for-windows
• mristin/added-continuous-integration
• mristin/added-error-argument-to-the-contracts
• mristin/added-function-location-to-violation-error
• mristin/added-handling-of-slot-wrapper
• mristin/added-known-issues-to-the-readme
• mristin/added-location-to-missing-argument-calls
• mristin/added-location-to-require,-ensure-and-snapshot
• mristin/added-postcondition-snapshots
• mristin/added-reference-to-pyicontract-lint
• mristin/added-reference-to-sphinx-icontract
• mristin/asserted-no-pre-weakening-of-base-functions-without-pre
• mristin/bumped-a-version
• mristin/bumped-to-2.0.4
• mristin/bumped-to-2.0.5
• mristin/bumped-to-version-2.3.5
• mristin/compared-against-deal
• mristin/demarcated-decorator-and-lambda-inspection-in-_represent
• mristin/distinguished-between-optional-and-mandatory-arguments-in-conditions
• mristin/exempted-__delattr__-from-invariants
• mristin/exempted-__init__-from-pre/post-inheritance
• mristin/fixed-inheritance-of-pre/post-on-properties
• mristin/fixed-inheritance-of-preconditions/postconditions-of-property-getters/setters/deleters
• mristin/fixed-missing-encodings-in-precommit.py
• mristin/fixed-precommit-script-to-check-readme
• mristin/fixed-py36-build-fail-due-to-kwargs-to-ABCMeta
• mristin/fixed-representation-of-numpy-conditions
• mristin/formatted-benchmark-scripts
• mristin/icontract2
• mristin/improved-error-message-on-unexpected-argument
• mristin/invariants-enforced-on-property-get,set-and-del
• mristin/made-inv-a-class
• mristin/missing-boolyness-caught-with-more-informative-exception
• mristin/moved-mock-numpy-array-to-separate-module
• mristin/optimized-condition-parsing
• mristin/recompute-propagates-to-children-nodes
• mristin/refactoring-into-smaller-modules
• mristin/reformatted-test_represent.py
• mristin/remarked-args-and-kwargs-as-known-issue
• mristin/renamed-tests.violation_error-to-tests.error
• mristin/replace-typing.Type-with-type-in-order-to-run-on-Python-3.5.2
• mristin/separated-benchmark-from-precommit
• mristin/specified-require-and-ensure-to-use-generics
• mristin/updated-to-pylint-2.3.1
• paganis/v2.0.7
• paganis/v2.1.0
• paganis/v2.2.0
• paganis/v2.3-1
• paganis/v2.3.0
• paganis/v2.3.2
• radam/supports-static-and-class-methods
• radam/ugly_postcondition_output
• v1.5.3
• v1.5.4
• v1.5.5
• v1.5.6
• v1.5.7
• v1.5.8
• v1.5.9
• v1.6.0
• v1.6.1
• v1.7.0
• v1.7.1
• v1.7.2
• v2.0.0
• v2.0.1
• v2.0.2
• v2.0.3
• v2.0.4
• v2.0.7
• v2.1.0
• v2.2.0
• v2.3.0
• v2.3.1
• v2.3.2
• v2.3.3
• v2.3.4
• v2.3.5
• v2.3.6
• v2.3.7
• v2.4.0
• v2.4.1
• v2.5.0
• v2.5.2
• v2.5.3
• v2.5.4
• v2.5.5
• v2.6.0
• v2.6.1
• v2.6.2
• v2.6.3
• v2.6.4
• v2.6.5
• v2.6.6
• v2.7.0
• v2.7.1
• v2.7.2

Build # 19191255410

Build Type

push

github

Committed by web-flow

Commit Message

Release 2.7.2 (#310)

* Fix child invariants checked in ``super().__init__`` (#301)
* Support Python 3.13 (#309)
* Add support for Python 3.12 (#308)

This is a critical bugfix patch version. 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 lead to erroneous invariant checks, where
the invariants of the child class where checked after the super-init call
in the parent class.

Run Details

1 of 1 new or added line in 1 file covered. (100.0%)

1479 of 1615 relevant lines covered (91.58%)

5.44 hits per line