Skip to content
This repository has been archived by the owner on Aug 12, 2024. It is now read-only.

Slicer does not prove for Integer types that include 0 #29

Open
jklmnn opened this issue Dec 10, 2022 · 0 comments
Open

Slicer does not prove for Integer types that include 0 #29

jklmnn opened this issue Dec 10, 2022 · 0 comments

Comments

@jklmnn
Copy link
Member

jklmnn commented Dec 10, 2022

The current tests prove Basalt.Slicer only for Positive. However when using Natural or Integer the dynamic predicate of the context causes an unproven overflow check.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jklmnn