klee-install icon indicating copy to clipboard operation
klee-install copied to clipboard

Published 20 hours ago • verified publisher icon tum-i4

LLVM 6.0 only support Cmake

Open saahil opened this issue 5 years ago • 0 comments

Adapt the instructions to use Cmake instead of makefiles.

saahil avatar Mar 21 '19 07:03 saahil