From 52d55d6df815f1cb9f4e903bd1020d5a70e16eab Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Tue, 28 Jun 2022 09:13:59 +0200
Subject: [PATCH] [WP] modifies a DEPS in a test
---
src/plugins/wp/tests/wp_gallery/binary-multiplication.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/wp/tests/wp_gallery/binary-multiplication.c b/src/plugins/wp/tests/wp_gallery/binary-multiplication.c
index 8cf00d59bca..2db759273d8 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@
*/
--
GitLab