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

Add a pseudorandom generator for move tests #7554

Merged
merged 17 commits into from
Jan 24, 2023
Merged

Add a pseudorandom generator for move tests #7554

Changes from 1 commit
Commits
Show all changes
17 commits
Select commit Hold shift + click to select a range
650e3e6
Add pseudorandom generator for move tests
jonas-lj Jan 20, 2023
52b773f
Format doc
jonas-lj Jan 20, 2023
34935dd
Update doc II
jonas-lj Jan 20, 2023
c4ed846
Update doc III
jonas-lj Jan 20, 2023
a1dbbdc
Remove newline
jonas-lj Jan 20, 2023
485ea1a
Misc updates
jonas-lj Jan 20, 2023
e7667e4
Simplify cases in bit_length
jonas-lj Jan 20, 2023
5796e35
Fix typo
jonas-lj Jan 21, 2023
6ba3ce4
Do not hash seed until it's needed2
jonas-lj Jan 21, 2023
21bb639
Update crates/sui-framework/sources/test/random.move
jonas-lj Jan 21, 2023
74d418c
Use modulus instead of rejection sampling
jonas-lj Jan 23, 2023
fa0cfd7
Fix modulus operator
jonas-lj Jan 23, 2023
e0d74f7
Remove output.bpl file from pr
jonas-lj Jan 23, 2023
a1d5eaa
Add generators for other integer types
jonas-lj Jan 23, 2023
2fba9b4
Add tests for range functions
jonas-lj Jan 23, 2023
3f7f862
Add test vectors
jonas-lj Jan 23, 2023
920eb48
Use u256s by other generators and rename to test_random
jonas-lj Jan 24, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Remove newline
  • Loading branch information
@jonas-lj
jonas-lj committed Jan 20, 2023
commit a1dbbdc73337eb0fe50ca4dae1c25e8a630f5492
1 change: 0 additions & 1 deletion crates/sui-framework/sources/test/random.move
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -107,7 +107,6 @@ module sui::random {
candidate
}


/// Use the given pseudorandom generator to get a random `u8`.
public fun get_next_u8(random: &mut Random): u8 {
*vector::borrow(&get_next_digest(random), 0)
Expand Down