Skip to content

Commit 6c0bf21

Browse files
committed
Updated golden-results
Changes due to more text being parsed introducing further errors
1 parent 41356c6 commit 6c0bf21

File tree

3 files changed

+32
-2
lines changed

3 files changed

+32
-2
lines changed

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

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,11 @@ Calling function: Process_Declaration
33
Error message: Package declaration
44
Nkind: N_Package_Declaration
55
--
6+
Occurs: 4 times
7+
Calling function: Process_Pragma_Declaration
8+
Error message: Unknown pragma
9+
Nkind: N_Pragma
10+
--
611
Occurs: 1 times
712
Redacted compiler error message:
813
"REDACTED" not declared in "REDACTED"

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

Lines changed: 22 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,24 +1,44 @@
1-
Occurs: 27 times
1+
Occurs: 47 times
22
Calling function: Do_Expression
33
Error message: Unknown expression kind
44
Nkind: N_Expanded_Name
55
--
6-
Occurs: 3 times
6+
Occurs: 20 times
7+
Calling function: Do_Expression
8+
Error message: In
9+
Nkind: N_In
10+
--
11+
Occurs: 15 times
712
Calling function: Do_While_Statement
813
Error message: Wrong Nkind spec
914
Nkind: N_Loop_Statement
1015
--
16+
Occurs: 3 times
17+
Calling function: Do_Base_Range_Constraint
18+
Error message: unsupported upper range kind
19+
Nkind: N_Op_Add
20+
--
1121
Occurs: 1 times
1222
Calling function: Do_Base_Range_Constraint
1323
Error message: unsupported lower range kind
1424
Nkind: N_Attribute_Reference
1525
--
1626
Occurs: 1 times
1727
Calling function: Do_Base_Range_Constraint
28+
Error message: unsupported lower range kind
29+
Nkind: N_Selected_Component
30+
--
31+
Occurs: 1 times
32+
Calling function: Do_Base_Range_Constraint
1833
Error message: unsupported upper range kind
1934
Nkind: N_Attribute_Reference
2035
--
2136
Occurs: 1 times
37+
Calling function: Do_Base_Range_Constraint
38+
Error message: unsupported upper range kind
39+
Nkind: N_Selected_Component
40+
--
41+
Occurs: 1 times
2242
Calling function: Do_Expression
2343
Error message: Unknown expression kind
2444
Nkind: N_Range

experiments/golden-results/muen-summary.txt

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -134,6 +134,11 @@ Error message: Generic declaration
134134
Nkind: N_Generic_Subprogram_Declaration
135135
--
136136
Occurs: 2 times
137+
Calling function: Do_Expression
138+
Error message: Unknown expression kind
139+
Nkind: N_Expanded_Name
140+
--
141+
Occurs: 2 times
137142
Calling function: Do_Type_Definition
138143
Error message: Unknown expression kind
139144
Nkind: N_Access_Procedure_Definition

0 commit comments

Comments
 (0)