slang::analysis::AnalysisOptions struct

Contains various options that can control analysis behavior.

Public variables

bitmask<AnalysisFlags> flags
Flags that control analysis behavior.
uint32_t numThreads
The number of threads to use for analysis.
uint32_t maxCaseAnalysisSteps
The maximum number of case analysis steps to perform before giving up.
uint32_t maxLoopAnalysisSteps
The maximum number of loop analysis steps to perform before giving up.