diff --git a/src/plugins/aorai/tests/Aorai_test.ml b/src/plugins/aorai/tests/Aorai_test.ml
index 33c13b5c13a4d07539e3f0da167252d026cb28c2..9c9f8c1f657716add1861df70ca6be942eca3153 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 d4b6b4fda2b33bbecfa86e992ebdd7ab94d8a79b..ae55e4b9462edc364bdedae55565fd7485e11342 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