Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
2 changes: 1 addition & 1 deletion .travis.yml
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ language: rust
sudo: false
dist: trusty
rust:
- 1.32.0
- 1.36.0
- stable
- beta
- nightly
Expand Down
2 changes: 1 addition & 1 deletion appveyor.yml
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ environment:
- TARGET: nightly-i686-pc-windows-msvc
- TARGET: nightly-x86_64-pc-windows-gnu
- TARGET: nightly-i686-pc-windows-gnu
- TARGET: 1.32.0-x86_64-pc-windows-gnu
- TARGET: 1.36.0-x86_64-pc-windows-gnu
install:
- ps: Start-FileDownload "https://static.rust-lang.org/dist/rust-${env:TARGET}.exe" -FileName "rust-install.exe"
- ps: .\rust-install.exe /VERYSILENT /NORESTART /DIR="C:\rust" | Out-Null
Expand Down
6 changes: 3 additions & 3 deletions proptest/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -95,15 +95,15 @@ version = "0.5.0"
optional = true

[dependencies.rand]
version = "0.7"
version = "0.8"
default-features = false
features = ["alloc"]

[dependencies.rand_xorshift]
version = "0.2"
version = "0.3"

[dependencies.rand_chacha]
version = "0.2"
version = "0.3"
default-features = false

[dependencies.byteorder]
Expand Down
10 changes: 5 additions & 5 deletions proptest/src/char.rs
Original file line number Diff line number Diff line change
Expand Up @@ -114,16 +114,16 @@ fn select_range_index(
}

if !special.is_empty() && rnd.gen() {
let s = special[rnd.gen_range(0, special.len())];
let s = special[rnd.gen_range(0..special.len())];
if let Some(ret) = in_range(ranges, s) {
return ret;
}
}

if !preferred.is_empty() && rnd.gen() {
let range = preferred[rnd.gen_range(0, preferred.len())].clone();
let range = preferred[rnd.gen_range(0..preferred.len())].clone();
if let Some(ch) = ::core::char::from_u32(
rnd.gen_range(*range.start() as u32, *range.end() as u32 + 1),
rnd.gen_range(*range.start() as u32 .. *range.end() as u32 + 1),
) {
if let Some(ret) = in_range(ranges, ch) {
return ret;
Expand All @@ -132,9 +132,9 @@ fn select_range_index(
}

for _ in 0..65_536 {
let range = ranges[rnd.gen_range(0, ranges.len())].clone();
let range = ranges[rnd.gen_range(0..ranges.len())].clone();
if let Some(ch) = ::core::char::from_u32(
rnd.gen_range(*range.start() as u32, *range.end() as u32 + 1),
rnd.gen_range(*range.start() as u32 .. *range.end() as u32 + 1),
) {
return (*range.start() as u32, ch as u32 - *range.start() as u32);
}
Expand Down
2 changes: 1 addition & 1 deletion proptest/src/strategy/shuffle.rs
Original file line number Diff line number Diff line change
Expand Up @@ -170,7 +170,7 @@ where
// Determine the other index to be swapped, then skip the swap if
// it is too far. This ordering is critical, as it ensures that we
// generate the same sequence of random numbers every time.
let end_index = rng.gen_range(start_index + 1, len);
let end_index = rng.gen_range(start_index + 1 .. len);
if end_index - start_index <= max_swap {
value.shuffle_swap(start_index, end_index);
}
Expand Down