Skip to content

Commit dec9800

Browse files
committed
Update golden results after fixing faulty gnatcoll installation.
1 parent b188506 commit dec9800

File tree

1 file changed

+6
-11
lines changed

1 file changed

+6
-11
lines changed

experiments/golden-results/muen-summary.txt

Lines changed: 6 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -133,7 +133,7 @@ Redacted compiler error message:
133133
"REDACTED" not declared in "REDACTED"
134134
Raw compiler error message:
135135
--
136-
Occurs: 49 times
136+
Occurs: 51 times
137137
Redacted compiler error message:
138138
violation of restriction "REDACTED"
139139
Raw compiler error message:
@@ -243,6 +243,11 @@ Redacted compiler error message:
243243
file "REDACTED" not found
244244
Raw compiler error message:
245245
--
246+
Occurs: 5 times
247+
Redacted compiler error message:
248+
violation of restriction "REDACTED"
249+
Raw compiler error message:
250+
--
246251
Occurs: 4 times
247252
Redacted compiler error message:
248253
"REDACTED" depends on "REDACTED"
@@ -363,11 +368,6 @@ Redacted compiler error message:
363368
missing case values: 3 .. 16#7FFF_FFFF_FFFF_FFFF#
364369
Raw compiler error message:
365370
--
366-
Occurs: 3 times
367-
Redacted compiler error message:
368-
violation of restriction "REDACTED"
369-
Raw compiler error message:
370-
--
371371
Occurs: 2 times
372372
Redacted compiler error message:
373373
"REDACTED" depends on "REDACTED"
@@ -2730,11 +2730,6 @@ Raw compiler error message:
27302730
--
27312731
Occurs: 1 times
27322732
Redacted compiler error message:
2733-
file "REDACTED" not found
2734-
Raw compiler error message:
2735-
--
2736-
Occurs: 1 times
2737-
Redacted compiler error message:
27382733
incorrect spec in file "REDACTED" must be removed first
27392734
Raw compiler error message:
27402735
--

0 commit comments

Comments
 (0)