failed to load plugin "primus-symbolic-executor" #1592
Description
Im getting this error in bap 2.5.0
Failed to load 1 plugins, details follow:
The plugin `/usr/local/lib/bap/primus_symbolic_executor.plugin' has failed with the following error:
Failed to load z3ml: error loading shared library: Dynlink.Error (Dynlink.Cannot_open_dll "Failure(\"/tmp/z3ml677f53.cmxs: undefined symbol: Z3_mk_u32string\")")