meer gast verhaal in verslag

[tt2015.git] / a3 / code / tcpmodel.icl

diff --git a/a3/code/tcpmodel.icl b/a3/code/tcpmodel.icl
index cf9cd89..4623b41 100644 (file)
--- a/a3/code/tcpmodel.icl
+++ b/a3/code/tcpmodel.icl
@@ -94,7 +94,7 @@ endstate :: [State] -> Bool
 endstate sts = isMember Closed sts || isMember ConnectionError sts
 
 /* testing options */
-options = [Nsequences 10000, Stop endstate]
+options = [Nsequences 9000, Stop endstate]
 
 /* testing program */
 Start world