after final submission fmcad

fmcad17/01.loopless/safe-assert/safe.txt_dbm_analysis_trace.txt

+
+Backward Dbm-based Coverability analysis terminated and system is safe! :)
+Backward Dbm-based Coverability Analysis time(s): 0.014733

fmcad17/1.loopless/safe-assert/safe.txt_input_info.txt → fmcad17/01.loopless/safe-assert/safe.txt_input_info.txt

-FunctionInformation @ 0x1088fd0
+FunctionInformation @ 0x247dfd0
   Tag:     0
   ID:      main
   Table:   0
@@ -6,12 +6,12 @@ FunctionInformation @ 0x1088fd0
   Returns: 0 
   Parameters: none
   Locals:
-    0x10932e0 main
-    0x10904c0 t
-    0x10903d0 pb
-    0x10902e0 pc
-    0x10901e0 bvar
-  Body:  0x1093200
+    0x24882e0 main
+    0x24854c0 t
+    0x24853d0 pb
+    0x24852e0 pc
+    0x24851e0 bvar
+  Body:  0x2488200
 1->2(0): pc= newPhaser()
 2->3(1): pb= newPhaser()
 3->4(2): t= newTid()
@@ -22,35 +22,35 @@ FunctionInformation @ 0x1088fd0
 11->12(10): adv(pc) 
 
 -------------------------------------------------------------------------------
-SymbolTable @ 0x1089080
+SymbolTable @ 0x247e080
 -------------------------------------------------------------------------------
-61	0x10903d0 pb : 0x1088f10 phaser [8] --> 0x10902e0 pc
-206	0x10932e0 main : 0x1088f70 thread [8] --> 0x10904c0 t
-223	0x1088f10 0x1088f10 phaser [8]
-568	0x10902e0 pc : 0x1088f10 phaser [8] --> 0x10901e0 bvar
-729	0x1088f70 0x1088f70 thread [8]
-856	0x10901e0 bvar : 0x1088eb0 boolean [1]
-876	0x1088e50 0x1088e50 integer [8]
-958	0x10904c0 t : 0x1088f70 thread [8] --> 0x10903d0 pb
+61	0x24853d0 pb : 0x247df10 phaser [8] --> 0x24852e0 pc
+206	0x24882e0 main : 0x247df70 thread [8] --> 0x24854c0 t
+223	0x247df10 0x247df10 phaser [8]
+568	0x24852e0 pc : 0x247df10 phaser [8] --> 0x24851e0 bvar
+729	0x247df70 0x247df70 thread [8]
+856	0x24851e0 bvar : 0x247deb0 boolean [1]
+876	0x247de50 0x247de50 integer [8]
+958	0x24854c0 t : 0x247df70 thread [8] --> 0x24853d0 pb
 -------------------------------------------------------------------------------
-FunctionInformation @ 0x10906e0
+FunctionInformation @ 0x24856e0
   Tag:     0
   ID:      t
   Table:   0
-  Parent:  0x1088fd0 maint
+  Parent:  0x247dfd0 maint
 
 
 
   Returns: 0 
   Parameters: none
   Locals: none
-  Body:  0x1092990
+  Body:  0x2487990
 7->8(5): adv(pc) 
 8->9(6): await(pc)
 9->-1(7): assume(!bvar)
 
 -------------------------------------------------------------------------------
-SymbolTable @ 0x1090790
+SymbolTable @ 0x2485790
 -------------------------------------------------------------------------------
 -------------------------------------------------------------------------------