Searched refs:variableCounter (Results 1 – 1 of 1) sorted by relevance
22 private int variableCounter = 0; field in AutofuzzCodegenVisitor69 return String.format("autofuzzVariable%s", variableCounter++); in uniqueVariableName()