Public Repository

Last pushed: 2 years ago
Short Description
KLEE+llvm2.9 devlopment image (w/ sources)
Full Description

KLEE bundled with llvm 2.9 and configured to Debug+Profile+Asserts. This is a development version running on debian jessie/sid and the 3.10-2 Linux kernel.

Docker Pull Command
Owner
oscarsd