Ahmed Zaki

This was resolved by adding clangLex to the CMakeLists.txt

Thank you ! Is there some documentation about the cases when SVF is unable to resolve the callee in indirect calls ? I am trying to understand the limitations of...

Thank you @nigels-com for the quick response ! I tried running ./glewinfo but for some reason I get a symbol lookup error. ``` /glewinfo: symbol lookup error: ./glewinfo: undefined symbol:...

Thank you ! That did work. But now I get Error: glewCreateContext failed on running glewinfo

``` uname -a Linux venus 5.15.0-91-generic #101-Ubuntu SMP Tue Nov 14 13:30:08 UTC 2023 x86_64 x86_64 x86_64 GNU/Linux cat /etc/*-release DISTRIB_ID=Ubuntu DISTRIB_RELEASE=22.04 DISTRIB_CODENAME=jammy DISTRIB_DESCRIPTION="Ubuntu 22.04.3 LTS" PRETTY_NAME="Ubuntu 22.04.3 LTS" cc...

I get the [reported error](https://github.com/Cyan4973/xxHash/issues/927#issue-2188763493) when I build then run `make test-all`. Following that failure if I run `make test-all` again then I get the second error. So the sequence...

Solution 2 doesn't work for me. I need to ensure I get maximum coverage of xxhash in my tests. When I run `make check` the coverage is low hence why...