diff --git a/docs/spec/argv.md b/docs/spec/argv.md index 962d9b668..9c9c47f27 100644 --- a/docs/spec/argv.md +++ b/docs/spec/argv.md @@ -12,7 +12,7 @@ and the [conformance corpus](#the-conformance-corpus) makes it executable. ::: tip Both implementations answer every vector -usage-lib and usage-argv agree with all 176 vectors today. That is a +usage-lib and usage-argv agree with every vector today. That is a measurement, checked on every run rather than asserted here — see [Where the reference implementation differs](#where-the-reference-implementation-differs). @@ -412,7 +412,7 @@ fails if a label is wrong in either direction. A recorded divergence that gets fixed shows up as a test failure telling you to delete the label, so the list cannot rot. -**Today it does not: usage-lib agrees with all 176 vectors.** The list is empty +**Today it does not: usage-lib agrees with every vector.** The list is empty for the first time, and the five entries it used to hold were what writing the grammar down was for. Each was a real defect that only a second reading found: