我将 Klee 安装为 docker 映像。我正在尝试遵循 KLEE 的第一个教程。我想知道不是通过 echo "int main(int argn, char** argv) { return 0; }" > test.c 输入源代码，如何将 .c 文件输入到 home/klee？
谢谢。
问问题
103 次
我将 Klee 安装为 docker 映像。我正在尝试遵循 KLEE 的第一个教程。我想知道不是通过 echo "int main(int argn, char** argv) { return 0; }" > test.c 输入源代码，如何将 .c 文件输入到 home/klee？
谢谢。