Stats struct
#include <slang/analysis/AnalysisManager.h>
A collection of stats related to analysis.
Public variables
- size_t memoryUsage
- An estimate of the number of bytes allocated during analysis.
- size_t numProcedures
- The number of procedures analyzed.
- size_t numAssertions
- The number of assertions analyzed.
- size_t numScopes
- The number of scopes analyzed.