diff --git a/tests/builtins/alloc.c b/tests/builtins/alloc.c
index 36f4a7c0333c46cbd473e24fd4022abf9c670fa5..241a309e3336d2910dae5f5cac4a523228452f3e 100644
--- a/tests/builtins/alloc.c
+++ b/tests/builtins/alloc.c
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-eva-alloc-builtin fresh"
    STDOPT: #"-eva-alloc-builtin fresh -absolute-valid-range 0x100-0x200 -main main_abs"
 */
diff --git a/tests/idct/idct.c b/tests/idct/idct.c
index dc3e44d67afe8aeef9991e510f25b2f4a02ae71b..696d82f1a402afcace0b069e5c9ed992842daf63 100644
--- a/tests/idct/idct.c
+++ b/tests/idct/idct.c
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    DONTRUN:
 */
 /* IDCT: a fixed point IDCT implementation.
diff --git a/tests/idct/ieee_1180_1990.c b/tests/idct/ieee_1180_1990.c
index d0dce5401ae9737d1baa182b6bbd0bd2d46f4209..9a881a72975775b334751e5b0979d34b3618b33a 100644
--- a/tests/idct/ieee_1180_1990.c
+++ b/tests/idct/ieee_1180_1990.c
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: +"-eva-msg-key=summary -load-module report,scope,variadic -float-normal -no-warn-signed-overflow tests/idct/idct.c -eva-remove-redundant-alarms -eva-memexec -eva-builtin sqrt:Frama_C_sqrt,cos:Frama_C_cos -then -report -report-print-properties"
 */
 /* IEEE_1180_1990: a testbed for IDCT accuracy
diff --git a/tests/impact/call.i b/tests/impact/call.i
index cb0428eeb3d1624272c77821ee9aca2c88b6b99a..c2c1e339205a9dc98fc5aa8120c824daafb2d343 100644
--- a/tests/impact/call.i
+++ b/tests/impact/call.i
@@ -1,5 +1,5 @@
 /* run.config
-   GCC:
+   
    STDOPT: +"-impact-pragma main"
    STDOPT: +"-impact-pragma main2" +"-main main2"
    STDOPT: +"-impact-pragma main3" +"-main main3"
diff --git a/tests/impact/first.i b/tests/impact/first.i
index abd01f68766e2346d273d55efeea789346e91d7e..a210dbb40e83facee6309db9453cb18b6a4d027f 100644
--- a/tests/impact/first.i
+++ b/tests/impact/first.i
@@ -1,5 +1,5 @@
 /* run.config
-   GCC:
+   
    STDOPT: +"-impact-pragma impact" +"-lib-entry" +"-main impact"
    */
 
diff --git a/tests/impact/loop.i b/tests/impact/loop.i
index 6f8dff5e0cf3fc0cba45b2995e6e30c6d2097de2..0f8960d4aeefb17c00ffcee651ac700622ea31b8 100644
--- a/tests/impact/loop.i
+++ b/tests/impact/loop.i
@@ -1,5 +1,5 @@
 /* run.config
-   GCC:
+   
    STDOPT: +"-impact-pragma loop" +"-lib-entry" +"-main loop"
    */
 
diff --git a/tests/impact/slicing.i b/tests/impact/slicing.i
index bd613dca6e5b243718a863a24a059ca04a89df7f..93e008b356443eaed302408ad44e8789970de6c6 100644
--- a/tests/impact/slicing.i
+++ b/tests/impact/slicing.i
@@ -1,5 +1,5 @@
 /* run.config
-   GCC:
+   
    STDOPT: +"-impact-pragma impact" +"-lib-entry" +"-main impact" +"-impact-slicing" +"-then-on 'impact slicing'" +"-print"
    */
 
diff --git a/tests/occurrence/ptr_assert.i b/tests/occurrence/ptr_assert.i
index e4ee64430f5119deda2c01113ad205406e3a90e1..2fab8226c3d92fc6fb206aa4bcad0b709752065f 100644
--- a/tests/occurrence/ptr_assert.i
+++ b/tests/occurrence/ptr_assert.i
@@ -1,5 +1,5 @@
 /* run.config
-   GCC:
+   
    STDOPT: +"-occurrence"
 */
 
