Skip to content

modify PATH_SUFFIXS of Z3_LIBRARIES from "bin" to "lib" - #56

Open
Absoler wants to merge 1 commit into
SVF-tools:masterfrom
Absoler:master
Open

modify PATH_SUFFIXS of Z3_LIBRARIES from "bin" to "lib"#56
Absoler wants to merge 1 commit into
SVF-tools:masterfrom
Absoler:master

libz3.a should be in the lib/ dir

a626b0a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs