Skip to content

Commit 4c6b540

Browse files
Petr Bauchchrisr-diffblue
authored andcommitted
Update golden results
1 parent 39a25ea commit 4c6b540

File tree

6 files changed

+0
-35
lines changed

6 files changed

+0
-35
lines changed

experiments/golden-results/StratoX-summary.txt

Lines changed: 0 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -120,11 +120,6 @@ Nkind: N_Null
120120
--
121121
Occurs: 7 times
122122
Calling function: Process_Pragma_Declaration
123-
Error message: Unsupported pragma: Preelaborable Initialization
124-
Nkind: N_Pragma
125-
--
126-
Occurs: 7 times
127-
Calling function: Process_Pragma_Declaration
128123
Error message: Unsupported pragma: Suppress initialization
129124
Nkind: N_Pragma
130125
--
@@ -188,11 +183,6 @@ Calling function: Do_Procedure_Call_Statement
188183
Error message: sym id not in symbol table
189184
Nkind: N_Procedure_Call_Statement
190185
--
191-
Occurs: 2 times
192-
Calling function: Process_Pragma_Declaration
193-
Error message: Unsupported pragma: Warnings
194-
Nkind: N_Pragma
195-
--
196186
Occurs: 1 times
197187
Calling function: Do_Compilation_Unit
198188
Error message: Unknown tree node

experiments/golden-results/Tokeneer-summary.txt

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -18,11 +18,6 @@ Calling function: Process_Declaration
1818
Error message: Abstract subprogram declaration
1919
Nkind: N_Abstract_Subprogram_Declaration
2020
--
21-
Occurs: 14 times
22-
Calling function: Process_Pragma_Declaration
23-
Error message: Unsupported pragma: Preelaborable Initialization
24-
Nkind: N_Pragma
25-
--
2621
Occurs: 10 times
2722
Calling function: Do_Expression
2823
Error message: Unknown expression kind

experiments/golden-results/ksum-summary.txt

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -28,11 +28,6 @@ Calling function: Process_Pragma_Declaration
2828
Error message: Unsupported pragma: Ada 05
2929
Nkind: N_Pragma
3030
--
31-
Occurs: 1 times
32-
Calling function: Process_Pragma_Declaration
33-
Error message: Unsupported pragma: Preelaborable Initialization
34-
Nkind: N_Pragma
35-
--
3631
Occurs: 41 times
3732
Redacted compiler error message:
3833
file "REDACTED" not found

experiments/golden-results/libkeccak-summary.txt

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -23,11 +23,6 @@ Calling function: Do_Expression
2323
Error message: Unknown expression kind
2424
Nkind: N_Null
2525
--
26-
Occurs: 9 times
27-
Calling function: Process_Pragma_Declaration
28-
Error message: Unsupported pragma: Preelaborable Initialization
29-
Nkind: N_Pragma
30-
--
3126
Occurs: 8 times
3227
Calling function: Do_Private_Type_Declaration
3328
Error message: Abstract type declaration unsupported

experiments/golden-results/muen-summary.txt

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -23,11 +23,6 @@ Calling function: Process_Declaration
2323
Error message: Abstract subprogram declaration
2424
Nkind: N_Abstract_Subprogram_Declaration
2525
--
26-
Occurs: 20 times
27-
Calling function: Process_Pragma_Declaration
28-
Error message: Unsupported pragma: Preelaborable Initialization
29-
Nkind: N_Pragma
30-
--
3126
Occurs: 13 times
3227
Calling function: Process_Declaration
3328
Error message: Package declaration

experiments/golden-results/vct-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: 37 times
22-
Calling function: Process_Pragma_Declaration
23-
Error message: Unsupported pragma: Preelaborable Initialization
24-
Nkind: N_Pragma
25-
--
2621
Occurs: 27 times
2722
Calling function: Do_Operator_General
2823
Error message: Concat unsupported

0 commit comments

Comments
 (0)