diff --git a/ivette/src/frama-c/plugins/eva/api/general/index.ts b/ivette/src/frama-c/plugins/eva/api/general/index.ts index 78ef1d0ddc13bb81fa4dc58927e653b717682a6a..c0b4c9817dbd9e0785d53e4d283e864498eb5d34 100644 --- a/ivette/src/frama-c/plugins/eva/api/general/index.ts +++ b/ivette/src/frama-c/plugins/eva/api/general/index.ts @@ -255,7 +255,7 @@ const getDeadCode_internal: Server.GetRequest<fct,deadCode> = { name: 'plugins.eva.general.getDeadCode', input: jFct, output: jDeadCode, - signals: [], + signals: [ { name: 'plugins.eva.general.signalComputationState' } ], }; /** Get the lists of unreachable and of non terminating statements in a function */ export const getDeadCode: Server.GetRequest<fct,deadCode>= getDeadCode_internal; diff --git a/src/plugins/eva/api/general_requests.ml b/src/plugins/eva/api/general_requests.ml index 6240f5be74f85e4b219665ce67416ec47d6f4e80..154a665086690e9a690098e76ea3544306915621 100644 --- a/src/plugins/eva/api/general_requests.ml +++ b/src/plugins/eva/api/general_requests.ml @@ -48,7 +48,7 @@ module ComputationState = struct | Aborted -> `String "aborted" end -let _computation_signal = +let computation_signal = States.register_value ~package ~name:"computationState" ~descr:(Markdown.plain "The current computation state of the analysis.") @@ -199,6 +199,7 @@ let () = Request.register ~package statements in a function") ~input:(module Kernel_ast.Function) ~output:(module DeadCode) + ~signals:[computation_signal] dead_code