make the default annotations for the teaching languages be test coverage (instead of just normal errortrace annotations)

rfindler · rfindler · commit 3a6b1e4e6604 · 2026-04-09T07:24:38.000-05:00
diff --git a/htdp-lib/htdp/bsl/reader.rkt b/htdp-lib/htdp/bsl/reader.rkt
@@ -43,5 +43,7 @@
     [(drracket:show-big-defs/ints-labels) #t]
 
     [(documentation-language-family) "HtDP"]
+
+    [(drracket:default-instrumentation) 'test-coverage]
     
     [else (use-default key default)]))
