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

Fix miri test #17

Closed
al8n opened this issue Oct 18, 2023 · 3 comments
Closed

Fix miri test #17

al8n opened this issue Oct 18, 2023 · 3 comments
Labels
enhancement New feature or request help wanted Extra attention is needed

Comments

@al8n
Copy link
Owner

al8n commented Oct 18, 2023

To improve the quality of this crate, we need all test cases pass cargo miri test.
@al8n al8n added enhancement New feature or request help wanted Extra attention is needed labels Oct 18, 2023
@hsqStephenZhang
Copy link
Contributor

it seems that lru-rs can pass all the miri tests

@al8n
Copy link
Owner Author

al8n commented Jan 10, 2025

it seems that lru-rs can pass all the miri tests

Yeah, I have not looked back at this crate for around three years. At the moment I developed it, I was an undergraduate and did not know what is miri actually, and time flies :). I will take some time on the weekends, anyway.

@al8n
Copy link
Owner Author

al8n commented Jan 10, 2025

Fixed by #25

@al8n al8n closed this as completed Jan 10, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request help wanted Extra attention is needed
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@al8n @hsqStephenZhang