From 17c2b83e0fd0277c9e0af4ee12fe386c47c80433 Mon Sep 17 00:00:00 2001
From: Refik Hadzialic
Date: Wed, 26 Oct 2011 18:04:08 +0200
Subject: Report writing

---
 notFinishedCode/Report/test.tex | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

(limited to 'notFinishedCode/Report/test.tex')

diff --git a/notFinishedCode/Report/test.tex b/notFinishedCode/Report/test.tex
index d71b14c..70ae707 100644
--- a/notFinishedCode/Report/test.tex
+++ b/notFinishedCode/Report/test.tex
@@ -454,19 +454,19 @@ keep in mind it works like a well defined state machine.}.
 
 \begin{figure}[ht!]
   \centering
-  \includegraphics[width=130mm]{protocolCommunicationHandler.png}
+  \includegraphics[width=147mm]{protocolCommunicationHandler.png}
   \caption[]{Flowchart of the protocol on the handler side without the state representation}
 \end{figure}
 
 \begin{figure}[ht!]
   \centering
-  \includegraphics[width=130mm]{protocolCommunicationcControllerReceiver.png}
+  \includegraphics[width=147mm]{protocolCommunicationcControllerReceiver.png}
   \caption[]{Flowchart of the protocol on the controller side for the caller without the state representation}
 \end{figure}
 
 \begin{figure}[ht!]
   \centering
-  \includegraphics[width=130mm]{protocolCommunicationcControllerCaller.png}
+  \includegraphics[width=147mm]{protocolCommunicationcControllerCaller.png}
   \caption[]{Flowchart of the protocol on the controller side for the receiver without the state representation}
 \end{figure}
 
@@ -484,7 +484,11 @@ We modeled both sides, server and client side. As well as the server side being
 and a callee. It was important to find out if our protocol is deadlock or delayed state free. 
 For more details our model can be found on our wiki project page with the PROMELA source code \cite{wiki}. 
 We had built in a 50\% random probability that the call test will not be successful, to make the model even more
-realistic. Our protocol idea was deadlock free and the verification results prove it:
+realistic. Our protocol idea was deadlock free and the verification results prove it. 
+After we had modeled the basic idea we had written the code that implements our idea. The Python code
+resembles some kind of a state machine which remembers the last state and what the next state should be in case
+of receiving corresponding message. Otherwise it enters the exit state and then the start state.
+
 \begin{lstlisting}
 (Spin Version 6.1.0 -- 2 May 2011)
     + Partial Order Reduction
@@ -508,9 +512,6 @@ unreached in proctype Client
     (0 of 67 states)
 pan: elapsed time 0 seconds
 \end{lstlisting}
-After we had modeled the basic idea we had written the code that implements our idea. The Python code
-resembles some kind of a state machine which remembers the last state and what the next state should be in case
-of receiving corresponding message. Otherwise it enters the exit state and then the start state.
 
 \clearpage
 \newpage
@@ -569,7 +570,6 @@ After we have created the public and private keys, and coppied the public key on
 
 \begin{lstlisting}
 refik@ubuntu:$ ssh remote-host
-Last login: Sun Nov 16 17:22:33 2008 from 192.168.1.2
 [Note: SSH did not ask for password.]
 
 refik@remote-host:$ [Note: You are on remote-host here]
@@ -759,7 +759,7 @@ can do that by typing:
 \begin{lstlisting}
 sudo /etc/init.d/apache2 restart
 \end{lstlisting}
-You can test it now by opening a new browser tab and navigating to \emph{https://localhost/testsoftware} 
+You can test it now by opening a new browser tab and navigating to \emph{https://localhost/\\testsoftware} 
 (keep in mind to replace \emph{testsoftware} with your name of the folder where the web page 
 is located). If you configured everything properly, you should get a dialog where you can 
 enter your created username and password and try to login. 
-- 
cgit v1.2.3-55-g7522

