Loading...

Searching...

No Matches

interval_analysis.h

1/*******************************************************************\

2

3Module: Interval Analysis

4

5Author: Daniel Kroening, kroening@kroening.com

6

7\*******************************************************************/

8

11

12#ifndef CPROVER_ANALYSES_INTERVAL_ANALYSIS_H

13#define CPROVER_ANALYSES_INTERVAL_ANALYSIS_H

14

16

18

19#endif // CPROVER_ANALYSES_INTERVAL_ANALYSIS_H

Definition goto_model.h:27

void interval_analysis(goto_modelt &)

Initialises the abstract interpretation over interval domain and instruments instructions using inter...

Definition interval_analysis.cpp:90

CBMC: /home/runner/work/cbmc/cbmc/src/analyses/interval_analysis.h Source File