struct
AnalysisOptionsContains 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.