Parquery / icontract

92%

LAST BUILD ON BRANCH master

branch: master

CHANGE BRANCH

x

Reset

• master
• hotfix/classifiers
• icontract2
• 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 # 19191245879

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