diff --git a/Src/COLIBRI/col_solve.pl b/Src/COLIBRI/col_solve.pl
index 909ce65116853b8fa02ce800ea364b2231fa8fa5..54779ce44ac153a8e21d19f087b7dbda590333e5 100644
--- a/Src/COLIBRI/col_solve.pl
+++ b/Src/COLIBRI/col_solve.pl
@@ -1672,36 +1672,38 @@ smt_unit_test(StrDir0,TO,CI) :-
               setval(bug,[smt_unknown:F|Bugs])
           ;   setval(bug,[F|Bugs]))
       ;   pathname(F,PF,NF),
-          (Code == 3 ->
-              incval(nbTO),
-              (var(CI) ->
-                  % on supprime le TO de UnitTests
-                  concat_string(["UnitTests/",sat,"/",Logic,"/",NF],
-                                SatTargetFile),
-                  concat_string(["UnitTests/",unsat,"/",Logic,"/",NF],
-                                UnsatTargetFile),
-                  ((member(USFile,[SatTargetFile,UnsatTargetFile]),
-                    exists(USFile))
-                  ->
-                      concat_string(["rm ",USFile],Rm),
-                      system(Rm)%, writeln(Rm)
+          (getval(make_UT,1)@eclipse ->
+              (Code == 3 ->
+                  incval(nbTO),
+                  (var(CI) ->
+                      % on supprime le TO de UnitTests
+                      concat_string(["UnitTests/",sat,"/",Logic,"/",NF],
+                                    SatTargetFile),
+                      concat_string(["UnitTests/",unsat,"/",Logic,"/",NF],
+                                    UnsatTargetFile),
+                      ((member(USFile,[SatTargetFile,UnsatTargetFile]),
+                        exists(USFile))
+                      ->
+                          concat_string(["rm ",USFile],Rm),
+                          system(Rm)%, writeln(Rm)
+                      ;   true)
                   ;   true)
-              ;   true)
-          ;   (Code > 2 ->
-                  true
-              ;   (Code == 0 ->
-                      concat_string(["UnitTests/unsat/",Logic,"/"],TargetDir)
-                  ;   % Code == 1
-                      concat_string(["UnitTests/sat/",Logic,"/"],TargetDir)),
-                  (exists(TargetDir) ->
-                      true
-                  ;   append_strings("mkdir ",TargetDir,Mkd),
-                      system(Mkd)),
-                  concat_string([TargetDir,NF],TargetFile),
-                  (exists(TargetFile) ->
+              ;   (Code > 2 ->
                       true
-                  ;   concat_string(["cp ",F," ",TargetDir],Cp),
-                      system(Cp))))),
+                  ;   (Code == 0 ->
+                          concat_string(["UnitTests/unsat/",Logic,"/"],TargetDir)
+                      ;   % Code == 1
+                          concat_string(["UnitTests/sat/",Logic,"/"],TargetDir)),
+                      (exists(TargetDir) ->
+                          true
+                      ;   append_strings("mkdir ",TargetDir,Mkd),
+                          system(Mkd)),
+                      concat_string([TargetDir,NF],TargetFile),
+                      (exists(TargetFile)->
+                          true
+                      ;   concat_string(["cp ",F," ",TargetDir],Cp),
+                          system(Cp))))
+          ;   true)),
       garbage_collect,
       fail
     ; true),