Ignore more things for coverage

2015-12-03 19:14:13 -08:00 · 2015-12-03 19:14:13 -08:00 · c4c1efbf6a
commit c4c1efbf6a
parent a7522afced
1 changed files with 4 additions and 1 deletions
--- a/info.rkt
+++ b/info.rkt
@ -30,4 +30,7 @@

 (define cover-omit-paths
  '(#rx".*\\.scrbl"
-    "info.rkt"))
+    "info.rkt"
+    "lens/private/doc-util"
+    "lens/private/test-util"
+    "lens/private/util"))