Increments query counter for a given technique
(technique)
| 4918 | kb.counters[technique] = 0 |
| 4919 | |
| 4920 | def incrementCounter(technique): |
| 4921 | """ |
| 4922 | Increments query counter for a given technique |
| 4923 | """ |
| 4924 | |
| 4925 | kb.counters[technique] = getCounter(technique) + 1 |
| 4926 | |
| 4927 | def getCounter(technique): |
| 4928 | """ |
no test coverage detected
searching dependent graphs…