Subject: [sv-ec] another possible errata in 17.7.11
From: Michael Burns (Michael.Burns@motorola.com)
Date: Mon Feb 09 2004 - 11:24:16 PST
Hi again folks,
Towards the bottom of p.227 of draft 4, there is the following
paragraph:
"In the next example, all matches of (a ##[1:3] b ##1 c) must match
(d ##1 e). If there are no matches of (a ##[1:3] b ##1 c), then
there is a vacuous success for the property."
However, there is no next example like the one described. Also, it's
not clear (even if the example was there), what this paragraph is
adding to the the discussion. Perhaps it should be removed.
Mike Burns
This archive was generated by hypermail 2b28 : Mon Feb 09 2004 - 11:31:56 PST