Script To Get KLEE Results, and Example Output

klee_results.sh

for i in klee-last/*assert*; do \
  ktest-tool $(echo $i | cut -f 1 -d '.').ktest; \
  done

#My Output:
#ktest file : 'klee-last/test000178.ktest'
#args       : ['maze_klee.bc']
#num objects: 1
#object    0: name: 'syminput'
#object    0: size: 28
#object    0: data: 'sddwddddsddw\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00'
#ktest file : 'klee-last/test000270.ktest'
#args       : ['maze_klee.bc']
#num objects: 1
#object    0: name: 'syminput'
#object    0: size: 28
#object    0: data: 'ssssddddwwaawwddddsddw\x00\x00\x00\x00\x00\x00'
#ktest file : 'klee-last/test000315.ktest'
#args       : ['maze_klee.bc']
#num objects: 1
#object    0: name: 'syminput'
#object    0: size: 28
#object    0: data: 'sddwddddssssddwwww\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00'
#ktest file : 'klee-last/test000376.ktest'
#args       : ['maze_klee.bc']
#num objects: 1
#object    0: name: 'syminput'
#object    0: size: 28
#object    0: data: 'ssssddddwwaawwddddssssddwwww'