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

Challenge 14: Safety of Primitive Conversions #220

Open
cvick32 opened this issue Dec 10, 2024 · 0 comments
Open

Challenge 14: Safety of Primitive Conversions #220

cvick32 opened this issue Dec 10, 2024 · 0 comments
Assignees
@cvick32
Labels
Challenge Used to tag a challenge

Comments

@cvick32
Copy link

cvick32 commented Dec 10, 2024 •
edited by tautschnig
Loading

This issue is a tracking issue for Challenge 14: Safety of Primitive Conversions.

Challenge link: https://model-checking.github.io/verify-rust-std/challenges/0014-convert-num.html
@cvick32 cvick32 added the Challenge Used to tag a challenge label Dec 10, 2024
@cvick32 cvick32 mentioned this issue Dec 10, 2024
Merged
@ShoyuVanilla ShoyuVanilla mentioned this issue Dec 21, 2024
Merged
github-merge-queue bot pushed a commit that referenced this issue Feb 11, 2025
@ShoyuVanilla
Add harnesses for safety of primitive conversions (#233)
ff0b5bf 
Towards #220

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@cvick32 cvick32

Labels
Challenge Used to tag a challenge
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@cvick32