文件名称:快速向下测试
文件大小:19KB
文件格式:ZIP
更新时间:2024-03-04 04:03:16
Shell
快速向下测试 这是一种在搜索过程中快速向下运行并测量打开列表大小的工具。 安装 您将需要相对较新的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.sh --libcxxpath '/usr/share/gcc-data/x86_64-pc-linux-gnu/8.3.0/python/' --arguments '`--search "astar
【文件预览】:
fast-downward-testing-master
----runner2.sh(2KB)
----setup-nesi.sh(66B)
----gdb.x.sh(9KB)
----LICENSE(34KB)
----README.md(1KB)
----test.sas(939B)
----slurm-job-generator.sh(5KB)