Hello, I am currently implementing hybrid fuzzing by combining symcc with AFLGO, and I would like to test the Google Fuzzer Test Suite (https://github.com/google/fuzzer-test-suite/tree/master), many of which are libraries. I have attempted to compile them using symcc and sym++, along with compiling libcxx_symcc. However, when I run the program instrumented by symcc, it seems like it is not performing symbolic execution, which is quite strange. Could you please advise me on how to test these libraries?