search

NASA-SW-VnV / ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Other
2.03k stars 150 forks source link

Dependency on ncurses is not listed #265

Closed ivanperez-keera closed 6 months ago

ivanperez-keera commented 7 months ago

IKOS requires ncurses, but the dependency is not listed in the README.

Specifically, it requires libtinfo >= 6.

ivanperez-keera commented 6 months ago

We have determined that this is not necessary for now. It's brought in indirectly by LLVM.