模块分析：tools / test / doc

1. tools

• tools/runner.sh: 测试/驱动脚本
• tools/modorder.ml: 计算 Coq/ML 模块依赖顺序
• tools/ndfun.ml: 与构建/验证相关的辅助工具

2. test

• cparser/tests/handwritten: 语法/诊断回归用例
• cparser/tests/generated: 生成式测试目录
• 运行时测试：runtime/test/test_int64.c

3. doc

• doc/ccomp.1: man page
• doc/index.html: 入口文档页
• doc/style.css: 文档样式