Finish up

Author: smoelius

.github/workflows/ci.yml

@@ -161,6 +161,9 @@ jobs:
             exit 1
           fi
 
+      - name: Check that repository is clean
+        run: ! git diff | grep .
+
   all-checks:
     needs:
       - test

.gitignore

@@ -1 +1,3 @@
 /target
+/test-fuzz/coverage
+/test-fuzz/lcov.info

Cargo.lock

@@ -48,6 +48,7 @@ serde_assert = "0.8"
 serde_json = "1.0"
 serde = { version = "1.0", features = ["derive", "rc"] }
 sha1 = "0.10"
+snapbox = "0.6"
 similar-asserts = "1.7"
 strip-ansi-escapes = "0.2"
 strum_macros = "0.27"

Cargo.toml

@@ -283,6 +283,13 @@ Options:
       --backtrace                 Display backtraces
       --consolidate               Move one target's crashes, hangs, and work queue to its corpus; to
                                   consolidate all targets, use --consolidate-all
+      --coverage <COVERAGE>       Generate coverage for corpus, crashes, hangs, or work queue. By
+                                  default, an uninstrumented fuzz target is used. To generate
+                                  coverage with instrumentation, append `-instrumented` to <OBJECT>,
+                                  e.g., --coverage corpus-instrumented. [possible values: corpus,
+                                  corpus-instrumented, crashes, crashes-instrumented, generic-args,
+                                  hangs, hangs-instrumented, impl-generic-args, queue,
+                                  queue-instrumented]
       --cpus <N>                  Fuzz using at most <N> cpus; default is all but one
       --display <OBJECT>          Display corpus, crashes, generic args, `impl` generic args, hangs,
                                   or work queue. By default, an uninstrumented fuzz target is used.

README.md

@@ -47,6 +47,7 @@ runtime = { workspace = true }
 assert_cmd = { workspace = true }
 predicates = { workspace = true }
 rlimit = { workspace = true }
+snapbox = { workspace = true }
 tempfile = { workspace = true }
 walkdir = { workspace = true }
 xshell = { workspace = true }