Merge branch 'fix/andre/e-acsl-dev-tests-arch' into 'master'

Fix/andre/e acsl dev tests arch

See merge request frama-c/frama-c!4192

src/plugins/e-acsl/tests/test_config_dev

@@ -7,6 +7,9 @@ MACRO: ROOT_EACSL_GCC_MISC_OPTS -q -X --no-assert-print-data
 COMMENT: Default options for the frama-c invocation
 MACRO: ROOT_EACSL_GCC_FC_EXTRA -verbose 0
 
+COMMENT: Currently compilation assumes an x86_64 architecture
+ENABLED_IF: (= %{architecture} x86_64)
+
 PLUGIN: e-acsl eva,scope,variadic rtegen
 
 COMMENT: The dependency to the plugin share directory has not to be explicited