fixup! stash

flake.nix

@@ -14,7 +14,7 @@
         };
         # TODO: don't override src when ./abc is empty
         # which happens when the command used is `nix build` and not `nix build ?submodules=1`
-        abc-verifier = pkgs.abc-verifier;
+        abc-verifier = pkgs.abc-verifier.overrideAttrs(x: y: {src = ./abc;});
         yosys = pkgs.clangStdenv.mkDerivation {
           name = "yosys";
           src = ./. ;