diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 17df162895dc4b7b37cfd01c3cff5491f0102fea..8968f1d721d01296a2463213c85d7d5dce6b73d3 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -84,13 +84,6 @@ frama-clang:
   tags:
    - nix
 
-counter-examples:
-  stage: tests
-  script:
-   - nix/frama-ci.sh build -A counter-examples.tests
-  tags:
-   - nix
-
 acsl-importer:
   stage: tests
   script:
diff --git a/nix/default.nix b/nix/default.nix
index d232bc8126ea9993112caadf09cbf65dc73d1f9b..0f380373a53fc10aba0829a34c6ae84732e4c7a6 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -318,7 +318,6 @@ pkgs.lib.makeExtensible
                 [ pkgs.getopt pkgs.libxslt pkgs.libxml2 pkgs.autoPatchelfHook
                   pkgs.swiProlog stdenv.cc.cc.lib ];
             };
-        counter_examples_src = plugins.counter-examples.src;
         genassigns_src = plugins.genassigns.src;
         frama_clang_src = plugins.frama-clang.src;
         pathcrawler_src = plugins.pathcrawler.src;
@@ -333,8 +332,6 @@ pkgs.lib.makeExtensible
                patchShebangs .
         '';
         postUnpack = ''
-           cp -r --preserve=mode "$counter_examples_src" "$sourceRoot/src/plugins/counter-examples"
-           chmod -R u+w -- "$sourceRoot/src/plugins/counter-examples"
            cp -r --preserve=mode "$genassigns_src" "$sourceRoot/src/plugins/genassigns"
            chmod -R u+w -- "$sourceRoot/src/plugins/genassigns"
            # cp -r --preserve=mode "$frama_clang_src" "$sourceRoot/src/plugins/frama-clang"