Loading...
Searching...
No Matches
interval_analysis.h File Reference
Interval Analysis.
More...
+ This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Initialises the abstract interpretation over interval domain and instruments instructions using interval assumptions.
Detailed Description
Function Documentation
◆ interval_analysis()
Initialises the abstract interpretation over interval domain and instruments instructions using interval assumptions.
- Parameters
-
[out] goto_model Input code as goto_model.
Definition at line 90 of file interval_analysis.cpp.
