Klee

Edit Package klee

KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure, and available under the UIUC open source license.

Source Files
Filename Size Changed
0001-test-disable-until-it-is-fixed.patch 0000000877 877 Bytes
FileCheck.cpp 0000036858 36 KB
_service 0000000623 623 Bytes
_servicedata 0000000226 226 Bytes
klee-3.0+20230611.obscpio 0019111437 18.2 MB
klee-rpmlintrc 0000000099 99 Bytes
klee.changes 0000088158 86.1 KB
klee.obsinfo 0000000100 100 Bytes
klee.spec 0000004547 4.44 KB
not.cpp 0000002267 2.21 KB
Comments 0
No comments available
openSUSE Build Service is sponsored by