Skip to content

Commit

Permalink
remove restriction from random compress tests
Browse files Browse the repository at this point in the history
  • Loading branch information
ekiwi committed May 7, 2024
1 parent 6e5ba02 commit 65df8b4
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@

[package]
name = "wellen"
version = "0.9.7"
version = "0.9.8"
edition = "2021"
authors = ["Kevin Laeufer <[email protected]>"]
description = "Fast VCD and FST library for waveform viewers written in Rust."
Expand Down
4 changes: 2 additions & 2 deletions src/wavemem.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1207,12 +1207,12 @@ mod tests {

proptest! {
#[test]
fn compress_from_nine_state(value in "[01xz]{0,4}") {
fn compress_from_nine_state(value in "[01xz]{0,127}") {
do_test_compress(value, States::Nine);
}

#[test]
fn compress_from_four_state(value in "[01]{0,4}") {
fn compress_from_four_state(value in "[01]{0,127}") {
do_test_compress(value, States::Four);
}
}
Expand Down

0 comments on commit 65df8b4

Please sign in to comment.