Uses of Class edu.berkeley.cs.jqf.fuzz.util.Coverage (jqf 2.0 API)

Packages that use Coverage
Package Description

edu.berkeley.cs.jqf.fuzz.random

edu.berkeley.cs.jqf.fuzz.repro

edu.berkeley.cs.jqf.fuzz.util
- Uses of Coverage in edu.berkeley.cs.jqf.fuzz.random
  
  Methods in edu.berkeley.cs.jqf.fuzz.random that return Coverage
  Modifier and Type Method Description
  
  Coverage NoGuidance.getCoverage()
  Returns a reference to the coverage statistics.
- Uses of Coverage in edu.berkeley.cs.jqf.fuzz.repro
  
  Fields in edu.berkeley.cs.jqf.fuzz.repro declared as Coverage
  Modifier and Type Field Description
  
  protected Coverage ReproServerGuidance.coverage
  
  Methods in edu.berkeley.cs.jqf.fuzz.repro that return Coverage
  Modifier and Type Method Description
  
  Coverage ReproGuidance.getCoverage()
  Returns a reference to the coverage statistics.
- Uses of Coverage in edu.berkeley.cs.jqf.fuzz.util
  
  Methods in edu.berkeley.cs.jqf.fuzz.util that return Coverage
  Modifier and Type Method Description
  
  Coverage Coverage.copy()
  Creates a copy of an this coverage map.