Mention issue 884 for building with coverage analysis.

GaloisInc · Jul 10, 2023 · 7eacf8b · 7eacf8b
1 parent 6508711
commit 7eacf8b
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -96,7 +96,10 @@ Alternately, you can target a more specific sub-package instead of `all`.
 Testing and Coverage
 --------------------
 
-Testing with coverage tracking is done via `cabal test --enable-coverage ...`
+Testing with coverage tracking is done via `cabal test --enable-coverage ...`  or
+`cabal configure --enable-coverage`, although additional workarounds will be
+needed as noted in https://github.com/galoisinc/crucible/issues/884 and
+https://github.com/haskell/cabal/issues/6440.
 
 Notes on Freeze Files
 ---------------------