Forked from rpms/klee 2 years ago

	.gitignore
	README.md
	fix-libs-install.patch
	fix-llvm12.patch
	fix-llvm13.patch
	fix-test-Feature-FunctionAlias.patch
	fix-test-Runtime-POSIX-Futimesat.patch
	klee.spec
	posix-runtime.patch
	sources
	uclibc-python3.patch
	use-python3.patch
	use-system-gtest.patch

README.md

klee

KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure.