快速向下测试 这是一种在搜索过程中快速向下运行并测量打开列表大小的工具。 安装 您将需要相对较新的gcc(7 +),gdb(7+)和python(3.5+)。 然后git将此存储库克隆到系统上的某个位置。 运行随附的gdb.x.sh生成为系统配置的gdb.x文件。 您将需要指定python gdb支持库的位置和快速向下搜索策略。 例如,一个具有python gdb支持位置的系统位于/usr/share/gcc-data/x86_64-pc-linux-gnu/8.3.0/python/并且搜索策略为--search "astar(lmcut())"将需要运行以下命令: ./gdb.x.s