diff --git a/Makefile b/Makefile index 1d3cfe676109d41e66e254f48366a4cf8de5ea9a..52e3811f8abcb4f7424e39e478c402709dddb61b 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 30fabd2f859996f67eb92f20c14e5b93c4480488..3a1220865cb99a6b5822610a50b0eecb14d6bdaa 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 fb836c63fe91ebec1d00f1f0ee0167b5798d3634..d2547a163c9d4864d251c1c57cfc56c9b7d3867e 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 7a3ee6fce2c11ce77d23ebb8ded732154b1aa4d6..9801e7ae8bcc547ec249592437f78743583f7d3b 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) *) (* *)