Skip to content

Commit 9329595

Browse files
committed
csharp/ql/test: update ModulusAnalysis test to use BigInt
1 parent 75f825e commit 9329595

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

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

+2-2
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)