Skip to content

Commit 305c4de

Browse files
committed
Update golden results
1 parent 113e505 commit 305c4de

9 files changed

+210
-945
lines changed

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

+5-10
Original file line numberDiff line numberDiff line change
@@ -1,18 +1,13 @@
1+
Occurs: 49 times
2+
Calling function: Process_Declaration
3+
Error message: Pragmas in declaration
4+
Nkind: N_Pragma
5+
--
16
Occurs: 15 times
27
Calling function: Process_Declaration
38
Error message: Package declaration
49
Nkind: N_Package_Declaration
510
--
6-
Occurs: 10 times
7-
Calling function: Do_Base_Range_Constraint
8-
Error message: range expression not bitvector type
9-
Nkind: N_Range
10-
--
11-
Occurs: 9 times
12-
Calling function: Process_Pragma_Declaration
13-
Error message: Unsupported pragma: Volatile
14-
Nkind: N_Pragma
15-
--
1611
Occurs: 2 times
1712
Calling function: Process_Declaration
1813
Error message: Representation clause declaration

0 commit comments

Comments
 (0)