Skip to content

Commit 031964e

Browse files
authored
Merge pull request #30 from jbj/incomplete-parity-check-medium
C++: Downgrade cpp/incomplete-parity-check from high to medium precision [CPP-236]
2 parents 8323a77 + dab45c5 commit 031964e

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

cpp/ql/src/Likely Bugs/Arithmetic/BadCheckOdd.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
* negative numbers.
55
* @kind problem
66
* @problem.severity warning
7-
* @precision high
7+
* @precision medium
88
* @id cpp/incomplete-parity-check
99
* @tags reliability
1010
* correctness

0 commit comments

Comments
 (0)