[tests] merge segment-only and runtime

7f0440a9 · Julien Signoles · dfd916d4 · 7f0440a9 · 7f0440a9 · 7f0440a9
Commit 7f0440a9 authored 5 years ago by Julien Signoles
--- a/src/plugins/e-acsl/tests/segment-only/constructor.c
+++ b/src/plugins/e-acsl/tests/segment-only/constructor.c
--- a/src/plugins/e-acsl/tests/segment-only/oracle/constructor.res.oracle
+++ b/src/plugins/e-acsl/tests/segment-only/oracle/constructor.res.oracle
--- a/src/plugins/e-acsl/tests/segment-only/oracle/gen_constructor.c
+++ b/src/plugins/e-acsl/tests/segment-only/oracle/gen_constructor.c