Skip to content

Commit

Permalink
Add performance tests for LKQL check
Browse files Browse the repository at this point in the history
"one rule perf test" will now use the LKQL check executable. Also added
a test which uses the GNATcheck executable and run all rules on
GNATCOLL.
  • Loading branch information
HugoGGuerrier committed Apr 4, 2024
1 parent 07ad1a1 commit eb7161c
Show file tree
Hide file tree
Showing 10 changed files with 56 additions and 21 deletions.
6 changes: 5 additions & 1 deletion testsuite/drivers/checker_driver.py
Original file line number Diff line number Diff line change
Expand Up @@ -21,6 +21,7 @@ class CheckerDriver(BaseDriver):
- rule_arguments: A dict mapping rule argument names to their values
"""

perf_supported = True
flag_checking_supported = True

def run(self) -> None:
Expand All @@ -44,7 +45,10 @@ def run(self) -> None:
args += ['--keep-going-on-missing-file']

# Run the checker
self.check_run(args)
if self.perf_mode:
self.perf_run(args)
else:
self.check_run(args)

def parse_flagged_lines(self, output: str) -> Flags:
# Compile the pattern to match a checker output
Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
driver: checker
project: gnatcoll.gpr
rule_name: integer_types_as_enum

perf:
default: 1
profile-time: true
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
driver: checker
project: gnatcoll.gpr
rule_name: outside_references_from_subprograms

perf:
default: 1
profile-time: true
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
driver: checker
project: gnatcoll.gpr
rule_name: recursive_subprograms

perf:
default: 1
profile-time: true
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
driver: checker
project: gnatcov.gpr
rule_name: integer_types_as_enum

perf:
default: 1
profile-time: true
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
driver: checker
project: gnatcov.gpr
rule_name: outside_references_from_subprograms

perf:
default: 1
profile-time: true
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
driver: checker
project: gnatcov.gpr
rule_name: recursive_subprograms

perf:
default: 1
profile-time: true
9 changes: 9 additions & 0 deletions testsuite/tests/perf/gnatcheck/test.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
driver: gnatcheck
project: gnatcoll.gpr
rules:
- +ALL
timeout: 1200

perf:
default: 1
profile-time: false
10 changes: 0 additions & 10 deletions testsuite/tests/perf/gnatcoll/test.yaml

This file was deleted.

10 changes: 0 additions & 10 deletions testsuite/tests/perf/gnatcoverage/test.yaml

This file was deleted.

0 comments on commit eb7161c

Please sign in to comment.