diff --git a/ptests/ptests.ml b/ptests/ptests.ml
index 78469525850ec15315fe997160a282d72e422b8d..4b3f72cada36167137cdcb7d9200b3175c2594c5 100644
--- a/ptests/ptests.ml
+++ b/ptests/ptests.ml
@@ -1006,7 +1006,7 @@ let get_macros cmd =
 
 let basic_command_string =
   let contains_toplevel_or_frama_c =
-    Str.regexp "[^( ]*\\(\\(toplevel\\)\\|\\(viewer\\)\\|\\(frama-c\\)\\).*"
+    Str.regexp "[^( ]*\\(\\(toplevel\\)\\|\\(viewer\\)\\|\\(frama-c-gui\\)\\|\\(frama-c[^-]\\)\\).*"
   in
   fun command ->
     let macros = get_macros command in