Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Encapsulate adding contracts for integrators #202

Merged
merged 1 commit into from
Feb 26, 2021
Merged

Encapsulate adding contracts for integrators #202

merged 1 commit into from
Feb 26, 2021

Conversation

mristin
Copy link
Collaborator

@mristin mristin commented Feb 26, 2021

This patch introduces a mechanism for downstream integrators to add
manually contracts and snapshots to the function checker.

@mristin
Encapsulated adding contracts for integrators
256d97d 
This patch introduces a mechanism for downstream integrators to add
manually contracts and snapshots to the function checker.
@mristin mristin force-pushed the mristin/Encapsulate-adding-conditions-and-snapshots-to-checker branch from 3d943aa to 256d97d Compare February 26, 2021 15:36
@coveralls
Copy link

coveralls commented Feb 26, 2021 •
edited
Loading

Coverage Status

Coverage decreased (-0.3%) to 85.617% when pulling 256d97d on mristin/Encapsulate-adding-conditions-and-snapshots-to-checker into 477b48b on master.

@coveralls
Copy link

Coverage Status

Coverage decreased (-0.3%) to 85.617% when pulling 256d97d on mristin/Encapsulate-adding-conditions-and-snapshots-to-checker into 477b48b on master.

@mristin mristin merged commit 2071675 into master Feb 26, 2021
@mristin mristin deleted the mristin/Encapsulate-adding-conditions-and-snapshots-to-checker branch February 26, 2021 15:42
mristin added a commit that referenced this pull request Feb 26, 2021
@mristin
Released 2.4.2
2e70dd3 
* Encapsulated adding contracts for integrators (#202)
* Added support for error-as-instance (#201)
* Added support for coroutine (#197)
* Added support for async (#196)
mristin added a commit that referenced this pull request Feb 26, 2021
@mristin
Released 2.5.0
da343f7 
* Encapsulated adding contracts for integrators (#202)
* Added support for error-as-instance (#201)
* Added support for coroutine (#197)
* Added support for async (#196)
@mristin mristin mentioned this pull request Feb 26, 2021
Merged
mristin added a commit that referenced this pull request Feb 26, 2021
@mristin
Released 2.5.0 (#203)
1f8d247 
* Encapsulated adding contracts for integrators (#202)
* Added support for error-as-instance (#201)
* Added support for coroutine (#197)
* Added support for async (#196)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@mristin @coveralls