Skip to content

Commit d80b716

Browse files
NlightNFotisNlightNFotis
committed
Update golden results
1 parent c224383 commit d80b716

6 files changed

+31
-61
lines changed

‎experiments/golden-results/SPARK-tetris-summary.txt

-5
Original file line numberDiff line numberDiff line change
@@ -3,11 +3,6 @@ Calling function: Process_Declaration
33
Error message: Package declaration
44
Nkind: N_Package_Declaration
55
--
6-
Occurs: 10 times
7-
Calling function: Do_Base_Range_Constraint
8-
Error message: range expression not bitvector type
9-
Nkind: N_Range
10-
--
116
Occurs: 9 times
127
Calling function: Process_Pragma_Declaration
138
Error message: Unsupported pragma: Volatile

‎experiments/golden-results/StratoX-summary.txt

+11-16
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ Calling function: Process_Declaration
88
Error message: Unknown declaration kind
99
Nkind: N_Freeze_Generic_Entity
1010
--
11-
Occurs: 157 times
11+
Occurs: 155 times
1212
Calling function: Do_Function_Call
1313
Error message: func name not in symbol table
1414
Nkind: N_Function_Call
@@ -74,15 +74,15 @@ Error message: Unknown declaration kind
7474
Nkind: N_Null_Statement
7575
--
7676
Occurs: 13 times
77-
Calling function: Do_Constant
78-
Error message: Constant Type not in symbol table
79-
Nkind: N_Integer_Literal
80-
--
81-
Occurs: 13 times
8277
Calling function: Process_Declaration
8378
Error message: Generic instantiation declaration
8479
Nkind: N_Function_Instantiation
8580
--
81+
Occurs: 12 times
82+
Calling function: Do_Constant
83+
Error message: Constant Type not in symbol table
84+
Nkind: N_Integer_Literal
85+
--
8686
Occurs: 11 times
8787
Calling function: Do_Expression
8888
Error message: In
@@ -104,21 +104,11 @@ Error message: Unsupported pragma: Global
104104
Nkind: N_Pragma
105105
--
106106
Occurs: 9 times
107-
Calling function: Do_Procedure_Call_Statement
108-
Error message: sym id not in symbol table
109-
Nkind: N_Procedure_Call_Statement
110-
--
111-
Occurs: 9 times
112107
Calling function: Process_Pragma_Declaration
113108
Error message: Unsupported pragma: Elaborate Body
114109
Nkind: N_Pragma
115110
--
116111
Occurs: 8 times
117-
Calling function: Do_Base_Range_Constraint
118-
Error message: range expression not bitvector type
119-
Nkind: N_Range
120-
--
121-
Occurs: 8 times
122112
Calling function: Process_Declaration
123113
Error message: Generic instantiation declaration
124114
Nkind: N_Package_Instantiation
@@ -204,6 +194,11 @@ Error message: Generic declaration
204194
Nkind: N_Generic_Package_Declaration
205195
--
206196
Occurs: 3 times
197+
Calling function: Do_Procedure_Call_Statement
198+
Error message: sym id not in symbol table
199+
Nkind: N_Procedure_Call_Statement
200+
--
201+
Occurs: 3 times
207202
Calling function: Process_Statement
208203
Error message: Unknown expression kind
209204
Nkind: N_Object_Declaration

‎experiments/golden-results/Tokeneer-summary.txt

-10
Original file line numberDiff line numberDiff line change
@@ -84,16 +84,6 @@ Error message: Abstract type declaration unsupported
8484
Nkind: N_Private_Type_Declaration
8585
--
8686
Occurs: 8 times
87-
Calling function: Do_Base_Range_Constraint
88-
Error message: range expression not bitvector type
89-
Nkind: N_Range
90-
--
91-
Occurs: 8 times
92-
Calling function: Do_Base_Range_Constraint
93-
Error message: unsupported upper range kind
94-
Nkind: N_Identifier
95-
--
96-
Occurs: 8 times
9787
Calling function: Process_Pragma_Declaration
9888
Error message: Unknown pragma
9989
Nkind: N_Pragma

‎experiments/golden-results/UKNI-Information-Barrier-summary.txt

