-
Notifications
You must be signed in to change notification settings - Fork 2
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Assertion failed: (strcmp(SQLITE_VERSION, sqlite3_libversion()) == 0) #3
Comments
Hi @sandacn, This assertion checks that the SQLite header file matches with the library file. In your case, it doesn't match. Please check whether you have multiple version of SQLite installed. You can try to compile the following C file with
|
cc -v result:
compile the c file you given and execute it cc t.c -o t -lsqlite3
./t result:
|
when i reinstall ikos, new issue occurs: ==> python3 -s /private/tmp/ikos--homebrew-virtualenv-20200806-18794-1yi5vcx/target/bin/virtualenv -p python3 /usr/local/Cellar/ikos/3.0/libexec/vendor If reporting this issue please do so at (not Homebrew/brew or Homebrew/core): |
We've just announced a release candidate for IKOS 3.2, which includes a fix for this issue. We've included instructions to install it with homebrew. See NASA-SW-VnV/ikos#253 for details. Please try it and let us know if the issue persists. Thanks! |
close issue |
Ok. We'll wait until the formula is merged and then close all pending issues. |
Closed by the solution to #9. |
==> cmake -G Unix Makefiles -DGMP_ROOT=/usr/local/opt/gmp -DMPFR_ROOT=/usr/local/opt/mpfr -DPPL_ROOT=/usr/local/opt/ppl -DAPRON_ROOT=/usr/local/opt/apron
Last 15 lines from /Users/ryan/Library/Logs/Homebrew/ikos/04.cmake:
CMake Error at cmake/FindSQLite3.cmake:88 (message):
error when running a program linked with SQLite3:
Assertion failed: (strcmp(SQLITE_VERSION, sqlite3_libversion()) == 0),
function main, file
/tmp/ikos-20200806-6318-125c8n1/ikos-3.0/build/analyzer/FindSQLite3Version.c,
line 8.
Child aborted
Call Stack (most recent call first):
analyzer/CMakeLists.txt:102 (find_package)
-- Configuring incomplete, errors occurred!
See also "/tmp/ikos-20200806-6318-125c8n1/ikos-3.0/build/CMakeFiles/CMakeOutput.log".
If reporting this issue please do so at (not Homebrew/brew or Homebrew/core):
https://github.com/nasa-sw-vnv/homebrew-core/issues
The text was updated successfully, but these errors were encountered: