From 46786a450e2ad6e1cf12d0a96000595aa3aeb015 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 7 Jan 2021 17:28:35 +0100
Subject: [PATCH] [tests] fix Aorai's tests
---
src/kernel_services/plugin_entry_points/kernel.mli | 2 +-
src/plugins/aorai/tests/Aorai_test.ml | 4 +++-
2 files changed, 4 insertions(+), 2 deletions(-)
diff --git a/src/kernel_services/plugin_entry_points/kernel.mli b/src/kernel_services/plugin_entry_points/kernel.mli
index b569b2db596..7bc32e34f8d 100644
--- a/src/kernel_services/plugin_entry_points/kernel.mli
+++ b/src/kernel_services/plugin_entry_points/kernel.mli
@@ -308,7 +308,7 @@ end
(** Behavior of option "-add-symbolic-path"
@since Neon-20140301
@modify Frama-C+dev inversed argument order (now uses path:name) *)
-module SymbolicPath: Parameter_sig.Filepath_map
+module SymbolicPath: Parameter_sig.Filepath_map with type value = string
module FloatNormal: Parameter_sig.Bool
(** Behavior of option "-float-normal" *)
diff --git a/src/plugins/aorai/tests/Aorai_test.ml b/src/plugins/aorai/tests/Aorai_test.ml
index 14137309241..54d04d63939 100644
--- a/src/plugins/aorai/tests/Aorai_test.ml
+++ b/src/plugins/aorai/tests/Aorai_test.ml
@@ -99,7 +99,9 @@ let extend () =
in
Project.copy ~selection my_project;
Project.set_current my_project;
- Kernel.SymbolicPath.add ("TMPDIR:"^Filename.get_temp_dir_name());
+ Kernel.SymbolicPath.add
+ (Filepath.Normalized.of_string (Filename.get_temp_dir_name ()),
+ Some "TMPDIR");
Files.append_after [ Filepath.Normalized.of_string tmpfile ];
Kernel.LogicalOperators.on ();
Constfold.off ();
--
GitLab