diff --git a/tests/pdg/call.c b/tests/pdg/call.c
index f6c2c5ce8a90a6c461bd09f8ded9b74d17e9a6e6..1a48d0b295e9159cff8413003882272a43b10f99 100644
--- a/tests/pdg/call.c
+++ b/tests/pdg/call.c
@@ -1,5 +1,5 @@
 /* run.config
-   GCC:
+   
    STDOPT: +"-lib-entry -main g -pdg -pdg-dot tests/pdg/call "
 */
 
diff --git a/tests/pdg/calls_and_implicits.c b/tests/pdg/calls_and_implicits.c
index 1beea648a975d93212f51cf698f12ca616beb3db..2ae4e0900f8ed11f660a3c03ca2282d91ddd9c8d 100644
--- a/tests/pdg/calls_and_implicits.c
+++ b/tests/pdg/calls_and_implicits.c
@@ -1,5 +1,5 @@
 /* run.config
- *    GCC:
+ *    
  *    STDOPT: +"-fct-pdg main -inout"
  *
  */
diff --git a/tests/pdg/calls_and_struct.c b/tests/pdg/calls_and_struct.c
index c729527eb8e08d28c3e3c9e3aafa028c2bb2572e..6e54da289d4cdef138de1d9f44fd48c88f8014d2 100644
--- a/tests/pdg/calls_and_struct.c
+++ b/tests/pdg/calls_and_struct.c
@@ -1,5 +1,5 @@
 /* run.config
-   GCC:
+   
    STDOPT: +"-deps -input -out -inout -pdg"
    */
 
diff --git a/tests/pdg/decl_dpds.c b/tests/pdg/decl_dpds.c
index c3554288fcf3b586848ea37f5ad230124062241b..27ecc4e4317383ab5ddf00d6506e6c2c31a3ed01 100644
--- a/tests/pdg/decl_dpds.c
+++ b/tests/pdg/decl_dpds.c
@@ -1,5 +1,5 @@
 /* run.config
-   GCC:
+   
    STDOPT: +"-fct-pdg main"
 */
 
diff --git a/tests/pdg/dpds_intra.c b/tests/pdg/dpds_intra.c
index 9197f260b9d8fefb125cddc95414ae84a96d70a9..aac87fd2a4b37ef62171783f69bac333b30ad5c0 100644
--- a/tests/pdg/dpds_intra.c
+++ b/tests/pdg/dpds_intra.c
@@ -1,5 +1,5 @@
 /* run.config
-   GCC:
+   
    STDOPT: +"-fct-pdg test_struct"
    STDOPT: +"-fct-pdg test_if_simple"
    STDOPT: +"-fct-pdg test_goto_simple"
diff --git a/tests/pdg/globals.c b/tests/pdg/globals.c
index 7f7311d87a30ca537340adc9d4f414f009626608..390e3f947b760072a8ac520c6c617e20483410eb 100644
--- a/tests/pdg/globals.c
+++ b/tests/pdg/globals.c
@@ -1,5 +1,5 @@
 /* run.config
-  GCC:
+  
   STDOPT: #"-load-module pdg -eva -out -input -deps -main g"
   STDOPT: #"-load-module pdg -eva -out -input -deps -main h"
   STDOPT: #"-load-module pdg -eva -out -input -deps -main f"
diff --git a/tests/pdg/inter_alias.c b/tests/pdg/inter_alias.c
index 28bfdad28e1f56594f0c93a4af68a0ca4be7d64f..6dfec209261ddec90bbc7f07acaa8fb0320f6c85 100644
--- a/tests/pdg/inter_alias.c
+++ b/tests/pdg/inter_alias.c
@@ -1,5 +1,5 @@
 /* run.config
-   GCC:
+   
    STDOPT: +"-eva -out -input -calldeps -pdg"
 */
 
diff --git a/tests/pdg/inter_alias2.c b/tests/pdg/inter_alias2.c
index 714662e3966f2e6875209ac0aaa4bb9d3c85f827..554c37e06f910669e9fd58512cca8316a6674f6c 100644
--- a/tests/pdg/inter_alias2.c
+++ b/tests/pdg/inter_alias2.c
@@ -1,5 +1,5 @@
 /* run.config
- *    GCC:
+ *    
  *    STDOPT: +"-eva"
  *    STDOPT: +"-calldeps -fct-pdg incr_ptr"
  *    STDOPT: +"-calldeps -fct-pdg f1"
diff --git a/tests/pdg/loops.c b/tests/pdg/loops.c
index dfb6e1b63d05d122a68815f0bec0d519319faf7f..80a39aefa47ca21149f44accc431c6628836b04d 100644
--- a/tests/pdg/loops.c
+++ b/tests/pdg/loops.c
@@ -1,5 +1,5 @@
 /* run.config
-   GCC:
+   
    STDOPT: +"-lib-entry -main simple -fct-pdg simple "
    STDOPT: +"-lib-entry -main simple_with_break -fct-pdg simple_with_break "
    STDOPT: +"-lib-entry -main infinite -fct-pdg infinite "
diff --git a/tests/pdg/multiple_calls.c b/tests/pdg/multiple_calls.c
index 1a7660f575c87effda517d80268e0d918ee8ab31..eee4a8714a1d965576b000ae990df0751c8c6e17 100644
--- a/tests/pdg/multiple_calls.c
+++ b/tests/pdg/multiple_calls.c
@@ -1,5 +1,5 @@
 /* run.config
-   GCC:
+   
    STDOPT: +"-inout -deps -main appel_ptr_fct -fct-pdg appel_ptr_fct "
    STDOPT: +"-inout -deps -main appel_ptr_fct_bis -fct-pdg appel_ptr_fct_bis "
 */
diff --git a/tests/pdg/no_body.c b/tests/pdg/no_body.c
index 003b2595d11a430646f73eeca6a51bc98b2c2277..363cf12008dc10349e9c3b54bbc092e56edb4edb 100644
--- a/tests/pdg/no_body.c
+++ b/tests/pdg/no_body.c
@@ -1,5 +1,5 @@
 /* run.config
-*    GCC:
+*    
 *    STDOPT: +"-fct-pdg main -inout "
 */
 /*
diff --git a/tests/pdg/pb_infinite_loop.c b/tests/pdg/pb_infinite_loop.c
index 0dcf50f19238375de715030ab4645e9d3c16a77e..8917bf4a755067e0912083851cd42d2b8ffbbbe9 100644
--- a/tests/pdg/pb_infinite_loop.c
+++ b/tests/pdg/pb_infinite_loop.c
@@ -1,5 +1,5 @@
 /* run.config
-   GCC:
+   
    STDOPT: +"-main test_infinite_loop -fct-pdg test_infinite_loop "
    STDOPT: +"-main test_infinite_loop_2 -fct-pdg test_infinite_loop_2 "
    STDOPT: +"-main test_exit -fct-pdg test_exit "
diff --git a/tests/pdg/simple_call.c b/tests/pdg/simple_call.c
index 38800935624b274f6fcea7fe0494d771cc2442a9..d3c3de2554799de680f83aa3cb00c7796f0d69e1 100644
--- a/tests/pdg/simple_call.c
+++ b/tests/pdg/simple_call.c
@@ -1,5 +1,5 @@
 /* run.config
-   GCC:
+   
    STDOPT: +"-fct-pdg main "
    STDOPT: +"-main call_in_loop -fct-pdg call_in_loop "
    STDOPT: +"-main call_mix_G1_G2 -fct-pdg call_mix_G1_G2 "
diff --git a/tests/pdg/simple_intra_slice.c b/tests/pdg/simple_intra_slice.c
index 2cc5d17980ea50d3f8cfcf432464b471ca102f4b..3aefdbda6d76a32b4f36f0e30c4ddafaac88c4f3 100644
--- a/tests/pdg/simple_intra_slice.c
+++ b/tests/pdg/simple_intra_slice.c
@@ -1,5 +1,5 @@
 /* run.config
-   GCC:
+   
    STDOPT: +"-pdg "
 */
 /* test conçu initialement comme test pour le slicing */
diff --git a/tests/value/CruiseControl.c b/tests/value/CruiseControl.c
index 868f2ad6eb779e75abf4b56ef98017892d881cef..c87b609b671d46da52683dc874939453dc364058 100644
--- a/tests/value/CruiseControl.c
+++ b/tests/value/CruiseControl.c
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-float-normal tests/value/CruiseControl_const.c -lib-entry -main CruiseControl -eva-context-depth 10 -eva-context-valid-pointers"
 
 */
