diff --git a/src/plugins/wp/tests/wp_gallery/binary-multiplication.c b/src/plugins/wp/tests/wp_gallery/binary-multiplication.c index 8cf00d59bca5ca3ea7949883c670d2cf597e37f8..2db759273d8a209ac6ea96bafc3522c42a9598e8 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/* + DEPS: @WP_SESSION@/script/BinaryMultiplication_*.json OPT: -wp-rte -wp-prover=alt-ergo,script -wp-prop=-lack @USING_WP_SESSION@ */