Dynlink error
Opened this issue · 0 comments
Hakimba commented
Hi, i just followed the README and when i try cameleer on the example.ml you give, i have this error and a black why3 screen.
/.../..../.opam/4.12.0/lib/why3/plugins/plugin_cameleer cannot be loaded:
Dynlink error: error loading shared library: Dynlink error: error loading shared library:
Failure("dlopen(/...../..../.opam/4.12.0/lib/why3/plugins/plugin_cameleer.cmxs, 0x0006):
symbol not found in flat namespace '_camlSexplib0__Sexp_conv'")
When i run why3 config detect
i have this
Found prover Alt-Ergo version 2.4.0, OK.
Found prover Z3 version 4.8.10 (alternative: counterexamples)
Found prover Z3 version 4.8.10, OK.
Found prover Z3 version 4.8.10 (alternative: noBV)
Found prover Coq version 8.14.0, but no Why3 libraries were compiled for it
4 prover(s) added