--- a/testcases/process.html Mon Nov 26 12:19:50 2012 -0500
+++ b/testcases/process.html Mon Nov 26 17:56:53 2012 +0000
@@ -221,17 +221,18 @@
<h3>Test Results</h3>
-<p>Implementers are asked to validate each test case with their implementation and recorded
-the validation results <em>two plain text files</em>: <strong>pass.txt</strong> and
-<strong>fail.txt</strong>. These files MUST contain the identifiers (one on each line) of
-the test cases that have been successfully validated in the former and those that fail
-validation in the latter. Test cases that are not supported by the implementation SHOULD
-NOT be included in either of the files.</p>
+<p>Implementers are asked to validate each test case with their implementation and record
+the validation results in <em>two plain text files</em>: <strong>pass.txt</strong> and
+<strong>fail.txt</strong>.
+The <b>pass.txt</b> file MUST contain all the identifiers (one on each line) of
+the test cases that have been successfully validated, and the <b>fail.txt</b>
+MUST contain the identifiers of all those that have failed the validation.
+Test cases that are not supported by the implementation SHOULD NOT be included
+in either of the files.</p>
<p>For example, if a validator can <strong>only</strong> process the three test cases
<b>derivation1-PASS</b>, <b>derivation2-FAIL-ordering</b>, and <b>derivation3-PASS</b>, we
-expect the result
-files's contents to be similar to the below.</p>
+expect the result files's contents to be similar to the below.</p>
<pre class="example">
pass.txt:
derivation1-PASS