dk.brics.tajs.monitoring.soundness.postprocessing

Classes

• CategorizedSoundnessCheckResults
• SoundnessCheckCounts
• SoundnessTesterPerformance
• SoundnessTesterStatistics
• SoundnessTesterStatistics.EasyPersistence
• SoundnessTesterStatistics.Persistence
• SoundnessTesterStatistics.TestResult
• SoundnessTestResult

Enums

• SoundnessTesterStatistics.TestResult.CheckResultKind