From d87b7217e361ca71021fae14ff06cba75261e1b9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 19 Jul 2022 09:32:14 +0200
Subject: [PATCH] [Eva] Renames file cvalue_specification into logic_inout.

This file will contain all functions used by the inout and from plugins to
interpret ACSL predicates and assigns clauses.
It is now in the legacy/ directory.
---
 .../cvalue/cvalue_specification.ml => legacy/logic_inout.ml}      | 0
 .../cvalue/cvalue_specification.mli => legacy/logic_inout.mli}    | 0
 2 files changed, 0 insertions(+), 0 deletions(-)
 rename src/plugins/eva/{domains/cvalue/cvalue_specification.ml => legacy/logic_inout.ml} (100%)
 rename src/plugins/eva/{domains/cvalue/cvalue_specification.mli => legacy/logic_inout.mli} (100%)

diff --git a/src/plugins/eva/domains/cvalue/cvalue_specification.ml b/src/plugins/eva/legacy/logic_inout.ml
similarity index 100%
rename from src/plugins/eva/domains/cvalue/cvalue_specification.ml
rename to src/plugins/eva/legacy/logic_inout.ml
diff --git a/src/plugins/eva/domains/cvalue/cvalue_specification.mli b/src/plugins/eva/legacy/logic_inout.mli
similarity index 100%
rename from src/plugins/eva/domains/cvalue/cvalue_specification.mli
rename to src/plugins/eva/legacy/logic_inout.mli
-- 
GitLab