Skip to content
Snippets Groups Projects
Commit 7feef1a7 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[aorai] ask WP to use env variables for cache behavior in tests

parent 6742723f
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/aorai/tests/Aorai_test.ml
+ 3
− 1
View file @ 7feef1a7
...@@ -102,7 +102,9 @@ let extend () = ...@@ -102,7 +102,9 @@ let extend () =
State_selection.union State_selection.union
(State_selection.with_codependencies state) selection) (State_selection.with_codependencies state) selection)
State_selection.empty State_selection.empty
[ InternalWpShare.self; ProveAuxSpec.self ] [ InternalWpShare.self; ProveAuxSpec.self;
Wp.Wp_parameters.CacheEnv.self;
]
in in
Project.copy ~selection my_project; Project.copy ~selection my_project;
Project.set_current my_project; Project.set_current my_project;
......
src/plugins/aorai/tests/test_config_prove.in
+ 1
− 1
View file @ 7feef1a7
...@@ -3,4 +3,4 @@ PLUGIN: aorai eva,from,scope report wp,rtegen ...@@ -3,4 +3,4 @@ PLUGIN: aorai eva,from,scope report wp,rtegen
COMMENT: Path to the library from the test file COMMENT: Path to the library from the test file
LIBS: @PTEST_SUITE_DIR@/../Aorai_test 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
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment