AnalysisOptions class
Special methods
- def __init__(self, /) -> None
Properties
- flags: AnalysisFlags get set
- maxCaseAnalysisSteps: int get set
- maxLoopAnalysisSteps: int get set
- numThreads: int get set
Search for modules, classes, functions and other
symbols. You can omit any prefix from the symbol path; adding a .
suffix lists all members of given symbol.
Use ↓ / ↑ to navigate through the list, Enter to go. Tab autocompletes common prefix, you can copy a link to the result using ⌘ L while ⌘ M produces a Markdown link.