Skip to content
Snippets Groups Projects
Commit fe96b0e2 authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[Tests] disable tests related to Apron

parent eeff3625
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/wp/tests/ptests_config
+ 4
− 2
View file @ fe96b0e2
# todo: to fixe
DEFAULT_SUITES= wp wp_acsl wp_plugin wp_bts wp_store wp_hoare
DEFAULT_SUITES= wp_typed wp_usage wp_gallery wp_manual wp_region wp_tip
qualif_SUITES= wp wp_acsl wp_plugin wp_bts wp_store wp_hoare
qualif_SUITES= wp_typed wp_usage wp_gallery wp_manual wp_region wp_tip why3
qualif_SUITES= wp_typed wp_usage wp_gallery wp_manual wp_region wp_tip
# todo: to fixe
IGNORE= qualif_SUITES= why3
tests/ptests_config
+ 3
− 1
View file @ fe96b0e2
......@@ -14,7 +14,9 @@ DEFAULT_SUITES= rte rte_manual scope slicing sparecode
### Tests of EVA
DEFAULT_SUITES= builtins float idct value value/traces value/numerors
DEFAULT_SUITES= builtins float idct value value/traces
# todo: to fixe
IGNORE= DEFAULT_SUITES= value/numerors
### Tests of EVA domains
apron_SUITES =
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment