Commit 71b93d1
Robert Marsh
C++: Make RangeAnalysis.qll expose the old API
1 parent fb1ef07 commit 71b93d1
1 file changed
Lines changed: 2 additions & 1 deletion
Lines changed: 2 additions & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
6 | | - | |
| 6 | + | |
| 7 | + | |
0 commit comments