Skip to content

Commit b2bbf23

Browse files
author
David James
committed
docs: update README with update fuzzing info
1 parent d943456 commit b2bbf23

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

README.md

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -92,7 +92,7 @@ The `validate_on_read` configuration option only supports `false` at this time.
9292

9393
## Correctness
9494

95-
As of 2024-10-07, fuzz testing has surfaced no new crashes despite exploring more than _220 million_ inputs. In this project, each input is a sequence of operations in the `CrcStore` API, including: `new`, `seek`, `read`, and `write`.
95+
As of 2024-10-08, fuzz testing has surfaced no new crashes despite exploring more than _30 million_ inputs. In this project, each input is a sequence of operations in the `CrcStore` API, including: `new`, `seek`, `read`, `write`, and `validate`.
9696

9797
Of course, a lack of crashes is not proof of correctness. However, when combined with other testing strategies, this is reassuring.
9898

@@ -101,7 +101,9 @@ Of course, a lack of crashes is not proof of correctness. However, when combined
101101
After you install [cargo fuzz] as recommended (which involves using Nightly Rust), then you can run fuzz testing with:
102102

103103
```console
104-
cargo fuzz run fuzz_methods
104+
cargo fuzz run fuzz_rwsv
105105
```
106106

107+
Note: "rwsv" stands for "read, write, seek, validate" -- the methods exercised by the fuzzer.
108+
107109
[cargo fuzz]: https://github.com/rust-fuzz/cargo-fuzz

0 commit comments

Comments
 (0)