我正在我的码头集装箱中探索 KLEE 附带的玩具“get_sign.c”程序。我想探索执行符号计算的不同路径：
clang -I ../../include -emit-llvm -c -g get_sign.c
我可以看到符号计算器通过以下方式插入的值：
ktest-tool --write-ints klee-last/test*.ktest
但是现在我也想看看实际的路径，如果有这样的选项，或者至少我想看看每条路径对应的路径条件。最后，我希望能够看到最长/最短路径是什么，并探索它们的路径条件。
我正在搜索 klee-last 目录并查看这些文件，但我没有在这些 .txt 文件和消息中看到有关路径条件的任何明确信息，除非我是并且我不认识它们。