Skip to content
Snippets Groups Projects
Commit 52d55d6d authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[WP] modifies a DEPS in a test

parent e69d03fd
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/wp/tests/wp_gallery/binary-multiplication.c
+ 1
− 1
View file @ 52d55d6d
......@@ -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@
*/
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment