Klee
KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure, and available under the UIUC open source license.
- Developed at devel:tools:statica
- Sources inherited from project openSUSE:Factory
-
2
derived packages
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout openSUSE:Factory:ARM/klee && cd $_
- Create Badge
Refresh
Refresh
Source Files
Revision 7 (latest revision is 39)
Dominique Leuenberger (dimstar_suse)
accepted
request 564487
from
Jiri Slaby (jirislaby)
(revision 7)
- change "env python" to "python3" in tests, so that we can build and depend on py3 only - add python3-setuptools BuildRequires, so that we have pkg_resources for tests
Comments 0