Skip to content

Commit

Permalink
Merge branch 'dev-installation-apron'. Close #78.
Browse files Browse the repository at this point in the history
  • Loading branch information
@ivanperez-keera
ivanperez-keera committed Dec 5, 2023
2 parents ae8200b + b47447d commit 4125707
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions TROUBLESHOOTING.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -63,6 +63,10 @@ Your LLVM library was built as one single shared library `libLLVM.so` (`LLVM_BUI

Compiling IKOS with both `-DBUILD_SHARED_LIBS=ON` and `-DIKOS_LINK_LLVM_DYLIB=ON` should fix the issue by linking against the single libLLVM shared library.

### `memory access violation at address: 0x00000088: no mapping at fault address` while running tests

This is a bug in the APRON library. Some OS distributions provide outdated versions of APRON. Building APRON from source (https://github.com/antoinemine/apron), instead of relying on a version made available via the OS' package repository, should fix the issue.

Analysis issues
---------------

Expand Down

0 comments on commit 4125707

Please sign in to comment.