$ LazyKLEE.py ./solve.c --libc
=== LazyKLEE ===
[+] Creating container...
[+] Compiling llvm bitcode...
Auto include klee/klee.h
Auto include assert.h
[+] Running KLEE...
[!] ASSERTION triggered!
ktest file : './klee-last/test000017.ktest'
args : ['solve.bc']
num objects: 1
object 0: name: b'input'
object 0: size: 16
object 0: data: b'g00dm0rn1n9^_^!!'
[+] Removing container...