From 320296068bbb68baeb9ae591b4298bdf9921f9d5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr> Date: Fri, 4 Sep 2020 13:50:54 +0200 Subject: [PATCH] [Eva] Uses the deprecated alias -slevel in test value/summary. Tests the emitted warning on use of deprecated aliases. --- tests/value/oracle/summary.4.res.oracle | 2 ++ tests/value/summary.i | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/tests/value/oracle/summary.4.res.oracle b/tests/value/oracle/summary.4.res.oracle index 3e988afe488..7bfb7aff024 100644 --- a/tests/value/oracle/summary.4.res.oracle +++ b/tests/value/oracle/summary.4.res.oracle @@ -1,3 +1,5 @@ +[kernel] Warning: -slevel is a deprecated alias for option -eva-slevel. + Please use -eva-slevel instead. [kernel] Parsing tests/value/summary.i (no preprocessing) [rte] annotating function alarms [rte] annotating function bottom diff --git a/tests/value/summary.i b/tests/value/summary.i index d73b4b42d73..8d5d6efd3f5 100644 --- a/tests/value/summary.i +++ b/tests/value/summary.i @@ -3,7 +3,7 @@ STDOPT: +"-eva-msg-key=summary -main minimal" STDOPT: +"-eva-msg-key=summary -main bottom" STDOPT: +"-eva-msg-key=summary -main main" - STDOPT: +"-rte -eva-msg-key=summary -main main" + STDOPT: +"-rte -eva-msg-key=summary -main main -slevel 0" */ /* Tests the summary on the smallest possible program. */ -- GitLab