-
2 votesanswersviews
通过使用LLVM编译haskell生成的Bitcode文件中找不到主函数
我想在通过ghc前端和llvm后端编译haskell文件生成的.bc文件上运行klee . 我在haskell hello.hs文件中有以下代码: main = putStrLn "Hello World!" 我使用以下命令使用ghc编译hello.hs ghc -fllvm -keep-llvm-files -force-recomp -hello.hs 与其他文件一起生...