From c38e40a96c798be2a1aea53310501e23b58ec3e9 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Thu, 12 Dec 2024 15:18:35 +0100
Subject: [PATCH] [Eva] add correctness and tuning dependencies to emitter
---
src/plugins/eva/utils/export.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/eva/utils/export.ml b/src/plugins/eva/utils/export.ml
index 7b5595771ce..3f84f2a1f85 100644
--- a/src/plugins/eva/utils/export.ml
+++ b/src/plugins/eva/utils/export.ml
@@ -255,8 +255,8 @@ let is_dead stmt = Results.is_empty @@ Results.before stmt
let emitter = Emitter.create "Eva_export"
[ Emitter.Code_annot ]
- ~correctness:[]
- ~tuning:[]
+ ~correctness:Parameters.parameters_correctness
+ ~tuning:Parameters.parameters_tuning
let generator () : visitor =
object(self)
--
GitLab