%FILES%
usr/
usr/bin/
usr/bin/gen-bout
usr/bin/gen-random-bout
usr/bin/kleaver
usr/bin/klee
usr/bin/klee-replay
usr/bin/klee-stats
usr/bin/ktest-tool
usr/include/
usr/include/klee/
usr/include/klee/klee.h
usr/lib/
usr/lib/klee/
usr/lib/klee/runtime/
usr/lib/klee/runtime/klee-uclibc.bca
usr/lib/klee/runtime/libklee-libc.bca
usr/lib/klee/runtime/libkleeRuntimeFreeStanding.bca
usr/lib/klee/runtime/libkleeRuntimeIntrinsic.bca
usr/lib/klee/runtime/libkleeRuntimePOSIX.bca
usr/lib/libkleeRuntest.so
usr/lib/libkleeRuntest.so.1.0
usr/share/
usr/share/licenses/
usr/share/licenses/klee/
usr/share/licenses/klee/LICENSE
