Update coverage info

FedericoPonzi · Sep 5, 2024 · 661d718 · 661d718
1 parent a691bd7
commit 661d718
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/using/coverage.md b/src/using/coverage.md
@@ -38,7 +38,9 @@ as an example:
 ```
 <Next line 13, col 1 to line 13, col 4 of module Github845 (15 8 17 24)>: 0:2
 ```
-0:2 at the end mean distinct calls and total calls.
+0:2 at the end mean:
+* number of distinct states discovered after taking this action
+* number of times this action was chosen.
 
 if it only has a value, like this: