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

Port Cargo Tests into compiletest. #177

Closed
bdalrhm opened this issue Jun 8, 2021 · 0 comments · Fixed by #198
Closed

Port Cargo Tests into compiletest. #177

bdalrhm opened this issue Jun 8, 2021 · 0 comments · Fixed by #198
Assignees
@bdalrhm

Comments

@bdalrhm
Copy link
Contributor

bdalrhm commented Jun 8, 2021

No description provided.

@bdalrhm bdalrhm self-assigned this Jun 8, 2021
@bdalrhm bdalrhm mentioned this issue Jun 11, 2021
Merged
4 tasks
celinval pushed a commit to celinval/kani-dev that referenced this issue Nov 16, 2021
@pro465
add Simd::from_slice (model-checking#177)
d2e8728 
* add `Simd::from_slice`

uses a zeroed initial array and loops so that it can be const.
unfortunately, parameterizing the assert with slice length
needs `#![feature(const_fn_fn_ptr_basics)]` to work.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@bdalrhm bdalrhm

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Move cargo tests to compiletest. bdalrhm/rmc
1 participant
@bdalrhm