summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--notFinishedCode/Report/test.log4
-rw-r--r--notFinishedCode/Report/test.pdfbin608478 -> 608454 bytes
-rw-r--r--notFinishedCode/Report/test.tex2
-rw-r--r--notFinishedCode/Report/test.tex~11
4 files changed, 8 insertions, 9 deletions
diff --git a/notFinishedCode/Report/test.log b/notFinishedCode/Report/test.log
index 925b95b..5658345 100644
--- a/notFinishedCode/Report/test.log
+++ b/notFinishedCode/Report/test.log
@@ -1,4 +1,4 @@
-This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2011.9.27) 9 OCT 2011 19:21
+This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2011.9.27) 9 OCT 2011 19:22
entering extended mode
%&-line parsing enabled.
**test.tex
@@ -371,7 +371,7 @@ ur/jknappen/ec/ecsx1440.600pk> </home/refik/.texmf-var/fonts/pk/ljfour/jknappen
0.600pk> </home/refik/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecrm1728.600pk></u
sr/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/te
xmf-texlive/fonts/type1/public/amsfonts/cm/cmsy9.pfb>
-Output written on test.pdf (19 pages, 608478 bytes).
+Output written on test.pdf (19 pages, 608454 bytes).
PDF statistics:
587 PDF objects out of 1000 (max. 8388607)
0 named destinations out of 1000 (max. 500000)
diff --git a/notFinishedCode/Report/test.pdf b/notFinishedCode/Report/test.pdf
index 675e879..a10bec0 100644
--- a/notFinishedCode/Report/test.pdf
+++ b/notFinishedCode/Report/test.pdf
Binary files differ
diff --git a/notFinishedCode/Report/test.tex b/notFinishedCode/Report/test.tex
index 05fa6d9..59ebd7a 100644
--- a/notFinishedCode/Report/test.tex
+++ b/notFinishedCode/Report/test.tex
@@ -441,7 +441,7 @@ Hypothesis}, preprint (2003), available at
\url{http://www.tc.umn.edu/~brams006/selfsign.html}.
\bibitem{pChart} \emph{pChart}, accessed on 15.08.2011, available at
-\url{http://http://www.pchart.net/}.
+\url{http://www.pchart.net/}.
\bibitem{beagleDataSheet} \emph{BeagleBoard System Reference Manual}, accessed on 20.06.2011, available at
\url{http://beagleboard.org/static/BBSRM_latest.pdf}.
diff --git a/notFinishedCode/Report/test.tex~ b/notFinishedCode/Report/test.tex~
index 9db3763..05fa6d9 100644
--- a/notFinishedCode/Report/test.tex~
+++ b/notFinishedCode/Report/test.tex~
@@ -172,19 +172,18 @@ At the start we did not have a cable supplied for the Siemens S55 phone. We cont
\subsection{Verification of the protocol}
The verification results are listed here:
\begin{lstlisting}
-(Spin Version 6.1.0 -- 2 May 2011) + Partial Order Reduction
+(Spin Version 6.1.0 -- 2 May 2011)
+ + Partial Order Reduction
Full statespace search for:
never claim - (none specified)
assertion violations +
- cycle checks - (disabled by -DSAFETY)
- invalid end states +
-
+ cycle checks - (disabled by -DSAFETY)
+ invalid end states +
State-vector 44 byte, depth reached 65, errors: 0
40 states, stored
3 states, matched
- 43 transitions ( stored+matched)
+ 43 transitions (= stored+matched)
90 atomic steps
-
hash conflicts: 0 (resolved)
2.195 memory usage (Mbyte)
unreached in proctype Server1