使用Klee Docker映像时如何在home / klee下准备好源代码文件

Question

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

谢谢。