我想在通过ghc前端和llvm后端编译haskell文件生成的.bc文件上运行klee .
我在haskell hello.hs文件中有以下代码:
main = putStrLn "Hello World!"
我使用以下命令使用ghc编译hello.hs
ghc -fllvm -keep-llvm-files -force-recomp -hello.hs
与其他文件一起生成hello.ll文件 . 然后我尝试将此.ll文件编译为.bc文件 .
llvm-as hello.ll -o hello.bc
问题是当我尝试运行klee或尝试在.bc文件上运行lli时,我得到以下错误
main function not found in module error
我在码头上运行ghc和llvm . 我有llvm版本3.4和ghc版本7.6.3 .