From 9768bdeaa640c135816bca90cf23b10f933784b8 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 3 Jun 2021 17:12:34 +0200
Subject: [PATCH] [tests] add PLUGIN directive following !3153

---
 tests/misc/oracle/ulevel.res.oracle | 2 +-
 tests/misc/ulevel.i                 | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/tests/misc/oracle/ulevel.res.oracle b/tests/misc/oracle/ulevel.res.oracle
index 8c985ade077..1555db74901 100644
--- a/tests/misc/oracle/ulevel.res.oracle
+++ b/tests/misc/oracle/ulevel.res.oracle
@@ -4,8 +4,8 @@
 [eva] Initial state computed
 [eva:initial-state] Values of globals at initialization
   
+[eva] tests/misc/ulevel.i:13: starting to merge loop iterations
 [eva] tests/misc/ulevel.i:12: starting to merge loop iterations
-[eva] tests/misc/ulevel.i:11: starting to merge loop iterations
 [eva] done for function main
 [eva] ====== VALUES COMPUTED ======
 [eva:final-states] Values at end of function main:
diff --git a/tests/misc/ulevel.i b/tests/misc/ulevel.i
index 1f6833afd71..dbfc67d7c90 100644
--- a/tests/misc/ulevel.i
+++ b/tests/misc/ulevel.i
@@ -1,5 +1,6 @@
 /* run.config
-   OPT: -then -ulevel-force -eva
+  PLUGIN: @EVA_PLUGINS@
+  OPT: -then -ulevel-force -eva
  */
 
 /* Tests the syntaxic loop unrolling when triggered by an option change
-- 
GitLab