Update golden results

Author: petr-bauch

experiments/golden-results/StratoX-summary.txt

@@ -124,11 +124,6 @@ Error message: Unsupported pragma: Suppress initialization
 Nkind: N_Pragma
 --
 Occurs: 6 times
-Calling function: Do_Constant
-Error message: Constant Type not in symbol table
-Nkind: N_Integer_Literal
---
-Occurs: 6 times
 Calling function: Process_Declaration
 Error message: Generic instantiation declaration
 Nkind: N_Procedure_Instantiation
@@ -169,6 +164,11 @@ Error message: Unsupported pragma: Unreferenced
 Nkind: N_Pragma
 --
 Occurs: 4 times
+Calling function: Do_Constant
+Error message: Constant Type not in symbol table
+Nkind: N_Integer_Literal
+--
+Occurs: 4 times
 Calling function: Process_Declaration
 Error message: Generic declaration
 Nkind: N_Generic_Package_Declaration
@@ -209,6 +209,216 @@ Error message: Unsupported pragma: Unreferenced
 Nkind: N_Pragma
 --
 Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: generic_types__saturate_mod__min
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: generic_types__saturate_mod__val
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: p4__f1__x
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: spark__arithmetic_lemmas__lemma_mult_scale__res
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: spark__constrained_array_lemmas__lemma_transitive_order__arr
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_quaternions__Oadd__left
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_quaternions__Oadd__right
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_quaternions__Omultiply__left
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_quaternions__Omultiply__right
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_quaternions__Osubtract__left
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_quaternions__conj__left
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_queue__clear__self
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_queue__empty__self
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_queue__fill__self
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_queue__full__self
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_queue__get_all__self
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_queue__get_back__element
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_queue__get_back__self
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_queue__get_front__element
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_queue__get_front__self
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_queue__get_nth_first__element
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_queue__get_nth_first__self
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_queue__get_nth_last__element
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_queue__get_nth_last__nth
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_queue__get_nth_last__self
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_queue__haselements__self
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_queue__length__self
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_queue__overflows__self
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_queue__p_get__self
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_queue__p_get_all__self
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_queue__pop_all__self
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_queue__pop_back__element
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_queue__pop_back__self
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_queue__pop_front__element
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_queue__pop_front__self
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_queue__push_back__self
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__generic_queue__push_front__self
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: system__generic_array_operations__square_matrix_length__a
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: system__generic_c_math_interface__Oexpon__left
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: system__generic_c_math_interface__arccosh__x
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: system__generic_c_math_interface__arccot__x
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: system__generic_c_math_interface__arccoth__x
+Nkind: 
+--
+Occurs: 1 times
 Calling function: Process_Declaration
 Error message: Subprogram body stub declaration
 Nkind: N_Subprogram_Body_Stub

experiments/golden-results/muen-summary.txt

@@ -149,6 +149,36 @@ Error message: Exponentiation unhandled for non mod types at the moment
 Nkind: N_Op_Expon
 --
 Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__muchannel__readers__drain__channel
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__muchannel__readers__drain__reader
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__muchannel__writer__deactivate__channel
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__muchannel__writer__initialize__channel
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__muchannel__writer__initialize__epoch
+Nkind: 
+--
+Occurs: 1 times
+Calling function: New_Parameter_Symbol_Entry
+Error message: standard__muchannel__writer__write__channel
+Nkind: 
+--
+Occurs: 1 times
 Calling function: Process_Declaration
 Error message: Use package clause declaration
 Nkind: N_Use_Package_Clause