fixed zeroconf model files

Former-commit-id: efe00efde6

examples/multi-objective/mdp/zeroconf-tb/zeroconf-tb2_14.nm

@@ -26,6 +26,8 @@ const int TIME_MAX_Z = 1;  // max value of clock z
 
 // OTHER CONSTANTS
 const int MAXCOLL = 10;  // maximum number of collisions before long wait
+const int M=1; // time between sending and receiving a message
+const int T=14;
 
 
 //-------------------------------------------------------------
@@ -117,7 +119,6 @@ endmodule
 //-------------------------------------------------------------
 // error automaton for the environment assumption
 // do not get a reply when K probes are sent
-const int M=1; // time between sending and receiving a message
 
 module env_error2
 
@@ -150,7 +151,6 @@ endmodule
 //-------------------------------------------------------------
 // error automaton for the time bounded assumption
 // host does not send configured signal within T seconds
-const int T=14;
 
 module time_error
 

examples/multi-objective/mdp/zeroconf-tb/zeroconf-tb4_10.nm

@@ -26,7 +26,8 @@ const int TIME_MAX_Z = 1;  // max value of clock z
 
 // OTHER CONSTANTS
 const int MAXCOLL = 10;  // maximum number of collisions before long wait
-
+const int M=1; // time between sending and receiving a message
+const int T=10;
 
 //-------------------------------------------------------------
 // CONCRETE HOST
@@ -117,7 +118,7 @@ endmodule
 //-------------------------------------------------------------
 // error automaton for the environment assumption
 // do not get a reply when K probes are sent
-const int M=1; // time between sending and receiving a message
+
 
 module env_error4
 
@@ -155,7 +156,6 @@ endmodule
 //-------------------------------------------------------------
 // error automaton for the time bounded assumption
 // host does not send configured signal within T seconds
-const int T=10;
 
 module time_error
 

examples/multi-objective/mdp/zeroconf-tb/zeroconf-tb4_14.nm

@@ -26,7 +26,8 @@ const int TIME_MAX_Z = 1;  // max value of clock z
 
 // OTHER CONSTANTS
 const int MAXCOLL = 10;  // maximum number of collisions before long wait
-
+const int M=1; // time between sending and receiving a message
+const int T=14;
 
 //-------------------------------------------------------------
 // CONCRETE HOST
@@ -117,7 +118,6 @@ endmodule
 //-------------------------------------------------------------
 // error automaton for the environment assumption
 // do not get a reply when K probes are sent
-const int M=1; // time between sending and receiving a message
 
 module env_error4
 
@@ -155,7 +155,6 @@ endmodule
 //-------------------------------------------------------------
 // error automaton for the time bounded assumption
 // host does not send configured signal within T seconds
-const int T=14;
 
 module time_error
 

examples/multi-objective/mdp/zeroconf/zeroconf4.nm

@@ -26,6 +26,7 @@ const int TIME_MAX_Z = 1;  // max value of clock z
 
 // OTHER CONSTANTS
 const int MAXCOLL = 10;  // maximum number of collisions before long wait
+const int M=1; // time between sending and receiving a message
 
 
 //-------------------------------------------------------------
@@ -117,7 +118,6 @@ endmodule
 //-------------------------------------------------------------
 // error automaton for the environment assumption
 // do not get a reply when K probes are sent
-const int M=1; // time between sending and receiving a message
 
 module env_error4
 

examples/multi-objective/mdp/zeroconf/zeroconf6.nm

@@ -26,6 +26,7 @@ const int TIME_MAX_Z = 1;  // max value of clock z
 
 // OTHER CONSTANTS
 const int MAXCOLL = 10;  // maximum number of collisions before long wait
+const int M=1; // time between sending and receiving a message
 
 
 //-------------------------------------------------------------
@@ -117,7 +118,6 @@ endmodule
 //-------------------------------------------------------------
 // error automaton for the environment assumption
 // do not get a reply when K probes are sent
-const int M=1; // time between sending and receiving a message
 
 module env_error6
 

examples/multi-objective/mdp/zeroconf/zeroconf8.nm

@@ -26,6 +26,7 @@ const int TIME_MAX_Z = 1;  // max value of clock z
 
 // OTHER CONSTANTS
 const int MAXCOLL = 10;  // maximum number of collisions before long wait
+const int M=1; // time between sending and receiving a message
 
 
 //-------------------------------------------------------------
@@ -117,7 +118,6 @@ endmodule
 //-------------------------------------------------------------
 // error automaton for the environment assumption
 // do not get a reply when K probes are sent
-const int M=1; // time between sending and receiving a message
 
 module env_error8