From d95eb508b1821330e00edb781c63fcaee25d5fd3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 6 Sep 2019 10:47:32 +0200
Subject: [PATCH] [Eva] Removes the domain/traces directory.
The traces domain has only one file, moved into the domains directory.
---
Makefile | 4 ++--
headers/header_spec.txt | 4 ++--
src/plugins/value/domains/{traces => }/traces_domain.ml | 2 +-
src/plugins/value/domains/{traces => }/traces_domain.mli | 2 +-
4 files changed, 6 insertions(+), 6 deletions(-)
rename src/plugins/value/domains/{traces => }/traces_domain.ml (99%)
rename src/plugins/value/domains/{traces => }/traces_domain.mli (97%)
diff --git a/Makefile b/Makefile
index 1d3cfe67610..52e3811f8ab 100644
--- a/Makefile
+++ b/Makefile
@@ -815,7 +815,7 @@ PLUGIN_NAME:=Eva
PLUGIN_DIR:=src/plugins/value
PLUGIN_EXTRA_DIRS:=engine values domains domains/cvalue domains/apron \
domains/gauges domains/equality legacy slevel utils gui_files \
- values/numerors domains/numerors domains/traces
+ values/numerors domains/numerors
PLUGIN_TESTS_DIRS+=value/traces
# Files for the binding to Apron domains. Only available if Apron is available.
@@ -887,9 +887,9 @@ PLUGIN_CMO:= slevel/split_strategy value_parameters \
domains/domain_store domains/domain_builder \
domains/domain_product domains/domain_lift domains/unit_domain \
domains/printer_domain \
+ domains/traces_domain \
domains/simple_memory \
domains/gauges/gauges_domain \
- domains/traces/traces_domain \
domains/apron/apron_domain \
domains/hcexprs \
domains/equality/equality domains/equality/equality_domain \
diff --git a/headers/header_spec.txt b/headers/header_spec.txt
index 30fabd2f859..3a1220865cb 100644
--- a/headers/header_spec.txt
+++ b/headers/header_spec.txt
@@ -1185,8 +1185,8 @@ src/plugins/value/domains/equality/equality_domain.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/equality/equality_domain.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/gauges/gauges_domain.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/gauges/gauges_domain.mli: CEA_LGPL_OR_PROPRIETARY
-src/plugins/value/domains/traces/traces_domain.ml: CEA_LGPL_OR_PROPRIETARY
-src/plugins/value/domains/traces/traces_domain.mli: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/domains/traces_domain.ml: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/domains/traces_domain.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/hcexprs.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/hcexprs.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/inout_domain.ml: CEA_LGPL_OR_PROPRIETARY
diff --git a/src/plugins/value/domains/traces/traces_domain.ml b/src/plugins/value/domains/traces_domain.ml
similarity index 99%
rename from src/plugins/value/domains/traces/traces_domain.ml
rename to src/plugins/value/domains/traces_domain.ml
index fb836c63fe9..d2547a163c9 100644
--- a/src/plugins/value/domains/traces/traces_domain.ml
+++ b/src/plugins/value/domains/traces_domain.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2007-2018 *)
+(* Copyright (C) 2007-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/value/domains/traces/traces_domain.mli b/src/plugins/value/domains/traces_domain.mli
similarity index 97%
rename from src/plugins/value/domains/traces/traces_domain.mli
rename to src/plugins/value/domains/traces_domain.mli
index 7a3ee6fce2c..9801e7ae8bc 100644
--- a/src/plugins/value/domains/traces/traces_domain.mli
+++ b/src/plugins/value/domains/traces_domain.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2007-2018 *)
+(* Copyright (C) 2007-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
--
GitLab