From b3a1d7b5f431c440c09810981fac1f47d2c84610 Mon Sep 17 00:00:00 2001 From: Refik Hadzialic Date: Sun, 9 Oct 2011 19:23:09 +0200 Subject: Report! --- notFinishedCode/Report/test.tex~ | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) (limited to 'notFinishedCode/Report/test.tex~') 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 -- cgit v1.2.3-55-g7522