diff --git a/src/plugins/wp/tests/ptests_config b/src/plugins/wp/tests/ptests_config
index ad695944dd32424a411b0c629ff5d71b9f419e51..78e1864b1857ee8ae09b9b466eb254abaea3d541 100644
--- a/src/plugins/wp/tests/ptests_config
+++ b/src/plugins/wp/tests/ptests_config
@@ -1,9 +1,6 @@
 # todo: to fixe
-IGNORE= DEFAULT_SUITES= wp wp_acsl wp_plugin wp_bts wp_store wp_hoare
-IGNORE= DEFAULT_SUITES= wp_typed wp_usage wp_gallery wp_manual wp_tip
+DEFAULT_SUITES= wp wp_acsl wp_plugin wp_bts wp_store wp_hoare
+DEFAULT_SUITES= wp_typed wp_usage wp_gallery wp_manual wp_region wp_tip
 
-IGNORE= DEFAULT_SUITES= wp_region
-
-IGNORE= qualif_SUITES= wp wp_plugin wp_acsl wp_bts wp_store wp_hoare
-IGNORE= qualif_SUITES= wp_typed wp_usage wp_gallery wp_manual wp_tip wp_region
-IGNORE= qualif_SUITES= why3
+qualif_SUITES= wp wp_acsl wp_plugin wp_bts wp_store wp_hoare
+qualif_SUITES= wp_typed wp_usage wp_gallery wp_manual wp_region wp_tip why3
diff --git a/src/plugins/wp/tests/test_config b/src/plugins/wp/tests/test_config
index 1c78f06e11e80018180777668c123942cf82c868..9a3cee925ad8ab85cd13ba199f4fee4b49b62b68 100644
--- a/src/plugins/wp/tests/test_config
+++ b/src/plugins/wp/tests/test_config
@@ -1,5 +1,6 @@
 PLUGIN: wp
 MACRO: WP_SESSION @PTEST_DIR@/@PTEST_NAME@.@PTEST_NUMBER@.session@PTEST_CONFIG@
 MACRO: USING_WP_SESSION -wp-session @WP_SESSION@
-CMD: @frama-c@ -wp -wp-prover none -wp-print -wp-share @PTEST_SHARE_DIR@ -wp-msg-key shell -wp-warn-key "pedantic-assigns=inactive"
+COMMENT: no need of "-wp-share" in Dune -> Dune finds it automatically
+CMD: @frama-c@ -wp -wp-prover none -wp-print -wp-msg-key shell -wp-warn-key "pedantic-assigns=inactive"
 OPT:
diff --git a/src/plugins/wp/tests/test_config_qualif b/src/plugins/wp/tests/test_config_qualif
index 895b3f4d8bf4111e4f6df1692cdf3675fce834b5..88540550a9366129e95838e54ecec40e5315583b 100644
--- a/src/plugins/wp/tests/test_config_qualif
+++ b/src/plugins/wp/tests/test_config_qualif
@@ -1,5 +1,6 @@
 PLUGIN: wp
 MACRO: WP_SESSION @PTEST_DIR@/@PTEST_NAME@.@PTEST_NUMBER@.session@PTEST_CONFIG@
 MACRO: USING_WP_SESSION -wp-session @WP_SESSION@
-CMD: @frama-c@ -wp -wp-par 1 -wp-share @PTEST_SHARE_DIR@ -wp-msg-key shell -wp-warn-key pedantic-assigns=inactive -wp-report %{dep:@PTEST_SUITE_DIR@/../qualif.report} -wp-cache-env -wp-cache replay @PTEST_FILE@
+COMMENT: no need of "-wp-share" in Dune -> Dune finds it automatically
+CMD: @frama-c@ -wp -wp-par 1 -wp-msg-key shell -wp-warn-key pedantic-assigns=inactive -wp-report %{dep:@PTEST_SUITE_DIR@/../qualif.report} -wp-cache-env -wp-cache replay @PTEST_FILE@
 OPT:
