Parquery / icontract

93%

master: 93%

LAST BUILD ON BRANCH mristin/Integrated-with-icontract-hypothesis

branch: mristin/Integrated-with-icontract-hypothesis

CHANGE BRANCH

x

Reset

• mristin/Integrated-with-icontract-hypothesis
• 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/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.0
• v2.7.1

Build # 541

Build Type

push

travis-ci-com

Committed by mristin

Commit Message

Integrated with icontract-hypothesis

This patch integrates with icontract-hypothesis (and consequently
Hypothesis) by registering all DBC classes with Hypothesis.
This is necessary so that precondition considerations are propagated in
Hypothesis build strategies.

Run Details

1091 of 1169 relevant lines covered (93.33%)

3.64 hits per line