diff --git a/src/plugins/e-acsl/tests/test_config_dev b/src/plugins/e-acsl/tests/test_config_dev
index ee637413caa074f7a35b7f7d482396ca83d8158f..948d591ee9fd28cfdc36c7693e70272a5122fe85 100644
--- a/src/plugins/e-acsl/tests/test_config_dev
+++ b/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