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

Commits

Commits on Mar 11, 2023