Parquery / icontract

93%

master: 93%

LAST BUILD ON BRANCH v2.7.0

branch: v2.7.0

CHANGE BRANCH

x

Reset

• v2.7.0
• hotfix/classifiers
• icontract2
• master
• mristin/Acted-on-deprecated-warnings-in-ast
• 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/Disable-invariant-checks-during-construction
• mristin/Encapsulate-adding-conditions-and-snapshots-to-checker
• mristin/Exempted-__new__-from-invariant-checks
• 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/Released-2.4.1
• mristin/Removed-automatic-registration-with-Hypothesis
• mristin/Set-up-release-workflow-on-GitHub
• mristin/Tested-with-dataclasses
• mristin/Tested-with-typechecked
• 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.1

Build # 10897356868

Build Type

push

github

Committed by web-flow

Commit Message

Released 2.7.0 (#294)

* Allowed to enforce invariants on attribute setting (#292)

  Originally, we had enforced invariants only at calls to "normal"
  methods, and excluded ``__setattr__`` since it is usually too
  expensive to verify invariants whenever setting an attribute.

  However, there are use cases where the users prefer to incur to
  computational overhead for correctness. To that end, we introduced the
  feature to steer when the invariants are enforced (at method calls,
  on setting attributes, or in both situations).

Run Details

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

1485 of 1598 relevant lines covered (92.93%)

4.49 hits per line