From 81d0503a45b0d1861145bde2098858ac262309f8 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 26 Nov 2021 09:07:39 +0100
Subject: [PATCH] [tests] update oracle

Since this test is supposed to check the order in which globals are presented
after AST reordering, such oracle changes must be considered carefully. Here,
there's no dependency between `j` and `k`, so that they can indeed be swapped.
This in fact better reflect the original global list before reordering

NB: `l` is always at the very top of the list, despite being inserted last. This
might warrant investigation at some point. However, the resulting AST after
reordering is correct, which is the main goal.
---
 tests/syntax/oracle/reorder.res.oracle | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/syntax/oracle/reorder.res.oracle b/tests/syntax/oracle/reorder.res.oracle
index 446708bfa1c..44b5d5c8aa5 100644
--- a/tests/syntax/oracle/reorder.res.oracle
+++ b/tests/syntax/oracle/reorder.res.oracle
@@ -30,10 +30,10 @@ void g(void);
 /*@ logic ℤ l= 1;
  */
 int x;
-/*@ logic ℤ k= l;
- */
 /*@ logic ℤ j= l;
  */
+/*@ logic ℤ k= l;
+ */
 /*@ logic ℤ i= j + k;
  */
 /*@ ensures i ≡ i; */
-- 
GitLab