Skip to content
Snippets Groups Projects
Commit c53f545e authored by Julien Signoles's avatar Julien Signoles
Browse files

[tests] deactivate tests of builtins

parent 142cb317
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/Makefile.in
+ 5
− 1
View file @ c53f545e
...@@ -152,9 +152,13 @@ PLUGIN_TESTS_DIRS := \ ...@@ -152,9 +152,13 @@ PLUGIN_TESTS_DIRS := \
no-main \ no-main \
full-mmodel \ full-mmodel \
temporal \ temporal \
builtin \
special special
# [JS 2019/02/26] deactivate tests 'builtin' as long as setjmp/longjmp is not
# supported.
# builtin \
endif endif
PLUGIN_TESTS_LIB := $(EACSL_PLUGIN_DIR)/tests/print.ml PLUGIN_TESTS_LIB := $(EACSL_PLUGIN_DIR)/tests/print.ml
......
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