[WP] tests: modifies DEPS using a joker

src/plugins/wp/tests/wp_plugin/bitmask0x8000.i

@@ -3,7 +3,7 @@
  */
 
 /* run.config_qualif
-   DEPS: @WP_SESSION@/script/*
+   DEPS: @WP_SESSION@/script/lemma_*.json
    OPT: -wp-prover script,alt-ergo @USING_WP_SESSION@
  */
 

src/plugins/wp/tests/wp_plugin/unroll.i

@@ -3,7 +3,7 @@
 */
 
 /* run.config_qualif
-   DEPS: @WP_SESSION@/script/*
+   DEPS: @WP_SESSION@/script/unrolled_loop_*.json
    OPT: -ulevel=1 -wp-prop=@ensures -wp-prover script @USING_WP_SESSION@
 */
 

src/plugins/wp/tests/wp_plugin/unsigned.i

@@ -3,7 +3,7 @@
 */
 
 /* run.config_qualif
-   DEPS: @WP_SESSION@/script/*
+   DEPS: @WP_SESSION@/script/lemma_*.json
    OPT: -wp-prover script @USING_WP_SESSION@
 */
 

src/plugins/wp/tests/wp_tip/clear.i

 /* run.config
-   DEPS: @WP_SESSION@/script/*
+   DEPS: @WP_SESSION@/script/clear_*.json
    OPT: -wp-par 1 -wp-no-print -wp-prover qed,script -wp-msg-key script @USING_WP_SESSION@
 */
 /* run.config_qualif

src/plugins/wp/tests/wp_tip/induction.i

@@ -3,11 +3,11 @@
 */
 
 /* run.config_qualif
-   DEPS: @WP_SESSION@/script/*
+   DEPS: @WP_SESSION@/script/lemma_*.json
    OPT: -wp-prover script,alt-ergo -wp-timeout 1 @USING_WP_SESSION@
-   DEPS: @WP_SESSION@/script/*
+   DEPS: @WP_SESSION@/script/lemma_*.json
    OPT: -wp-prover script,alt-ergo -wp-timeout 1 @USING_WP_SESSION@
-   DEPS: @WP_SESSION@/script/*
+   DEPS: @WP_SESSION@/script/lemma_*.json
    OPT: -wp-prover script,alt-ergo -wp-timeout 1 @USING_WP_SESSION@
 */
 

src/plugins/wp/tests/wp_tip/induction_typing.i

 /* run.config
-   DEPS: @WP_SESSION@/script/*
+   DEPS: @WP_SESSION@/script/function_*.json
    OPT: -wp-par 1 -wp-prop X -wp-no-print -wp-prover qed,script -wp-msg-key script @USING_WP_SESSION@
 */
 /* run.config_qualif

src/plugins/wp/tests/wp_tip/modmask.i

 /* run.config
-   DEPS: @WP_SESSION@/script/*
+   DEPS: @WP_SESSION@/script/check_lemma_*.json
    OPT: -wp-par 1 -wp-no-print -wp-prover qed,script -wp-msg-key script @USING_WP_SESSION@
-   DEPS: @WP_SESSION@/script/*
+   DEPS: @WP_SESSION@/script/check_lemma_*.json
    OPT: -wp-par 1 -wp-no-print -wp-prover qed,script -wp-msg-key script @USING_WP_SESSION@
 */
 /* run.config_qualif

src/plugins/wp/tests/wp_tip/overflow.i

@@ -3,7 +3,7 @@
 */
 
 /* run.config_qualif
-   DEPS: @WP_SESSION@/script/*
+   DEPS: @WP_SESSION@/script/lemma_*.json
    OPT: -wp-prover script,alt-ergo -wp-timeout 1 @USING_WP_SESSION@
 */
 

src/plugins/wp/tests/wp_tip/split.i

 /* run.config
-   DEPS: @WP_SESSION@/script/*
+   DEPS: @WP_SESSION@/script/test_*.json
    OPT: -wp-par 1 -wp-no-print -wp-prover qed,script -wp-msg-key script @USING_WP_SESSION@
 */
 /* run.config_qualif

src/plugins/wp/tests/wp_tip/tac_split_quantifiers.i

@@ -4,7 +4,7 @@
 
 /* run.config_qualif
    SCRIPT: TacNOP
-   DEPS: @WP_SESSION@/script/*
+   DEPS: @WP_SESSION@/script/split_*.json
    OPT: -wp -wp-par 1 -wp-prover script @USING_WP_SESSION@
 */
 

src/plugins/wp/tests/wp_tip/unroll.i

@@ -3,7 +3,7 @@
 */
 
 /* run.config_qualif
-   DEPS: @WP_SESSION@/script/*
+   DEPS: @WP_SESSION@/script/lemma_*.json
    OPT: -wp-prover script,none @USING_WP_SESSION@
  */