diff --git a/tests/ptests_config b/tests/ptests_config index 1f44c9bdaba4af8946686a31ba1503fcad3cd57b..c1497a20507906a6bca5274a64d244af646e8f07 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: