Extend copyright check to support TeX comment markers

model-checking · Sep 4, 2024 · 7c86371 · 7c86371
1 parent c3251fe
commit 7c86371
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/scripts/ci/copyright_check.py b/scripts/ci/copyright_check.py
@@ -8,15 +8,15 @@
 from itertools import chain
 
 
-COMMENT_OR_EMPTY_PATTERN = '^(//.*$|#.*$|\\s*$)'
+COMMENT_OR_EMPTY_PATTERN = '^(//.*$|#.*$|%.*$|\\s*$)'
 
-STANDARD_HEADER_PATTERN_1 = '(//|#) Copyright Kani Contributors'
-STANDARD_HEADER_PATTERN_2 = '(//|#) SPDX-License-Identifier: Apache-2.0 OR MIT'
+STANDARD_HEADER_PATTERN_1 = '(//|#|%) Copyright Kani Contributors'
+STANDARD_HEADER_PATTERN_2 = '(//|#|%) SPDX-License-Identifier: Apache-2.0 OR MIT'
 
-MODIFIED_HEADER_PATTERN_1 = '(//|#) SPDX-License-Identifier: Apache-2.0 OR MIT'
+MODIFIED_HEADER_PATTERN_1 = '(//|#|%) SPDX-License-Identifier: Apache-2.0 OR MIT'
 MODIFIED_HEADER_PATTERN_2 = COMMENT_OR_EMPTY_PATTERN
-MODIFIED_HEADER_PATTERN_3 = '(//|#) Modifications Copyright Kani Contributors'
-MODIFIED_HEADER_PATTERN_4 = '(//|#) See GitHub history for details.'
+MODIFIED_HEADER_PATTERN_3 = '(//|#|%) Modifications Copyright Kani Contributors'
+MODIFIED_HEADER_PATTERN_4 = '(//|#|%) See GitHub history for details.'
 
 class CheckResult(Enum):
  FAIL = 1