Skip to content

Commit 26061a2

Browse files
committed
Update golden results
1 parent a1c9386 commit 26061a2

File tree

8 files changed

+0
-55
lines changed

8 files changed

+0
-55
lines changed

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

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -4,11 +4,6 @@ Error message: Package declaration
44
Nkind: N_Package_Declaration
55
--
66
Occurs: 1 times
7-
Calling function: Process_Declaration
8-
Error message: Representation clause unsupported: component_size
9-
Nkind: N_Attribute_Definition_Clause
10-
--
11-
Occurs: 1 times
127
Redacted compiler error message:
138
"REDACTED" not declared in "REDACTED"
149
Raw compiler error message:

experiments/golden-results/StratoX-summary.txt

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -43,11 +43,6 @@ Calling function: Process_Pragma_Declaration
4343
Error message: Unsupported pragma: Check
4444
Nkind: N_Pragma
4545
--
46-
Occurs: 22 times
47-
Calling function: Process_Declaration
48-
Error message: Representation clause unsupported: component_size
49-
Nkind: N_Attribute_Definition_Clause
50-
--
5146
Occurs: 21 times
5247
Calling function: Process_Declaration
5348
Error message: Package body declaration

experiments/golden-results/Tokeneer-summary.txt

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -39,11 +39,6 @@ Error message: Abstract type declaration unsupported
3939
Nkind: N_Private_Type_Declaration
4040
--
4141
Occurs: 7 times
42-
Calling function: Process_Declaration
43-
Error message: Representation clause unsupported: component_size
44-
Nkind: N_Attribute_Definition_Clause
45-
--
46-
Occurs: 7 times
4742
Calling function: Process_Pragma_Declaration
4843
Error message: Unsupported pragma: Ada 05
4944
Nkind: N_Pragma

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

Lines changed: 0 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,3 @@
1-
Occurs: 42 times
2-
Calling function: Process_Declaration
3-
Error message: Representation clause unsupported: address
4-
Nkind: N_Attribute_Definition_Clause
5-
--
6-
Occurs: 8 times
7-
Calling function: Process_Declaration
8-
Error message: Representation clause unsupported: component_size
9-
Nkind: N_Attribute_Definition_Clause
10-
--
111
Occurs: 7 times
122
Calling function: Process_Declaration
133
Error message: Subprogram body stub declaration
@@ -38,16 +28,6 @@ Calling function: Do_Base_Range_Constraint
3828
Error message: unsupported upper range kind
3929
Nkind: N_Attribute_Reference
4030
--
41-
Occurs: 1 times
42-
Calling function: Do_Operator_General
43-
Error message: Mod of unsupported type
44-
Nkind: N_Op_Not
45-
--
46-
Occurs: 1 times
47-
Calling function: Process_Declaration
48-
Error message: Use package clause declaration
49-
Nkind: N_Use_Package_Clause
50-
--
5131
Occurs: 5 times
5232
Redacted compiler error message:
5333
"REDACTED" not declared in "REDACTED"

experiments/golden-results/ksum-summary.txt

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -24,11 +24,6 @@ Error message: Access type unsupported
2424
Nkind: N_Access_To_Object_Definition
2525
--
2626
Occurs: 1 times
27-
Calling function: Process_Declaration
28-
Error message: Representation clause unsupported: component_size
29-
Nkind: N_Attribute_Definition_Clause
30-
--
31-
Occurs: 1 times
3227
Calling function: Process_Pragma_Declaration
3328
Error message: Unsupported pragma: Ada 05
3429
Nkind: N_Pragma

experiments/golden-results/libkeccak-summary.txt

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -39,11 +39,6 @@ Error message: Abstract subprogram declaration
3939
Nkind: N_Abstract_Subprogram_Declaration
4040
--
4141
Occurs: 6 times
42-
Calling function: Process_Declaration
43-
Error message: Representation clause unsupported: component_size
44-
Nkind: N_Attribute_Definition_Clause
45-
--
46-
Occurs: 6 times
4742
Calling function: Process_Pragma_Declaration
4843
Error message: Unsupported pragma: Ada 05
4944
Nkind: N_Pragma

experiments/golden-results/muen-summary.txt

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -18,11 +18,6 @@ Calling function: Do_Private_Type_Declaration
1818
Error message: Abstract type declaration unsupported
1919
Nkind: N_Private_Type_Declaration
2020
--
21-
Occurs: 46 times
22-
Calling function: Process_Declaration
23-
Error message: Representation clause unsupported: component_size
24-
Nkind: N_Attribute_Definition_Clause
25-
--
2621
Occurs: 28 times
2722
Calling function: Process_Declaration
2823
Error message: Abstract subprogram declaration

experiments/golden-results/vct-summary.txt

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -58,11 +58,6 @@ Calling function: Do_Procedure_Call_Statement
5858
Error message: sym id not in symbol table
5959
Nkind: N_Procedure_Call_Statement
6060
--
61-
Occurs: 2 times
62-
Calling function: Process_Declaration
63-
Error message: Representation clause unsupported: component_size
64-
Nkind: N_Attribute_Definition_Clause
65-
--
6661
Occurs: 1 times
6762
Calling function: Do_Function_Call
6863
Error message: func name not in symbol table

0 commit comments

Comments
 (0)