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.

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

add test for right bit shift with assignment #703

Merged
merged 2 commits into from
Jan 11, 2023

Conversation

martinacantaro
Copy link
Contributor

Add test for right bit shift with assignment

Description

Property-based test that ensures, for 100 values that are randomly generated each time tests are run, that performing a bit shift to the right with assignment by shift_amount of bits (between 0 and 999) returns a result that is inside of the range [0, p]. "With assignment" means that the result of the operation is autommatically assigned to the variable value, replacing its previous content.

Checklist

Sorry, something went wrong.

@Jrigada Jrigada merged commit 23536dc into main Jan 11, 2023
@Jrigada Jrigada deleted the add-last-bit-shift-proptest-for-felt branch January 11, 2023 19:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants