Instruct users to install APRON from source (#78).

NASA-SW-VnV / ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

Other

2.52k stars 180 forks source link

Closed ivanperez-keera closed 11 months ago

ivanperez-keera commented 12 months ago

The version of APRON provided by some distributions includes a bug that was fixed in more recent versions.

This commit includes a new entry in the TROUBLESHOOTING document to point users to the new repo, and instruct them to build APRON from source.