SVF-example icon indicating copy to clipboard operation
SVF-example copied to clipboard

Published 20 hours ago • verified publisher icon SVF-tools

confusion about PATH_SUFFIXES in CMakeLists.txt

Open Absoler opened this issue 1 year ago • 0 comments

#56 is this value should be "lib"? On my Ubuntu 20.04 only modifying this make a successful build. or it will not find libz3.a which should be in ${z3_prefix}/lib

Absoler avatar Mar 11 '23 12:03 Absoler