From 115e505dcb1de5ec0883ffc1c9c20b93ca1791dd Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Wed, 30 Sep 2020 14:52:40 +0200
Subject: [PATCH] adds tests/metrics
---
tests/metrics/func_ptr.c | 4 ++--
tests/metrics/reach.c | 2 +-
tests/metrics/test_config | 2 +-
tests/metrics/unreachable.c | 2 +-
4 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/tests/metrics/func_ptr.c b/tests/metrics/func_ptr.c
index a120dc650f9..7752cc707be 100644
--- a/tests/metrics/func_ptr.c
+++ b/tests/metrics/func_ptr.c
@@ -1,6 +1,6 @@
/* run.config
- STDOPT: +"-metrics-eva-cover -metrics-cover main -load-module scope"
- STDOPT: +"-metrics-eva-cover -main foobar -metrics-cover foobar -load-module scope"
+ STDOPT: +"-metrics-eva-cover -metrics-cover main"
+ STDOPT: +"-metrics-eva-cover -main foobar -metrics-cover foobar"
**/
void (*bar) (int); extern void (*bar_extern) (int);
diff --git a/tests/metrics/reach.c b/tests/metrics/reach.c
index 6d97321828c..1fdcc0eb745 100644
--- a/tests/metrics/reach.c
+++ b/tests/metrics/reach.c
@@ -1,5 +1,5 @@
/* run.config
- STDOPT: +"-metrics-by-function -metrics-eva-cover -load-module scope"
+ STDOPT: +"-metrics-by-function -metrics-eva-cover"
**/
void (*bar) (int); void (*t[2])(int);
diff --git a/tests/metrics/test_config b/tests/metrics/test_config
index b962f245964..dc12a108121 100644
--- a/tests/metrics/test_config
+++ b/tests/metrics/test_config
@@ -1,2 +1,2 @@
PLUGIN: metrics
-OPT: -load-module scope -metrics
+OPT: -metrics
diff --git a/tests/metrics/unreachable.c b/tests/metrics/unreachable.c
index f841cf08abe..792ca4962b4 100644
--- a/tests/metrics/unreachable.c
+++ b/tests/metrics/unreachable.c
@@ -1,5 +1,5 @@
/* run.config
- STDOPT: +"-load-module scope -metrics-eva-cover -then -main foo"
+ STDOPT: +"-metrics-eva-cover -then -main foo"
**/
void foo () {
int i = 0;
--
GitLab