diff --git a/tests/ptests_config b/tests/ptests_config index 875a4f739828a379a54e2a53f560848a81de7572..c1257e2c15973970c0e788df3eb8fef9bf5fb144 100644 --- a/tests/ptests_config +++ b/tests/ptests_config @@ -3,12 +3,20 @@ # todo: adds dynamic_plugin? No, will be removed from master branch. # todo: adds verisec? -DEFAULT_SUITES= builtins callgraph cil constant_propagation compliance dynamic float idct impact -DEFAULT_SUITES= journal libc metrics occurrence pdg pretty_printing rte rte_manual -DEFAULT_SUITES= saveload scope slicing sparecode spec syntax test value value/traces +DEFAULT_SUITES= callgraph cil idct impact +# todo: +IGNORE= DEFAULT_SUITES= builtins constant_propagation compliance syntax dynamic float + +DEFAULT_SUITES= occurrence pretty_printing rte_manual +# todo: +IGNORE= DEFAULT_SUITES= journal libc metrics pdg rte + +DEFAULT_SUITES= scope sparecode value/traces +# todo: +IGNORE= saveload slicing spec test value # todo: fixes fc_script -IGNORE= DEFAULT_SUITES= fc_script jcdb misc +IGNORE= DEFAULT_SUITES= fc_script jcdb misc # todo: adds make_run_script? IGNORE= DEFAULT_SUITES= make_run_script @@ -17,11 +25,11 @@ IGNORE= DEFAULT_SUITES= make_run_script IGNORE= DEFAULT_SUITES= value/numerors IGNORE= apron_SUITES = value builtins float idct -bitwise_SUITES = value builtins float idct -equalities_SUITES = value builtins float idct -gauges_SUITES = value builtins float idct +IGNORE= bitwise_SUITES = value builtins float idct +IGNORE= equalities_SUITES = value builtins float idct +IGNORE= gauges_SUITES = value builtins float idct IGNORE= octagon_SUITES = value builtins float idct -symblocs_SUITES = value builtins float idct +IGNORE= symblocs_SUITES = value builtins float idct IGNORE= apron_SUITES = value/numerors IGNORE= bitwise_SUITES = value/numerors