X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=a2%2F1cases.tex;h=b0531b2224581da656a8780cb1e0df89e4e9bc36;hb=92ded11e5cc8e03df27e440d1d12cfaebb59e726;hp=d30a937d12f1e298c9eb359b0db00c3fbc179051;hpb=429e007fac682ed91353a951d41efaa1f23df07b;p=tt2015.git

diff --git a/a2/1cases.tex b/a2/1cases.tex
index d30a937..b0531b2 100644
--- a/a2/1cases.tex
+++ b/a2/1cases.tex
@@ -257,12 +257,12 @@ As always, $100\%$ completeness is not feasible, therefore test cases are
 carefully selected to cover the most interesting parts of the TCP specification
 to ensure a complete but feasible test suite.
 
-To further increase the coverage of the test suites tests are randomized. The
-tests which test the handling of \emph{bit errors}, changes in the \emph{segment
-order} and \emph{dropped segments} randomize where they introduce an error. The
-test suite runs these tests multiple times to increase the likelihood that they
-discover a fault which is only present when an error occurs in a certain
-position. 
+%To further increase the coverage of the test suites tests are randomized. The
+%tests which test the handling of \emph{bit errors}, changes in the \emph{segment
+%order} and \emph{dropped segments} randomize where they introduce an error. The
+%test suite runs these tests multiple times to increase the likelihood that they
+%discover a fault which is only present when an error occurs in a certain
+%position. 
 
 To further decrease the number of tests needed test cases are divided into
 equivalence partitions and the combination of cases as described in