From bd76d73825f17905c1acd8009f49d8042becffa8 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 10 Mar 2020 10:06:26 +0100
Subject: [PATCH] [tests] oracle

---
 tests/bugs/oracle/logiccast.res.oracle | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/tests/bugs/oracle/logiccast.res.oracle b/tests/bugs/oracle/logiccast.res.oracle
index a8901131..93fad409 100644
--- a/tests/bugs/oracle/logiccast.res.oracle
+++ b/tests/bugs/oracle/logiccast.res.oracle
@@ -3,10 +3,10 @@ Now output intermediate result
 [wp] Running WP plugin...
 [wp] Warning: Missing RTE guards
 [wp] 2 goals scheduled
-[wp] [Alt-Ergo] Goal typed_Z1nPc_assert : Unknown
-[wp] [Alt-Ergo] Goal typed_Z1mPv_assert : Unknown
+[wp] [Alt-Ergo] Goal typed_Z1nPc_assert : Timeout
+[wp] [Alt-Ergo] Goal typed_Z1mPv_assert : Timeout
 [wp] Proved goals:    0 / 2
-  Alt-Ergo:    0  (unknown: 2)
+  Alt-Ergo:    0  (interrupted: 2)
 [wp] Warning: Memory model hypotheses for function '_Z1mPv':
   /*@ behavior typed: requires \separated(&base,r+(..)); */
   void _Z1mPv(void *r);
-- 
GitLab