We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent c4c7c95 commit d14b2c2Copy full SHA for d14b2c2
cpp/ql/test/library-tests/ir/range-analysis/RangeAnalysis.ql
@@ -17,7 +17,7 @@ class RangeAnalysisTest extends InlineExpectationsTest {
17
tag = "range" and
18
element = e.toString() and
19
location = e.getLocation() and
20
- value = getARangeString(e)
+ value = quote(getARangeString(e))
21
)
22
}
23
@@ -33,6 +33,9 @@ private string getOffsetString(int value) {
33
if value >= 0 then result = "+" + value.toString() else result = value.toString()
34
35
36
+bindingset[s]
37
+string quote(string s) { if s.matches("% %") then result = "\"" + s + "\"" else result = s }
38
+
39
bindingset[delta]
40
private string getBoundString(SemBound b, int delta) {
41
b instanceof SemZeroBound and result = delta.toString()
0 commit comments