* Add Memory_Size property in memory_properties.aadl

resources/AADLv2/memory_properties.aadl

@@ -54,6 +54,8 @@ property set Memory_Properties is
 	Byte_Count: aadlinteger 0 .. Max_Byte_Count
 		applies to (memory);
 
+        Memory_Size: Size applies to (memory);
+
 	Word_Size: Size => 8 bits
 		applies to (memory);
 

tests/real-annexes-execution/test_real_exec_02.aadl.out

@@ -151,22 +151,22 @@ Evaluating theorem set_declaration_is_passing_through
 
  * Iterate for variable: rma.erc32_node_a_task_1
 Content of set accessor_flows (test_real_exec_02.aadl:251:21) is 
-anonymous end to end flow :3791 end to end flow spec 
+anonymous end to end flow :3806 end to end flow spec 
  => Result: TRUE
 
  * Iterate for variable: rma.erc32_node_a_task_2
 Content of set accessor_flows (test_real_exec_02.aadl:251:21) is 
-anonymous end to end flow :3791 end to end flow spec 
+anonymous end to end flow :3806 end to end flow spec 
  => Result: TRUE
 
  * Iterate for variable: rma.erc32_node_a_task_12
 Content of set accessor_flows (test_real_exec_02.aadl:251:21) is 
-anonymous end to end flow :3792 end to end flow spec 
+anonymous end to end flow :3807 end to end flow spec 
  => Result: TRUE
 
  * Iterate for variable: rma.erc32_node_a_task_22
 Content of set accessor_flows (test_real_exec_02.aadl:251:21) is 
-anonymous end to end flow :3792 end to end flow spec 
+anonymous end to end flow :3807 end to end flow spec 
  => Result: TRUE
 
 theorem set_declaration_is_passing_through is: TRUE