Skip to content

Commit be0ce1b

Browse files
committed
Merge branch 'topic/gnatcheck/update_multiple_rule_files_test_case' into 'master'
Update the test case about having multiple "--rule-file" switches in the command-line See merge request eng/libadalang/langkit-query-language!486
2 parents 3c1bdd8 + 8d2bc42 commit be0ce1b

File tree

2 files changed

+5
-36
lines changed

2 files changed

+5
-36
lines changed
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
procedure Main is
22
begin
3-
null; -- FLAG
3+
null; -- NOFLAG
44
goto lbl; -- NOFLAG
55
<<lbl>>
66
end Main;
Lines changed: 4 additions & 35 deletions
Original file line numberDiff line numberDiff line change
@@ -1,35 +1,4 @@
1-
1. Summary
2-
3-
fully compliant sources : 0
4-
sources with exempted violations only : 0
5-
sources with non-exempted violations : 1
6-
unverified sources : 0
7-
total sources : 1
8-
ignored sources : 0
9-
10-
non-exempted violations : 1
11-
rule exemption warnings : 0
12-
compilation errors : 0
13-
exempted violations : 0
14-
internal errors : 0
15-
16-
2. Exempted Coding Standard Violations
17-
18-
no exempted violations detected
19-
20-
3. Non-exempted Coding Standard Violations
21-
22-
main.adb:3:04: rule violation: redundant null statement
23-
24-
4. Rule exemption problems
25-
26-
no rule exemption problems detected
27-
28-
5. Language violations
29-
30-
no language violations detected
31-
32-
6. Gnatcheck internal errors
33-
34-
no internal error detected
35-
1+
testsuite_driver: No output file generated by gnatcheck
2+
gnatcheck: error: invalid switch: --rule-file
3+
try "gnatcheck --help" for more information.
4+
>>>program returned status code 2

0 commit comments

Comments
 (0)