From 77bb6a6d54ad5065adb8fa0b22213bc8fdfae275 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 14 Jan 2022 22:21:52 +0100
Subject: [PATCH] [rte] Exports via dynamic the value [all_statuses], used by
Eva.
---
src/plugins/rte/register.ml | 9 +++++++++
1 file changed, 9 insertions(+)
diff --git a/src/plugins/rte/register.ml b/src/plugins/rte/register.ml
index 4b7e9022433..523f3a797a9 100644
--- a/src/plugins/rte/register.ml
+++ b/src/plugins/rte/register.ml
@@ -147,6 +147,15 @@ let _ignore =
~journalize:false
Visit.get_annotations_exp
+let _ignore =
+ let kf = Kernel_function.ty in
+ Dynamic.register
+ ~plugin:"RteGen"
+ "all_statuses"
+ Datatype.(list (triple string (func2 kf bool unit) (func kf bool)))
+ ~journalize:false
+ Generator.all_statuses
+
let main () =
(* reset "rte generated" properties for all functions *)
if Options.Enabled.get () then begin
--
GitLab