satbekmyrza / repo-llvm-dsa Goto Github PK
View Code? Open in Web Editor NEWStatic repository copied from https://github.com/seahorn/llvm-dsa/tree/stable-llvm-3.6 with some modifications to CMakeLists.txt. Dependency for satbekmyrza/chc-test-repo.
License: Other