diff --git a/src/plugins/wp/tests/wp_gallery/binary-multiplication.c b/src/plugins/wp/tests/wp_gallery/binary-multiplication.c
index c365c6f448277fca904f52231225bc5af90dc7b4..8cf00d59bca5ca3ea7949883c670d2cf597e37f8 100644
--- a/src/plugins/wp/tests/wp_gallery/binary-multiplication.c
+++ b/src/plugins/wp/tests/wp_gallery/binary-multiplication.c
@@ -3,7 +3,7 @@
 */
 
 /* run.config_qualif
-
+   DEPS: @WP_SESSION@/script/*
    OPT: -wp-rte -wp-prover=alt-ergo,script -wp-prop=-lack @USING_WP_SESSION@
 */
 
diff --git a/src/plugins/wp/tests/wp_gallery/dune b/src/plugins/wp/tests/wp_gallery/dune
new file mode 100644
index 0000000000000000000000000000000000000000..4e2c8b817fd365d5ffb809779a7f6bc45886160d
--- /dev/null
+++ b/src/plugins/wp/tests/wp_gallery/dune
@@ -0,0 +1,3 @@
+(subdir
+ result_qualif/binary-multiplication.0.session_qualif/script
+ (copy_files ../../../binary-multiplication.0.session_qualif/script/*))
diff --git a/src/plugins/wp/tests/wp_manual/dune b/src/plugins/wp/tests/wp_manual/dune
new file mode 100644
index 0000000000000000000000000000000000000000..d97afa2949041e76599faba881c6e97b6c4f3c61
--- /dev/null
+++ b/src/plugins/wp/tests/wp_manual/dune
@@ -0,0 +1,3 @@
+(subdir
+ result_qualif/working_dir
+ (copy_files ../../working_dir/*))
diff --git a/src/plugins/wp/tests/wp_plugin/bitmask0x8000.i b/src/plugins/wp/tests/wp_plugin/bitmask0x8000.i
index e2e5cf5fba38b6d8860003cd779ae364c30805a3..6dacd120f08fff7d2f0b954015295c7a650ca023 100644
--- a/src/plugins/wp/tests/wp_plugin/bitmask0x8000.i
+++ b/src/plugins/wp/tests/wp_plugin/bitmask0x8000.i
@@ -3,7 +3,7 @@
  */
 
 /* run.config_qualif
-
+   DEPS: @WP_SESSION@/script/*
    OPT: -wp-prover script,alt-ergo @USING_WP_SESSION@
  */
 
diff --git a/src/plugins/wp/tests/wp_plugin/dune b/src/plugins/wp/tests/wp_plugin/dune
new file mode 100644
index 0000000000000000000000000000000000000000..7323baff07fc5124c2e55b6e9e808096efbd1bdf
--- /dev/null
+++ b/src/plugins/wp/tests/wp_plugin/dune
@@ -0,0 +1,11 @@
+(subdir
+ result_qualif/bitmask0x8000.0.session_qualif/script
+ (copy_files ../../../bitmask0x8000.0.session_qualif/script/*))
+
+(subdir
+ result_qualif/unroll.0.session_qualif/script
+ (copy_files ../../../unroll.0.session_qualif/script/*))
+
+(subdir
+ result_qualif/unsigned.0.session_qualif/script
+ (copy_files ../../../unsigned.0.session_qualif/script/*))
diff --git a/src/plugins/wp/tests/wp_plugin/unroll.i b/src/plugins/wp/tests/wp_plugin/unroll.i
index 021ceb05d916d53f2b67bce5c86c714481e51d4e..ff39035772624cd144ee6f3989a91ff352a85555 100644
--- a/src/plugins/wp/tests/wp_plugin/unroll.i
+++ b/src/plugins/wp/tests/wp_plugin/unroll.i
@@ -3,7 +3,7 @@
 */
 
 /* run.config_qualif
-
+   DEPS: @WP_SESSION@/script/*
    OPT: -ulevel=1 -wp-prop=@ensures -wp-prover script @USING_WP_SESSION@
 */
 
diff --git a/src/plugins/wp/tests/wp_plugin/unsigned.i b/src/plugins/wp/tests/wp_plugin/unsigned.i
index a4075988005d6bb74ee68e849bcf67ae8789720f..3fcc134f879363367be687a49e514517ed975419 100644
--- a/src/plugins/wp/tests/wp_plugin/unsigned.i
+++ b/src/plugins/wp/tests/wp_plugin/unsigned.i
@@ -3,7 +3,7 @@
 */
 
 /* run.config_qualif
-
+   DEPS: @WP_SESSION@/script/*
    OPT: -wp-prover script @USING_WP_SESSION@
 */
 
diff --git a/src/plugins/wp/tests/wp_tip/clear.i b/src/plugins/wp/tests/wp_tip/clear.i
index c4d1b5f53767129850bb885e4ca5eb6261a9d740..b86a92e0c332fdae71206a780c9591330f1e7dcb 100644
--- a/src/plugins/wp/tests/wp_tip/clear.i
+++ b/src/plugins/wp/tests/wp_tip/clear.i
@@ -1,5 +1,5 @@
 /* run.config
-
+   DEPS: @WP_SESSION@/script/*
    OPT: -wp-par 1 -wp-no-print -wp-prover qed,script -wp-msg-key script @USING_WP_SESSION@
 */
 /* run.config_qualif
diff --git a/src/plugins/wp/tests/wp_tip/dune b/src/plugins/wp/tests/wp_tip/dune
new file mode 100644
index 0000000000000000000000000000000000000000..4b359d879b10439f6fc632e911635cc66e0cd7ef
--- /dev/null
+++ b/src/plugins/wp/tests/wp_tip/dune
@@ -0,0 +1,47 @@
+; Non qualif
+
+(subdir
+ result/clear.0.session/script
+ (copy_files ../../../clear.0.session/script/*))
+
+(subdir
+ result/induction_typing.0.session/script
+ (copy_files ../../../induction_typing.0.session/script/*))
+
+(subdir
+ result/modmask.0.session/script
+ (copy_files ../../../modmask.0.session/script/*))
+
+(subdir
+ result/modmask.1.session/script
+ (copy_files ../../../modmask.1.session/script/*))
+
+(subdir
+ result/split.0.session/script
+ (copy_files ../../../split.0.session/script/*))
+
+; Qualif
+
+(subdir
+ result_qualif/induction.0.session_qualif/script
+ (copy_files ../../../induction.0.session_qualif/script/*))
+
+(subdir
+ result_qualif/induction.1.session_qualif/script
+ (copy_files ../../../induction.1.session_qualif/script/*))
+
+(subdir
+ result_qualif/induction.2.session_qualif/script
+ (copy_files ../../../induction.2.session_qualif/script/*))
+
+(subdir
+ result_qualif/overflow.0.session_qualif/script
+ (copy_files ../../../overflow.0.session_qualif/script/*))
+
+(subdir
+ result_qualif/tac_split_quantifiers.0.session_qualif/script
+ (copy_files ../../../tac_split_quantifiers.0.session_qualif/script/*))
+
+(subdir
+ result_qualif/unroll.0.session_qualif/script
+ (copy_files ../../../unroll.0.session_qualif/script/*))
diff --git a/src/plugins/wp/tests/wp_tip/induction.i b/src/plugins/wp/tests/wp_tip/induction.i
index df4e3fa378d1c13704c8af6e64803040b93b565f..332d18f30565cbdef2880f50cdbcdcda69fb7c84 100644
--- a/src/plugins/wp/tests/wp_tip/induction.i
+++ b/src/plugins/wp/tests/wp_tip/induction.i
@@ -3,11 +3,11 @@
 */
 
 /* run.config_qualif
-
+   DEPS: @WP_SESSION@/script/*
    OPT: -wp-prover script,alt-ergo -wp-timeout 1 @USING_WP_SESSION@
-
+   DEPS: @WP_SESSION@/script/*
    OPT: -wp-prover script,alt-ergo -wp-timeout 1 @USING_WP_SESSION@
-
+   DEPS: @WP_SESSION@/script/*
    OPT: -wp-prover script,alt-ergo -wp-timeout 1 @USING_WP_SESSION@
 */
 
diff --git a/src/plugins/wp/tests/wp_tip/induction_typing.i b/src/plugins/wp/tests/wp_tip/induction_typing.i
index 4f9b82169e695cd8280fd6b609f1d97f42b4eb7e..6837f329d7c1c9dc889f1e7f84e9537e779dba1f 100644
--- a/src/plugins/wp/tests/wp_tip/induction_typing.i
+++ b/src/plugins/wp/tests/wp_tip/induction_typing.i
@@ -1,5 +1,5 @@
 /* run.config
-
+   DEPS: @WP_SESSION@/script/*
    OPT: -wp-par 1 -wp-prop X -wp-no-print -wp-prover qed,script -wp-msg-key script @USING_WP_SESSION@
 */
 /* run.config_qualif
diff --git a/src/plugins/wp/tests/wp_tip/modmask.i b/src/plugins/wp/tests/wp_tip/modmask.i
index 4da4f942609c8aa048db60978c10cd676ee7c1a6..7234784f8de24f29006b3002d7720bc87d8f59ac 100644
--- a/src/plugins/wp/tests/wp_tip/modmask.i
+++ b/src/plugins/wp/tests/wp_tip/modmask.i
@@ -1,7 +1,7 @@
 /* run.config
-
+   DEPS: @WP_SESSION@/script/*
    OPT: -wp-par 1 -wp-no-print -wp-prover qed,script -wp-msg-key script @USING_WP_SESSION@
-
+   DEPS: @WP_SESSION@/script/*
    OPT: -wp-par 1 -wp-no-print -wp-prover qed,script -wp-msg-key script @USING_WP_SESSION@
 */
 /* run.config_qualif
diff --git a/src/plugins/wp/tests/wp_tip/overflow.i b/src/plugins/wp/tests/wp_tip/overflow.i
index 34298d91ee6cd15218eaa30df4b27a7e8ddeae8d..66552f291f95180cb17061d3db8bb63f4f32ea6f 100644
--- a/src/plugins/wp/tests/wp_tip/overflow.i
+++ b/src/plugins/wp/tests/wp_tip/overflow.i
@@ -3,7 +3,7 @@
 */
 
 /* run.config_qualif
-
+   DEPS: @WP_SESSION@/script/*
    OPT: -wp-prover script,alt-ergo -wp-timeout 1 @USING_WP_SESSION@
 */
 
diff --git a/src/plugins/wp/tests/wp_tip/split.i b/src/plugins/wp/tests/wp_tip/split.i
index 27c531dbae2c92e8ed17eb4a5bb62f682ad44956..0738e2bcd8cb0f42f4f31104855dbdfb28b7efde 100644
--- a/src/plugins/wp/tests/wp_tip/split.i
+++ b/src/plugins/wp/tests/wp_tip/split.i
@@ -1,5 +1,5 @@
 /* run.config
-
+   DEPS: @WP_SESSION@/script/*
    OPT: -wp-par 1 -wp-no-print -wp-prover qed,script -wp-msg-key script @USING_WP_SESSION@
 */
 /* run.config_qualif
diff --git a/src/plugins/wp/tests/wp_tip/tac_split_quantifiers.i b/src/plugins/wp/tests/wp_tip/tac_split_quantifiers.i
index fd890b44fd309b9274b16f57b3b612078a9682a2..e67c1eca52fb62e9e320481912621b84934372fb 100644
--- a/src/plugins/wp/tests/wp_tip/tac_split_quantifiers.i
+++ b/src/plugins/wp/tests/wp_tip/tac_split_quantifiers.i
@@ -4,7 +4,7 @@
 
 /* run.config_qualif
    SCRIPT: TacNOP
-
+   DEPS: @WP_SESSION@/script/*
    OPT: -wp -wp-par 1 -wp-prover script @USING_WP_SESSION@
 */
 
diff --git a/src/plugins/wp/tests/wp_tip/unroll.i b/src/plugins/wp/tests/wp_tip/unroll.i
index df1151d0372728c581ddaed68ce417a896d07c55..a8c6e6defc3eb08a92035e063c87550d6920989b 100644
--- a/src/plugins/wp/tests/wp_tip/unroll.i
+++ b/src/plugins/wp/tests/wp_tip/unroll.i
@@ -3,7 +3,7 @@
 */
 
 /* run.config_qualif
-
+   DEPS: @WP_SESSION@/script/*
    OPT: -wp-prover script,none @USING_WP_SESSION@
  */