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
非公式のディストリビューション
下記のディストリビューションは、公式にはサポートされていないものです。これらのパッケージは自己責任でお使いください。