csharp/ql/test: update ModulusAnalysis test to use BigInt

github · Jun 27, 2024 · fe1b1eb · fe1b1eb
1 parent 127f28f
commit fe1b1eb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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()