diff --git a/tests/meta-wp/oracle/uncalled.res.oracle b/tests/meta-wp/oracle/uncalled.res.oracle
index ea32840f074daf5a5fe1be88dd670f5eb3783837..b00a8d5b3fa5c2d144cc39c8e232e921768fdbf4 100644
--- a/tests/meta-wp/oracle/uncalled.res.oracle
+++ b/tests/meta-wp/oracle/uncalled.res.oracle
@@ -7,11 +7,8 @@
 [wp] Warning: Missing RTE guards
 [wp] Warning: No goal generated
 [eva] Analyzing a complete application starting at main
-[eva] Computing initial state
-[eva] Initial state computed
 [eva:initial-state] Values of globals at initialization
   
-[eva] done for function main
 [eva] ====== VALUES COMPUTED ======
 [eva:final-states] Values at end of function called: