Frama-C API - Analysis_requests
Registers a function called each time the computation state of Eva changes.
val computation_signal : Server.Request.signalSignal emitted each time the computation state of Eva changes.
Frama-C Frama-C Analysis_requestsRegisters a function called each time the computation state of Eva changes.
val computation_signal : Server.Request.signalSignal emitted each time the computation state of Eva changes.