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

Extend unstable atomic tests with generic types #25

Open
adpaco-aws opened this issue Apr 9, 2021 · 0 comments
Open

Extend unstable atomic tests with generic types #25

adpaco-aws opened this issue Apr 9, 2021 · 0 comments
Labels
[C] Internal Tracks some internal work. I.e.: Users should not be affected. [I] Refactoring / Clean Up Refactoring or cleaning up of existing code

Comments

@adpaco-aws
Copy link
Contributor

adpaco-aws commented Apr 9, 2021 •
edited
Loading

Currently unstable atomic tests use only u8 values, but we should extend them to work with all integer values supported in Kani.
@adpaco-aws adpaco-aws mentioned this issue Feb 22, 2022
Closed
This was referenced May 25, 2022
Merged
Merged
@celinval celinval added [I] Refactoring / Clean Up Refactoring or cleaning up of existing code and removed Area: testing labels Nov 9, 2022
@tedinski tedinski added the [C] Internal Tracks some internal work. I.e.: Users should not be affected. label Nov 14, 2022
@qinheping qinheping mentioned this issue Feb 28, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
[C] Internal Tracks some internal work. I.e.: Users should not be affected. [I] Refactoring / Clean Up Refactoring or cleaning up of existing code
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@tedinski @celinval @adpaco-aws