Merge branch 'fix/eva/show-progress' into 'master'

Updates test oracle according to Eva changes.

See merge request frama-c/meta!82

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: