Merge remote-tracking branch 'public/thread_coverage'

2024-12-06 19:41:15 +01:00 · 2016-06-19 12:15:55 -04:00
parent 2c96d95c12 429d15c529
commit b421648da2
12 changed files with 94 additions and 15 deletions
@@ -0,0 +1,4 @@
+  o Testing:
+    - Run more workqueue tests as part of "make check". These had previously
+      been implemented, but you needed to know special command-line options
+      to enable them.