Skip to content
Snippets Groups Projects
Commit 76896314 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[e-acsl] properly disable tests, but not on amd64

parent 1dc4cde6
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/tests/test_config_dev
+ 1
− 1
View file @ 76896314
...@@ -8,7 +8,7 @@ COMMENT: Default options for the frama-c invocation ...@@ -8,7 +8,7 @@ COMMENT: Default options for the frama-c invocation
MACRO: ROOT_EACSL_GCC_FC_EXTRA -verbose 0 MACRO: ROOT_EACSL_GCC_FC_EXTRA -verbose 0
COMMENT: Currently compilation assumes an x86_64 architecture COMMENT: Currently compilation assumes an x86_64 architecture
ENABLED_IF: (= %{architecture} x86_64) ENABLED_IF: (= %{architecture} amd64)
PLUGIN: e-acsl eva,scope,variadic rtegen PLUGIN: e-acsl eva,scope,variadic rtegen
......
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