summaryrefslogtreecommitdiffstats
path: root/notFinishedCode/Report/test.tex~
diff options
context:
space:
mode:
authorRefik Hadzialic2011-10-09 19:23:09 +0200
committerRefik Hadzialic2011-10-09 19:23:09 +0200
commitb3a1d7b5f431c440c09810981fac1f47d2c84610 (patch)
tree120a43d53e5f84086f236ab130fbf2e21924f8b1 /notFinishedCode/Report/test.tex~
parentRemoved some errors that latex produced because of special characters! (diff)
downloadgsm-selftest-b3a1d7b5f431c440c09810981fac1f47d2c84610.tar.gz
gsm-selftest-b3a1d7b5f431c440c09810981fac1f47d2c84610.tar.xz
gsm-selftest-b3a1d7b5f431c440c09810981fac1f47d2c84610.zip
Report!
Diffstat (limited to 'notFinishedCode/Report/test.tex~')
-rw-r--r--notFinishedCode/Report/test.tex~11
1 files changed, 5 insertions, 6 deletions
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