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

Add injectivity failure as a possible contract failure as well #1046

Closed

bobismijnnaam wants to merge 1 commit into dev from injectivity-as-contract-failure

Contributor

bobismijnnaam commented Jun 23, 2023

Fixes #1045


          Add injectivity failure as a possible contract failure as well

1c4caca

bobismijnnaam mentioned this pull request

Backend crash when using --assumeInjectivityOnInhale #1045

Open

Member

pieter-bos commented Jun 28, 2023

I think this is too fragile to merge as is, so pending consideration #1045 I'll close this

pieter-bos closed this

pieter-bos deleted the injectivity-as-contract-failure branch

May 23, 2024 12:00

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet