diff --git a/src/plugins/wp/tests/README.md b/src/plugins/wp/tests/README.md index f1d1bc29cf9349d365c4b13aaddce54f531d584d..d3988a13649a5f8fb5fb6f7ce3680b4781073ec8 100644 --- a/src/plugins/wp/tests/README.md +++ b/src/plugins/wp/tests/README.md @@ -48,7 +48,7 @@ The `./bin/test.sh` uses, in order of proprity: - `FRAMAC_WP_CACHEDIR` environement variable, - local `./.wp-cache` directory. -Of course, these environment variables must be set to an absolute path to prevent from different execution locations of Frama-C. +Of course, these environment variables must be set to an absolute path since test executions are done from different directories. It is _not_ recommended to use the `FRAMAC_WP_CACHEDIR` variable in your default shell setup, unless is it a temporary directory (eg. `/tmp/wp-sandbox`) since