I want to run klee on the .bc file generated by compiling haskell file with ghc frontend and llvm backend.
I have following code in my haskell hello.hs file:
main = putStrLn "Hello World!"
I compile hello.hs with ghc using following command
ghc -fllvm -keep-llvm-files -force-recomp -hello.hs
which generate a hello.ll file along with other files. I then try to compile this .ll file into a .bc file.
llvm-as hello.ll -o hello.bc
The problem is when I try to run klee or try to run lli on the the .bc file I get following error
main function not found in module error
I am running ghc and llvm on docker. I have version 3.4 of llvm and version 7.6.3 of ghc.