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
不支援的發行版本
下列發行版本並未被官方支援。使用這些套件需要自行承擔風險。