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

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

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

src/plugins/e-acsl/tests/test_config_dev

@@ -8,7 +8,7 @@ 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)
+ENABLED_IF: (= %{architecture} amd64)
 
 PLUGIN: e-acsl eva,scope,variadic rtegen