[eva] signal dead-code request after computation

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;

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