[sv-ec] another possible errata in 17.7.11


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