From fdc356e476e8cd6115d15b76dc5e9718dca93118 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 19 Jul 2024 11:42:03 +0200
Subject: [PATCH] [Eva] Reverts unnecessary changes.
---
src/plugins/eva/api/general_requests.ml | 3 ---
src/plugins/eva/parameters.mli | 3 ---
2 files changed, 6 deletions(-)
diff --git a/src/plugins/eva/api/general_requests.ml b/src/plugins/eva/api/general_requests.ml
index db19684737c..a6ba38f5c9f 100644
--- a/src/plugins/eva/api/general_requests.ml
+++ b/src/plugins/eva/api/general_requests.ml
@@ -22,9 +22,6 @@
open Server
open Cil_types
-module D = Server.Data
-module S = Server.States
-module Md = Markdown
let package =
Package.package
diff --git a/src/plugins/eva/parameters.mli b/src/plugins/eva/parameters.mli
index abc4d534b12..04e577b5403 100644
--- a/src/plugins/eva/parameters.mli
+++ b/src/plugins/eva/parameters.mli
@@ -86,8 +86,6 @@ module SplitLimit : Parameter_sig.Int
module InterproceduralSplits : Parameter_sig.Bool
module InterproceduralHistory : Parameter_sig.Bool
-module ILevel: Parameter_sig.Int
-
module ArrayPrecisionLevel: Parameter_sig.Int
module AllocatedContextValid: Parameter_sig.Bool
@@ -119,7 +117,6 @@ module BuiltinsOverrides:
module BuiltinsAuto: Parameter_sig.Bool
module BuiltinsList: Parameter_sig.Bool
-module SplitReturn: Parameter_sig.String
module SplitReturnFunction:
Parameter_sig.Map with type key = Cil_types.kernel_function
and type value = Split_strategy.t
--
GitLab