diff --git a/tests/misc/oracle/ulevel.res.oracle b/tests/misc/oracle/ulevel.res.oracle
index 8c985ade07737ebb5447af9211ea40365e3309cb..1555db749019d0caa29606fdbb2d8113b623c435 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 1f6833afd71361621b270143335b2c90fea0fec9..dbfc67d7c9082ea9ccc854eab15ae0d2e7743a6e 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