Skip to content

Commit 400910e

Browse files
committed
C++: Fix modulus analysis test.
1 parent f8ab64d commit 400910e

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

cpp/ql/test/library-tests/ir/modulus-analysis/ModulusAnalysis.ql

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
import cpp
2-
import semmle.code.cpp.rangeanalysis.new.internal.semantic.analysis.ModulusAnalysis
2+
import codeql.rangeanalysis.ModulusAnalysis
33
import semmle.code.cpp.rangeanalysis.new.internal.semantic.Semantic
4+
import semmle.code.cpp.rangeanalysis.new.internal.semantic.SemanticLocation
45
import semmle.code.cpp.rangeanalysis.new.internal.semantic.analysis.RangeUtils
56
import semmle.code.cpp.rangeanalysis.new.internal.semantic.analysis.FloatDelta
67
import semmle.code.cpp.rangeanalysis.new.internal.semantic.analysis.RangeAnalysisRelativeSpecific
@@ -10,7 +11,8 @@ import semmle.code.cpp.ir.IR as IR
1011
import TestUtilities.InlineExpectationsTest
1112

1213
module ModulusAnalysisInstantiated =
13-
ModulusAnalysis<FloatDelta, ConstantBounds, RangeUtil<FloatDelta, CppLangImplRelative>>;
14+
ModulusAnalysis<SemLocation, Sem, FloatDelta, ConstantBounds,
15+
RangeUtil<FloatDelta, CppLangImplRelative>>;
1416

1517
module ModulusAnalysisTest implements TestSig {
1618
string getARelevantTag() { result = "mod" }

0 commit comments

Comments
 (0)