diff --git a/tests/value/CruiseControl_const.c b/tests/value/CruiseControl_const.c
index 92a1f42e65fa3c5891272111223bbe2d233a66b9..15ed6f9e7577c757fddc80c3d010ea8f4383d6fb 100644
--- a/tests/value/CruiseControl_const.c
+++ b/tests/value/CruiseControl_const.c
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    DONTRUN:
 */
 /*$************* SCADE_KCG KCG Version 5.1.1 (build i10) **************
diff --git a/tests/value/abs_addr.i b/tests/value/abs_addr.i
index 9b545eacdaf92d979f5912c9d01790197aa78a35..e255dc65de68876cc750b6991562c6502056bff5 100644
--- a/tests/value/abs_addr.i
+++ b/tests/value/abs_addr.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-absolute-valid-range 0x20000-0x3FFFF"
 */
 
diff --git a/tests/value/absolute_pointer.i b/tests/value/absolute_pointer.i
index 46d179dd313489fff4276d4f5bbdf50cf0d1d8b0..e0fef35ae0d0ed1b81b50540154cfc020271447e 100644
--- a/tests/value/absolute_pointer.i
+++ b/tests/value/absolute_pointer.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-absolute-valid-range 0-0x3"
 */
 
diff --git a/tests/value/addr.i b/tests/value/addr.i
index 3b1a0929d533e5d08b188a5ec71d9c00e0c2532f..86fffd8399f1688370ee646e30b125564aa461f0 100644
--- a/tests/value/addr.i
+++ b/tests/value/addr.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-main main"
    STDOPT: #"-main f"
 */
diff --git a/tests/value/affect_corrupt.i b/tests/value/affect_corrupt.i
index 5cff9ff7447279601bdafc3f7104897beb88739c..66459e7e0a6f7390a39cd653d9df006ebc8e39c4 100644
--- a/tests/value/affect_corrupt.i
+++ b/tests/value/affect_corrupt.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-main main"
    STDOPT: #"-absolute-valid-range 0-0x3"
 */
diff --git a/tests/value/array_array.c b/tests/value/array_array.c
index 121c559f1ab5b93b8b03a15bef85edf1591fd02b..d1aff06ae832cac005bdb576dfac506c235545b2 100644
--- a/tests/value/array_array.c
+++ b/tests/value/array_array.c
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-main main"
    STDOPT: #"-main main2"
    STDOPT: #"-main main3"
diff --git a/tests/value/bitwise_pointer.i b/tests/value/bitwise_pointer.i
index e7769c1009fc99daf9ffbb950213f480b0be62a4..aec53ebac7cd4ab2308211cd4494b0b19818ae03 100644
--- a/tests/value/bitwise_pointer.i
+++ b/tests/value/bitwise_pointer.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-inout"
 */
 
diff --git a/tests/value/biz.i b/tests/value/biz.i
index 597042b878705806aa097491a7e69075c312d168..e209371bfb805c898eb617ff3f0de51208e5c548 100644
--- a/tests/value/biz.i
+++ b/tests/value/biz.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-main f2"
 */
 
diff --git a/tests/value/broken_loop.i b/tests/value/broken_loop.i
index 2794464489c14eb9dd52c3618416531d89eae028..d16f01efd48aa2ce22a34fbe132fb8809bdcad47 100644
--- a/tests/value/broken_loop.i
+++ b/tests/value/broken_loop.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-main loop"
 */
 int X;
diff --git a/tests/value/buffer_overflow.i b/tests/value/buffer_overflow.i
index d62a4d71b895a5f8217e7470e62ec7d9f550f669..3e918a20f441866e646ab086f5ec66f278a9209c 100644
--- a/tests/value/buffer_overflow.i
+++ b/tests/value/buffer_overflow.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT:
    STDOPT: #"-ulevel 15"
 */
diff --git a/tests/value/bug.i b/tests/value/bug.i
index c1458c34ba754a5c8e59b0f762ad09e32c0fe55b..6ed2bb7f25f2b5c0a7b5e77642e4cb1ddfaa2445 100644
--- a/tests/value/bug.i
+++ b/tests/value/bug.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-main f"
 */
 
diff --git a/tests/value/call_alias.i b/tests/value/call_alias.i
index 9fa414777672f241a42e8caaeb622ab0521d8833..ea4dbb7af999ab8c65ea73d93b53ebf32b0c1ae8 100644
--- a/tests/value/call_alias.i
+++ b/tests/value/call_alias.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-main main0"
   STDOPT: #"-main main1"
   STDOPT: #"-main main2"
diff --git a/tests/value/cond2.i b/tests/value/cond2.i
index 81f82f8cbf2f9090329d2ae2fb7b8079a7047d7a..b730bb7212ad70c7bb012d9aecc55eea11e31f76 100644
--- a/tests/value/cond2.i
+++ b/tests/value/cond2.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-main zero_ou_un_0 -out-external"
   STDOPT: #"-main un_1 -out-external"
 
