Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
src
plugins
wp
wp_parameters.ml
Find file
Blame
History
Permalink
[wp/tests] added option -wp-no-cache-env
· 93fff3f8
Loïc Correnson
authored
Dec 20, 2019
FRAMAC_WP_CACHE=update ./ptests.opt src/plugins/wp/tests -config qualif
93fff3f8