Merge branch 'coverage' into 'devel'

Merge Coverage into devel See merge request !2

Merge branch 'coverage' into 'devel'
db1c58f5 · Guilhem Saurel · 982a0e0e · 6bde0edb · db1c58f5 · db1c58f5
Commit db1c58f5 authored 5 years ago by Guilhem Saurel
--- a/tests/real-time-logger.cpp
+++ b/tests/real-time-logger.cpp
--- a/tests/signal-all.cpp
+++ b/tests/signal-all.cpp
--- a/tests/signal-cast-registerer.cpp
+++ b/tests/signal-cast-registerer.cpp
--- a/tests/signal-ptr.cpp
+++ b/tests/signal-ptr.cpp
--- a/tests/signal-time-dependent.cpp
+++ b/tests/signal-time-dependent.cpp
--- a/tests/test-mt.cpp
+++ b/tests/test-mt.cpp
--- a/tests/value.cpp
+++ b/tests/value.cpp