diff --git a/tests/ptests_config b/tests/ptests_config index 0773e60a66fd2c2363b45d6f6f0e6ae768496c3c..b32f5498647a07728c725b277f53cabd22a2962a 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