Merge pull request #379 from figsoda/level

This commit is contained in:
figsoda 2023-03-20 15:46:28 -04:00 committed by GitHub
commit 102aa3e507
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -103,7 +103,7 @@ fn single_empty_file(ext: Extension, #[any(size_range(0..8).lift())] exts: Vec<F
fn single_file(
ext: Extension,
#[any(size_range(0..8).lift())] exts: Vec<FileExtension>,
#[strategy(proptest::option::of(0i16..30))] level: Option<i16>,
#[strategy(proptest::option::of(0i16..12))] level: Option<i16>,
) {
let dir = tempdir().unwrap();
let dir = dir.path();