Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Commit 7ad7e29

Browse filesBrowse files
committed
csharp/ql/test: update ModulusAnalysis test to use BigInt
1 parent 25cdc81 commit 7ad7e29
Copy full SHA for 7ad7e29

File tree

1 file changed

+2
-2
lines changed
Filter options

1 file changed

+2
-2
lines changed

‎csharp/ql/test/library-tests/dataflow/modulusanalysis/ModulusAnalysis.ql

Copy file name to clipboardExpand all lines: csharp/ql/test/library-tests/dataflow/modulusanalysis/ModulusAnalysis.ql
+2-2Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,8 @@ import semmle.code.csharp.dataflow.internal.rangeanalysis.RangeUtils
33
import semmle.code.csharp.dataflow.ModulusAnalysis
44
import semmle.code.csharp.dataflow.Bound
55

6-
from ControlFlow::Nodes::ExprNode e, Bound b, int delta, int mod
6+
from ControlFlow::Nodes::ExprNode e, Bound b, QlBuiltins::BigInt delta, QlBuiltins::BigInt mod
77
where
88
not e.getExpr().fromLibrary() and
99
exprModulus(e, b, delta, mod)
10-
select e, b.toString(), delta, mod
10+
select e, b.toString(), delta.toString(), mod.toString()

0 commit comments

Comments
0 (0)
Morty Proxy This is a proxified and sanitized view of the page, visit original site.