klee-uclibc
Libc library for Klee
This is a port of uClibc to LLVM to serve Klee. Hence, this package provides a "static" library, but it is not composed of ELF objects, but is LLVM bytecode packed by `ar`. Klee uses this to emulate the POSIX runtime development symbolically.
openSUSE Leap 16.0 没有可用的官方软件包发行版
openSUSE Tumbleweed
openSUSE Leap 16.0
openSUSE Leap 15.6
openSUSE Leap 15.5
不受支持的发行版
下列发行版未被官方支持。使用这些软件包需要您自担风险。