diff --git a/csharp/ql/test/library-tests/dataflow/modulusanalysis/ModulusAnalysis.ql b/csharp/ql/test/library-tests/dataflow/modulusanalysis/ModulusAnalysis.ql index 02ffbc535ce85..184bfce9e236d 100644 --- a/csharp/ql/test/library-tests/dataflow/modulusanalysis/ModulusAnalysis.ql +++ b/csharp/ql/test/library-tests/dataflow/modulusanalysis/ModulusAnalysis.ql @@ -3,8 +3,8 @@ import semmle.code.csharp.dataflow.internal.rangeanalysis.RangeUtils import semmle.code.csharp.dataflow.ModulusAnalysis import semmle.code.csharp.dataflow.Bound -from ControlFlow::Nodes::ExprNode e, Bound b, int delta, int mod +from ControlFlow::Nodes::ExprNode e, Bound b, QlBuiltins::BigInt delta, QlBuiltins::BigInt mod where not e.getExpr().fromLibrary() and exprModulus(e, b, delta, mod) -select e, b.toString(), delta, mod +select e, b.toString(), delta.toString(), mod.toString()