Hi SymCC devs

I have a problem when I test LAVA-M with SymCC. In LAVA-M, bugs are automatically injected into the software, so I want to check whether SymCC could detect these bugs.

At first I directly modify the C compiler to symcc by export CC=build_path/symcc, but the LAVA-M gets stuck during the compilation process. Then I switch to apply wllvm to extract the .bc file and use symcc to instrument the symbolic execution code.

Unfortunately, the program with wllvm + symcc cannot be solved to obtain any results. So I would like to ask if there is any other possible way to solve this problem.