From ed91c31c73e465d987bbd56e2f4202ff2d763eb8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 15 Apr 2019 15:05:15 +0200
Subject: [PATCH] [Eva] Removes unused oracle.

---
 tests/misc/oracle/unroll_annots.res.oracle | 32 ----------------------
 1 file changed, 32 deletions(-)
 delete mode 100644 tests/misc/oracle/unroll_annots.res.oracle

diff --git a/tests/misc/oracle/unroll_annots.res.oracle b/tests/misc/oracle/unroll_annots.res.oracle
deleted file mode 100644
index 0e37020e665..00000000000
--- a/tests/misc/oracle/unroll_annots.res.oracle
+++ /dev/null
@@ -1,32 +0,0 @@
-[kernel] Parsing tests/misc/unroll_annots.c (with preprocessing)
-[eva] Analyzing a complete application starting at main
-[eva] Computing initial state
-[eva] Initial state computed
-[eva:initial-state] Values of globals at initialization
-  a[0..9] ∈ {0}
-  b[0..9] ∈ {0}
-[eva:loop-unroll] tests/misc/unroll_annots.c:8: loop not completely unrolled
-[eva] tests/misc/unroll_annots.c:8: starting to merge loop iterations
-[eva:loop-unroll] tests/misc/unroll_annots.c:14: loop not completely unrolled
-[eva] tests/misc/unroll_annots.c:14: starting to merge loop iterations
-[eva] tests/misc/unroll_annots.c:16: starting to merge loop iterations
-[eva] Recording results for main
-[eva] done for function main
-[eva] ====== VALUES COMPUTED ======
-[eva:final-states] Values at end of function main:
-  a[0..9] ∈ {42}
-  b[0..9] ∈ {42}
-  __retres ∈ {0}
-[from] Computing for function main
-[from] Done for function main
-[from] ====== DEPENDENCIES COMPUTED ======
-  These dependencies hold at termination for the executions that terminate:
-[from] Function main:
-  a[0..9] FROM \nothing (and SELF)
-  b[0..9] FROM \nothing (and SELF)
-  \result FROM \nothing
-[from] ====== END OF DEPENDENCIES ======
-[inout] Out (internal) for function main:
-    a[0..9]; b[0..9]; i; j; i_0; j_0; __retres
-[inout] Inputs for function main:
-    \nothing
-- 
GitLab