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