From a0efcb8d6ac3edb0bbdf1c154046e73916ef8ac5 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Wed, 16 Feb 2022 10:51:36 +0100
Subject: [PATCH] [tests] dune build @tests/constant_propagation/ptests

---
 tests/ptests_config | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/ptests_config b/tests/ptests_config
index 1f44c9bdaba..c1497a20507 100644
--- a/tests/ptests_config
+++ b/tests/ptests_config
@@ -3,9 +3,9 @@
 # todo: adds dynamic_plugin? No, will be removed from master branch.
 # todo: adds verisec?
 
-DEFAULT_SUITES= callgraph cil float idct impact
+DEFAULT_SUITES= callgraph cil constant_propagation float idct impact
 # todo:
-IGNORE= DEFAULT_SUITES= builtins constant_propagation compliance dynamic syntax
+IGNORE= DEFAULT_SUITES= builtins compliance dynamic syntax
 
 DEFAULT_SUITES= occurrence pretty_printing rte_manual
 # todo:
-- 
GitLab