diff --git a/src/plugins/value/api/general_requests.ml b/src/plugins/value/api/general_requests.ml index abf821d1d69063f79af1cc14354030b3920ae856..bbb5c95724375e6306e6e47c70497fcd2c28e9f5 100644 --- a/src/plugins/value/api/general_requests.ml +++ b/src/plugins/value/api/general_requests.ml @@ -31,6 +31,12 @@ let package = ~readme:"eva.md" () +let () = Request.register ~package + ~kind:`GET ~name:"isComputed" + ~descr:(Markdown.plain "True if the Eva analysis has been done") + ~input:(module Data.Junit) ~output:(module Data.Jbool) + Db.Value.is_computed + let is_computed kf = Db.Value.is_computed () && match kf with