关于git add . 遇到filename too long

解决办法

1. 在 Git 里启用长路径支持（Windows 专用）

git config --system core.longpaths true

⚠️ 需要管理员权限运行终端。之后再 git add。

---

2. 把项目路径放浅一点

不要在 D:\work\super\deep\folder\nested\... 下 clone，直接放在 D:\repo 这种浅目录。这样可以减少几十个字符的路径。

---

3. 忽略掉不需要的测试文件

如果你根本不需要这些 cbmc/proofs 的测试代码，可以加到 .gitignore 里，或者 clone 的时候加 --depth=1 --filter=blob:none，甚至直接删掉相关目录。

---

4. 换 Linux 环境（WSL / Docker）

如果路径一定要这么长，最简单的办法就是在 Linux 或 WSL 里操作，因为 ext4 不受 Windows 260 限制。