diff --git a/tests/value/context_free.i b/tests/value/context_free.i
index 19c6fe292ad444d74ab88ef5c0a76fd4c776d76c..cfc75576d264513eebd2a2d2bd9c37be34ba7322 100644
--- a/tests/value/context_free.i
+++ b/tests/value/context_free.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    OPT: -no-autoload-plugins -load-module inout,eva -eva @EVA_CONFIG@ -lib-entry -main f -absolute-valid-range 0x200-0x199 -eva-msg-key initial-state -journal-disable
 */
 
diff --git a/tests/value/control.i b/tests/value/control.i
index 76c4fe60417c772303f16531ca23899b7d48bd76..0c9b8e08e753f8bb633e923236f2af03218b8f08 100644
--- a/tests/value/control.i
+++ b/tests/value/control.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-main f"
 */
 
diff --git a/tests/value/deps.i b/tests/value/deps.i
index b01c3c12c20d10898188e82dc938e1a440395b14..99e8b0d769f7f183f0b322f1fa0a9f542196a9b8 100644
--- a/tests/value/deps.i
+++ b/tests/value/deps.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-main f"
    STDOPT: #"-main fonc1"
    STDOPT: #"-main fonc2"
diff --git a/tests/value/deref.i b/tests/value/deref.i
index c926c7a1016caa97bb797a9ed899cac07effba36..9d5f1a9e367017ac8c2e3fad941f49e7b8adbb97 100644
--- a/tests/value/deref.i
+++ b/tests/value/deref.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: +"-no-input -no-out -deref"
 */
 int a,b,c,d,e,*p, t[10];
diff --git a/tests/value/dur.i b/tests/value/dur.i
index 39323bc0b2c252fe7cd5eb0915a5b3bf9be2c124..e00bd6c5d2e8e52e539c43f4387006634399ef38 100644
--- a/tests/value/dur.i
+++ b/tests/value/dur.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-float-normal -main F2"
 */
 
diff --git a/tests/value/enum.i b/tests/value/enum.i
index 2a6acfb91d2ea45a9834c4df3b9f6d567ef9ea15..808547c0c10ab277da5e77403cbd67dd563675f4 100644
--- a/tests/value/enum.i
+++ b/tests/value/enum.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-main f"
 */
 typedef enum counter {ZERO,ONE,TWO,LAST=TWO};
diff --git a/tests/value/enum2.c b/tests/value/enum2.c
index 943507802cf4577cb6b502ed2dfcc332b95a9815..242c036eeb63878a53d82e95d1af0061dd8264e2 100644
--- a/tests/value/enum2.c
+++ b/tests/value/enum2.c
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-cpp-frama-c-compliant -cpp-command \"gcc -C -E -I. %1 -o %2\""
 */
 
