Source file eva_analysis.ml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
# 1 "src/plugins/rte/eva_analysis.enabled.ml"
let is_available = true
let is_computed kf =
Eva.Analysis.is_computed () &&
match Eva.Analysis.status kf with
| Eva.Analysis.Analyzed _ -> true
| _ -> false