public class SoundnessTesterPerformance
extends java.lang.Object
Constructor and Description |
---|
SoundnessTesterPerformance(java.nio.file.Path mainFile,
java.util.Map<TypeCollector.VariableSummary,Value> type_map,
FlowGraph flowgraph) |
Modifier and Type | Method and Description |
---|---|
void |
beginSetup() |
void |
endSetupStartTest() |
void |
endTest() |
void |
reportPerformance(java.util.Set<Pair<dk.au.cs.casa.jer.entries.SourceLocation,SourceLocation>> sourceLocationEqualities,
CategorizedSoundnessCheckResults categorized,
SoundnessCheckCounts rawCounts) |
public SoundnessTesterPerformance(java.nio.file.Path mainFile, java.util.Map<TypeCollector.VariableSummary,Value> type_map, FlowGraph flowgraph)
public void beginSetup()
public void endSetupStartTest()
public void endTest()
public void reportPerformance(java.util.Set<Pair<dk.au.cs.casa.jer.entries.SourceLocation,SourceLocation>> sourceLocationEqualities, CategorizedSoundnessCheckResults categorized, SoundnessCheckCounts rawCounts)
Copyright © 2009-2019 Aarhus University