diff --git a/tests/value/f2.i b/tests/value/f2.i
index 8f9b01e9de097197e98f79f4bbb3f26a60feeccc..476765a83d193f2a90332a57d4fa24edb59d940e 100644
--- a/tests/value/f2.i
+++ b/tests/value/f2.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-main f"
 */
 int f(int x) {
diff --git a/tests/value/fptr.i b/tests/value/fptr.i
index 88daeab0630cbe97a44d8fb52def872d8d5f4bdd..1984eed4eee5dec75c10c60b1c4faed1567d9852 100644
--- a/tests/value/fptr.i
+++ b/tests/value/fptr.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    OPT: -no-autoload-plugins -load-module from,inout,eva -eva @EVA_CONFIG@ -journal-disable -then -deps -out
    OPT: -no-autoload-plugins -load-module from,inout,eva -eva @EVA_CONFIG@ -main main_uninit -journal-disable -then -deps -out
 */
diff --git a/tests/value/from_pb.i b/tests/value/from_pb.i
index bd8017e67b1cab56dc5b4d65859628837657aa3c..3dc73c04e88481e536fb4241ade12f572b603718 100644
--- a/tests/value/from_pb.i
+++ b/tests/value/from_pb.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-main main0"
   STDOPT: #"-main main1"
   STDOPT: #"-main main2"
diff --git a/tests/value/from_ptr.i b/tests/value/from_ptr.i
index 2910e0d3451455f017d16b77539f21b9d82ab121..36fb874cd69a619365196d46f9435f6de820cdb6 100644
--- a/tests/value/from_ptr.i
+++ b/tests/value/from_ptr.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-main main"
    STDOPT: #"-main main1"
 */
diff --git a/tests/value/if.i b/tests/value/if.i
index d0a51f39cc5fad59d45647bce55ca0cbabff9756..597e2897e6f5e6291326ef9e1fa288981548c303 100644
--- a/tests/value/if.i
+++ b/tests/value/if.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-main main"
    STDOPT: +"-no-input -no-out -main main6"
    */
diff --git a/tests/value/inout.i b/tests/value/inout.i
index 2e00e3273ace9c6e10ae5ed5e3e74e4578348b9f..847c21c656a0509ef7a57d55b5b9ff60d53997f8 100644
--- a/tests/value/inout.i
+++ b/tests/value/inout.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    OPT: -no-autoload-plugins -load-module from,inout @EVA_CONFIG@ -inout -deps -main inout_11_0 -journal-disable
    OPT: -no-autoload-plugins -load-module from,inout @EVA_CONFIG@ -inout -deps -main inout_11_3 -journal-disable
    OPT: -no-autoload-plugins -load-module from,inout @EVA_CONFIG@ -inout -deps -main never_terminate -journal-disable
diff --git a/tests/value/interpol.c b/tests/value/interpol.c
index a8af0145ed2e338adde1520c430d8f05589cb641..2dd5d5940e7e40112b83c69713548c1933943120 100644
--- a/tests/value/interpol.c
+++ b/tests/value/interpol.c
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-eva-subdivide-non-linear 15"
 */
 
diff --git a/tests/value/jacques.i b/tests/value/jacques.i
index f8fd3590afe7566530ac5353f79ea680639cf224..c8367199b88f64ec7430c92be6b25575186681d8 100644
--- a/tests/value/jacques.i
+++ b/tests/value/jacques.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT:
 */
 
diff --git a/tests/value/library.i b/tests/value/library.i
index 6f7615e06383c9692c4e0050d7f06e36194411b3..797623ff33b77cc4ee483367070e4bf42c3cf926 100644
--- a/tests/value/library.i
+++ b/tests/value/library.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: +"-eva-msg-key initial-state -eva-initialization-padding-globals no -lib-entry -main main -eva-context-depth 3 -then -main main2 -then -eva-context-width 4"
 */
 int f_int(int x);
diff --git a/tests/value/offsetmap.i b/tests/value/offsetmap.i
index 7a8c94b8ad3de3baf3a922082dcfd1c8f0d18286..74db362fd49ad6a6cd11121d5436c5d022142585 100644
--- a/tests/value/offsetmap.i
+++ b/tests/value/offsetmap.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #""
    STDOPT: #"-eva-warn-copy-indeterminate=-f,-g"
 */
diff --git a/tests/value/origin.i b/tests/value/origin.i
index e00c59f3ba65d431d9c5512683e561f55d1253a6..3146eb3f46ab38c22461e2880e799bb66af52b67 100644
--- a/tests/value/origin.i
+++ b/tests/value/origin.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    OPT: -no-autoload-plugins -load-module from,inout,eva @EVA_CONFIG@ -eva -eva-warn-copy-indeterminate=-origin_misalign_2,-main -main main -journal-disable -then -out -deps
    OPT: -no-autoload-plugins -load-module from,inout,eva @EVA_CONFIG@ -eva -eva-warn-copy-indeterminate=-origin_misalign_2,-origin -main origin -journal-disable -then -out -deps
 
diff --git a/tests/value/partitioning-annots.c b/tests/value/partitioning-annots.c
index 8137bbab1c2ebe6ca36d520993eb22721297491c..4aa95cc322dfd534d5126825fdb966d9e7e68d12 100644
--- a/tests/value/partitioning-annots.c
+++ b/tests/value/partitioning-annots.c
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-main test_unroll -eva-default-loop-unroll 10"
    STDOPT: #"-main test_split"
    STDOPT: +"-main test_split -eva-partition-value k"
diff --git a/tests/value/pointer2.i b/tests/value/pointer2.i
index e0ae75d2e8e254d8fcb5de0a0a65b0f98a7a8728..eab132e8e7449004e4bcefca78c4bc773f4660a6 100644
--- a/tests/value/pointer2.i
+++ b/tests/value/pointer2.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-main g"
   STDOPT: #"-main h"
 */
diff --git a/tests/value/pointer4.i b/tests/value/pointer4.i
index d765226ba0e4dd4749d7c728f839b05fd6db9ff3..bb5060bbc67995961c6f6153b6c7b7ffdc53f4a6 100644
--- a/tests/value/pointer4.i
+++ b/tests/value/pointer4.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-absolute-valid-range 0-0x7"
 */
 unsigned short d,e[10]={0},c = 0;
diff --git a/tests/value/pointer_int_cast.i b/tests/value/pointer_int_cast.i
index ee6ae2c2b9c6d2df890ade864420f061c741ccf7..5964e29d109de338761e5a990fee19ad64b8dc5e 100644
--- a/tests/value/pointer_int_cast.i
+++ b/tests/value/pointer_int_cast.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-main g"
 */
 int * q;
diff --git a/tests/value/ptr_relation.i b/tests/value/ptr_relation.i
index 4602c60b58b6c60100eef85e7e64189beef3e0b3..512e94a6a5f6345d17eb3651adb4168ebf107c61 100644
--- a/tests/value/ptr_relation.i
+++ b/tests/value/ptr_relation.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-main main"
    STDOPT: #"-main main1"
    STDOPT: #"-main main2"
diff --git a/tests/value/semaphore.i b/tests/value/semaphore.i
index b9cc804619112fcc258525e24032d8cbfe841b20..f41e61e078e4dba128bbc0e72ab181245b1f73b2 100644
--- a/tests/value/semaphore.i
+++ b/tests/value/semaphore.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-main g"
 */
 int Sa, Sb;
diff --git a/tests/value/sort4.i b/tests/value/sort4.i
index 8bcd29390bd908b979cccb0052d7219e38762a39..45a6c6fd3eef501120e8403d43596a3b4b52026c 100644
--- a/tests/value/sort4.i
+++ b/tests/value/sort4.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-lib-entry -main sort4_1"
   STDOPT: #"-lib-entry -main sort4_4"
   STDOPT: #"-lib-entry -main sort4_3"
diff --git a/tests/value/struct2.i b/tests/value/struct2.i
index a50645ceaadf4677f38e6f722bfb276152be59ae..c288731416d97433673730c08ed555c370993421 100644
--- a/tests/value/struct2.i
+++ b/tests/value/struct2.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-main f_precis -absolute-valid-range 0x1000-0x2000"
 */
 struct st1 {
diff --git a/tests/value/test.i b/tests/value/test.i
index cebef7a452f3d66bf183e755e4888cc1203d5e7d..02005c85033288cc9819268bc1188027d25b239a 100644
--- a/tests/value/test.i
+++ b/tests/value/test.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-main inst_F6 -absolute-valid-range 0x200-0x199"
   STDOPT: #"-main f"
 */
diff --git a/tests/value/val6.i b/tests/value/val6.i
index 4c7bfc2602b618e4976ea013f139165f9015b150..bd98e2a6473ea8b4e74d6415cde62bb88ca97f78 100644
--- a/tests/value/val6.i
+++ b/tests/value/val6.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-main f -absolute-valid-range 0x1-0xFFFFF"
    STDOPT: #"-main f1 -absolute-valid-range 0x1-0xFFFFF"
 */
diff --git a/tests/value/val_if.i b/tests/value/val_if.i
index 2893f11e1c4d194cc1b51f6ed23a590bb448b562..0025877c635152ec95f7257e9e71e807c793d9d8 100644
--- a/tests/value/val_if.i
+++ b/tests/value/val_if.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-main f"
    STDOPT: #"-main f1"
    STDOPT: #"-main f2"
diff --git a/tests/value/val_ptr.i b/tests/value/val_ptr.i
index 487a2d305b92aeeaec31cc8b9b106800f8be03df..a78a5b3aea8ba16367069cf3cc68ebd8fe72bdc4 100644
--- a/tests/value/val_ptr.i
+++ b/tests/value/val_ptr.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-main f"
    STDOPT: #"-main f1"
    STDOPT: #"-main f3"
diff --git a/tests/value/with_comment.i b/tests/value/with_comment.i
index 4dac16e32a0cc9cae88a16c86818dd0cb3d263f9..61839445263bd8194a3584407fe62cea50942efc 100644
--- a/tests/value/with_comment.i
+++ b/tests/value/with_comment.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-main main2"
 */
 /* Commentaire avant G comment*/ /* Commentaire avant G2 comment*/