From 1a51e587a5291ecc1ff1d931085bb36dd4743a6e Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Wed, 23 Feb 2022 14:24:43 +0100
Subject: [PATCH] [Tests] adds tests/builtins

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

diff --git a/tests/ptests_config b/tests/ptests_config
index 0773e60a66f..b32f5498647 100644
--- a/tests/ptests_config
+++ b/tests/ptests_config
@@ -3,15 +3,15 @@
 # todo: adds dynamic_plugin? No, will be removed from master branch.
 # todo: adds verisec?
 
-DEFAULT_SUITES= callgraph cil constant_propagation float idct impact
+DEFAULT_SUITES= builtins callgraph cil constant_propagation float idct impact
 # todo:
-IGNORE= DEFAULT_SUITES= builtins compliance dynamic
+IGNORE= DEFAULT_SUITES= compliance dynamic
 
-DEFAULT_SUITES= occurrence pretty_printing rte_manual syntax
+DEFAULT_SUITES= occurrence pretty_printing rte_manual
 # todo:
 IGNORE= DEFAULT_SUITES= journal libc metrics pdg rte
 
-DEFAULT_SUITES= scope slicing sparecode value/traces
+DEFAULT_SUITES= scope slicing sparecode syntax value/traces
 # todo:
 IGNORE= DEFAULT_SUITES= saveload spec test value
 
-- 
GitLab