diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7c07353e1465ad7fd0ec0744cb1b95d75021a82a..32bb5bbef09b63fae8305b2074cd273917f0b977 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -219,12 +219,6 @@ eva-domains:
   <<: *eva_template
   <<: *eva_domains
 
-mthread-tests:
-  stage: tests
-  script:
-    - ./nix/build-proxy.sh mthread-tests
-  <<: *coverage
-
 kernel-tests:
   stage: tests
   script:
diff --git a/nix/eva-tests.nix b/nix/eva-tests.nix
index 6669e601ade26901f319ccf09ddc86d92622646c..dcf9754feaca825648a4162f44600566ab8f18d9 100644
--- a/nix/eva-tests.nix
+++ b/nix/eva-tests.nix
@@ -2,14 +2,13 @@
 
 let eva-tests = "eva-tests" + (if config == "" then "" else "-" + config); in
 let ptests = "ptests_config" + (if config == "" then "" else "_" + config) ; in
-let tbuiltins = " @tests/builtins/" + ptests ; in
-let tfloat = " @tests/float/" + ptests ; in
-let tidct = " @tests/idct/" + ptests ; in
-let tvalue = " @tests/value/" + ptests ; in
+let eva-test-dir = "src/plugins/eva/tests" ; in
+let eva-test-target = "@${eva-test-dir}/${ptests}" ; in
 
 mk_tests {
   tests-name = eva-tests ;
   tests-command = ''
-    dune exec -- frama-c-ptests -never-disabled tests
-    dune build -j1 '' + tbuiltins + tfloat + tidct + tvalue + "\n" ;
+    dune exec -- frama-c-ptests -never-disabled ${eva-test-dir}
+    dune build -j1 ${eva-test-target}
+  '';
 }
diff --git a/nix/mthread-tests.nix b/nix/mthread-tests.nix
deleted file mode 100644
index 5bcd6e3c725140100de5434f4fe2154637fdff0a..0000000000000000000000000000000000000000
--- a/nix/mthread-tests.nix
+++ /dev/null
@@ -1,9 +0,0 @@
-{ mk_tests } :
-
-mk_tests {
-  tests-name = "mthread-tests";
-  tests-command = ''
-    dune exec -- frama-c-ptests -never-disabled src/plugins/eva/tests
-    dune build -j1 @src/plugins/eva/tests/mthread/ptests
-    '';
-}
diff --git a/nix/pkgs.nix b/nix/pkgs.nix
index 445da0bdecdf98da1f385f8ab6f128eeb233f553..ccd47cb997ed5e8d9480e5bbca42b624194887a0 100644
--- a/nix/pkgs.nix
+++ b/nix/pkgs.nix
@@ -44,7 +44,6 @@ let
     eva-multidim-tests = oself.callPackage ./eva-tests.nix { config = "multidim" ; };
     eva-octagon-tests = oself.callPackage ./eva-tests.nix { config = "octagon" ; };
     eva-symblocs-tests = oself.callPackage ./eva-tests.nix { config = "symblocs" ; };
-    mthread-tests = oself.callPackage ./mthread-tests.nix {};
     full-tests = oself.callPackage ./full-tests.nix {};
     kernel-tests = oself.callPackage ./kernel-tests.nix {};
     plugins-tests = oself.callPackage ./plugins-tests.nix {};