Some fixes in the test case document
authorTrung Dong Huynh <tdh@ecs.soton.ac.uk>
Mon, 26 Nov 2012 17:56:53 +0000
changeset 5121 3122058eaead
parent 5120 a70e38b2bf66
child 5122 8b849c06bcb8
child 5375 4b3178ca0ab5
Some fixes in the test case document
testcases/process.html
--- 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