-5
Original file line numberDiff line numberDiff line change
@@ -18,11 +18,6 @@ Calling function: Do_Itype_Definition
1818
Error message: Unknown Ekind
1919
Nkind: N_Defining_Identifier
2020
--
21-
Occurs: 2 times
22-
Calling function: Do_Base_Range_Constraint
23-
Error message: range expression not bitvector type
24-
Nkind: N_Range
25-
--
2621
Occurs: 1 times
2722
Calling function: Process_Declaration
2823
Error message: Use package clause declaration

‎experiments/golden-results/muen-summary.txt

+10-20
Original file line numberDiff line numberDiff line change
@@ -54,16 +54,16 @@ Error message: Unsupported pragma: Abstract state
5454
Nkind: N_Pragma
5555
--
5656
Occurs: 11 times
57-
Calling function: Do_Constant
58-
Error message: Constant Type not in symbol table
59-
Nkind: N_Integer_Literal
60-
--
61-
Occurs: 11 times
6257
Calling function: Process_Pragma_Declaration
6358
Error message: Unsupported pragma: Initializes
6459
Nkind: N_Pragma
6560
--
6661
Occurs: 10 times
62+
Calling function: Do_Constant
63+
Error message: Constant Type not in symbol table
64+
Nkind: N_Integer_Literal
65+
--
66+
Occurs: 10 times
6767
Calling function: Do_Type_Definition
6868
Error message: Unknown expression kind
6969
Nkind: N_Access_Function_Definition
@@ -73,11 +73,6 @@ Calling function: Process_Declaration
7373
Error message: Package declaration
7474
Nkind: N_Package_Declaration
7575
--
76-
Occurs: 9 times
77-
Calling function: Do_Function_Call
78-
Error message: func name not in symbol table
79-
Nkind: N_Function_Call
80-
--
8176
Occurs: 8 times
8277
Calling function: Do_Itype_Integer_Subtype
8378
Error message: Non-literal bound unsupported
@@ -99,16 +94,16 @@ Error message: Unsupported pragma: Global
9994
Nkind: N_Pragma
10095
--
10196
Occurs: 7 times
97+
Calling function: Do_Function_Call
98+
Error message: func name not in symbol table
99+
Nkind: N_Function_Call
100+
--
101+
Occurs: 7 times
102102
Calling function: Process_Declaration
103103
Error message: Generic instantiation declaration
104104
Nkind: N_Function_Instantiation
105105
--
106106
Occurs: 6 times
107-
Calling function: Do_Base_Range_Constraint
108-
Error message: range expression not bitvector type
109-
Nkind: N_Range
110-
--
111-
Occurs: 6 times
112107
Calling function: Process_Pragma_Declaration
113108
Error message: Unsupported pragma: Precondition
114109
Nkind: N_Pragma
@@ -149,11 +144,6 @@ Error message: Etype not a type
149144
Nkind: N_Identifier
150145
--
151146
Occurs: 2 times
152-
Calling function: Do_Procedure_Call_Statement
153-
Error message: sym id not in symbol table
154-
Nkind: N_Procedure_Call_Statement
155-
--
156-
Occurs: 2 times
157147
Calling function: Do_Type_Definition
158148
Error message: Unknown expression kind
159149
Nkind: N_Access_Procedure_Definition

‎experiments/golden-results/vct-summary.txt

+10-5
Original file line numberDiff line numberDiff line change
@@ -3,11 +3,6 @@ Calling function: Process_Declaration
33
Error message: Exception declaration
44
Nkind: N_Exception_Declaration
55
--
6-
Occurs: 32 times
7-
Calling function: Do_Base_Range_Constraint
8-
Error message: unsupported upper range kind
9-
Nkind: N_Identifier
10-
--
116
Occurs: 18 times
127
Calling function: Do_Operator_General
138
Error message: Concat unsupported
@@ -132,3 +127,13 @@ Occurs: 1 times
132127
+===========================GNAT BUG DETECTED==============================+
133128
| GNU Ada (ada2goto) Assert_Failure failed precondition from range_check.ads:29|
134129
| Error detected at system.ads:156:5 |
130+
--
131+
Occurs: 1 times
132+
+===========================GNAT BUG DETECTED==============================+
133+
| GNU Ada (ada2goto) Assert_Failure failed precondition from range_check.ads:29|
134+
| Error detected at system.ads:156:5 |
135+
--
136+
Occurs: 1 times
137+
+===========================GNAT BUG DETECTED==============================+
138+
| GNU Ada (ada2goto) Assert_Failure failed precondition from range_check.ads:29|
139+
| Error detected at system.ads:156:5 |

0 commit comments

Comments
 (0)