Skip to content

Conversation

@michael-schwarz
Copy link
Member

Calling truncateCilint in min_for hides overflows that might happen, so it is incorrect to call it here.

Closes #769

@michael-schwarz michael-schwarz requested a review from jerhard July 13, 2022 07:56
@michael-schwarz michael-schwarz merged commit 3777e01 into master Jul 13, 2022
@michael-schwarz michael-schwarz deleted the issue_769 branch July 13, 2022 08:20
@sim642 sim642 added this to the v2.0.0 milestone Aug 12, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Unsigned long interval unsoundness with refinement

3 participants