Analysis Results

Designed for use with PDT and TPTP.

Summary

ResultsSeveresWarningsRecommendations
0000
Note: There are three basic modes of severity: recommendation, warning and severe. They can be used to indicate to the user how important it is to address the results produced.

Packages

NameResultsSeveresWarningsRecommendations