From 7feef1a73742d8809eeabc3b3f886d9bd934b0d4 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 3 Mar 2022 15:52:32 +0100
Subject: [PATCH] [aorai] ask WP to use env variables for cache behavior in
tests
---
src/plugins/aorai/tests/Aorai_test.ml | 4 +++-
src/plugins/aorai/tests/test_config_prove.in | 2 +-
2 files changed, 4 insertions(+), 2 deletions(-)
diff --git a/src/plugins/aorai/tests/Aorai_test.ml b/src/plugins/aorai/tests/Aorai_test.ml
index 33c13b5c13a..9c9f8c1f657 100644
--- a/src/plugins/aorai/tests/Aorai_test.ml
+++ b/src/plugins/aorai/tests/Aorai_test.ml
@@ -102,7 +102,9 @@ let extend () =
State_selection.union
(State_selection.with_codependencies state) selection)
State_selection.empty
- [ InternalWpShare.self; ProveAuxSpec.self ]
+ [ InternalWpShare.self; ProveAuxSpec.self;
+ Wp.Wp_parameters.CacheEnv.self;
+ ]
in
Project.copy ~selection my_project;
Project.set_current my_project;
diff --git a/src/plugins/aorai/tests/test_config_prove.in b/src/plugins/aorai/tests/test_config_prove.in
index d4b6b4fda2b..ae55e4b9462 100644
--- a/src/plugins/aorai/tests/test_config_prove.in
+++ b/src/plugins/aorai/tests/test_config_prove.in
@@ -3,4 +3,4 @@ PLUGIN: aorai eva,from,scope report wp,rtegen
COMMENT: Path to the library from the test file
LIBS: @PTEST_SUITE_DIR@/../Aorai_test
-MACRO: PROVE_OPTIONS @AORAI_WP_SHARE@ -aorai-test-prove-aux-spec
+MACRO: PROVE_OPTIONS @AORAI_WP_SHARE@ -wp-cache-env -aorai-test-prove-aux-spec
--
GitLab